Chain conditions on M-cyclic submodules

A module [Formula: see text] is called coseparable ([Formula: see text]-coseparable) if for every submodule [Formula: see text] of [Formula: see text] such that [Formula: see text] is finitely generated ([Formula: see text] is simple), there exists a direct summand [Formula: see text] of [Formula: see text] such that [Formula: see text] and [Formula: see text] is finitely generated. In this paper, we show that free modules are coseparable. We also investigate whether or not the ([Formula: see text]-)coseparability is stable under taking submodules, factor modules, direct summands, direct sums and direct products. We show that a finite direct sum of coseparable modules is not, in general, coseparable. But the class of [Formula: see text]-coseparable modules is closed under finite direct sums. Moreover, it is shown that the class of coseparable modules over noetherian rings is closed under finite direct sums. A characterization of coseparable modules over noetherian rings is provided. It is also shown that every lifting (H-supplemented) module is coseparable ([Formula: see text]-coseparable).

This note investigates torsion-free abelian groups G of finite rank which embed, as subgroups of finite index, in a finite direct sum C of subgroups of the additive group of rational numbers. Specifically, we examine the relationship between G and C when the index of G in C is minimal. Some properties of Warfield duality are developed and used (in the case that G is locally free) to relate our results to earlier ones by Burkhardt and Lady.

Let N be a normal subgroup of a group G. An N-module Q is called G-stable provided that Q is equivalent to the twist Q g of Q by g, for every g ∈ G. If the action of N on Q extends to an action of G on Q, then Q is obviously G-stable, but the converse need not hold. A famous conjecture in the modular representation theory of reductive algebraic groups G asserts that the (obviously G-stable) projective indecomposable modules (PIMs) Q for the Frobenius kernels G r (r ≥ 1) of G have a G-module structure. It is sometimes just as useful (for a general module Q) to know that a finite direct sum Q ⊕ n of Q has a compatible G-module structure. In this paper, this property is called numerical stability. In recent work (Parshall and Scott, Adv Math 226:2065–2088, 2011), the authors established numerical stability in the special case of PIMs. We provide in this paper a more general context for that result, working in the context of k-group schemes and a suitable version of G-stability, called strong G-stability. Among our results here is the determination of necessary and sufficient conditions for the existence of a compatible G-module structure on a strongly G-stable N-module, in the form of a cohomological obstruction which must be trivial precisely when the G-module structure exists. Our main result is achieved by giving an approach to killing the obstruction by tensoring with certain finite dimensional G/N-modules.

A module M is called (cofinitely) Rad-⊕-supplemented if every (cofinite) submodule of M has a Rad-supplement that is a direct summand of M. We prove that if M is a coatomic cofinitely Rad-⊕-supplemented module, then M is an irredundant sum of local direct summands. We show that the classes of cofinitely Rad-⊕-supplemented modules and Rad-⊕-supplemented modules are closed under finite direct sums. We also show that every direct summand of a weak duo (cofinitely) Rad-⊕-supplemented module is (cofinitely) Rad-⊕-supplemented.

On duality theory and AB5 ∗ modules

This paper investigates self-small abelian groups of finite torsion-free rank. We obtain a new characterization of infinite self-small groups. In addition, self-small groups of torsion-free rank 1 and their finite direct sums are discussed.

Classes of operators determined by ordinal indices

In this paper, we have the principal goal is to study a topography property of important algebraic construction namely the quotient module. We use a new tool with a quotient module which is a tensor product of modules. Therefore all topography submodules in this notion are a tensor product. The meaning of the tensor module introduced in this notion and the important fact of this article is to explain the quotient module when all submodules are tensor. Finally, several results have been obtained about the direct sum of the finite quotient module.

The polynomial ring over a Goldie ring need not be a Goldie ring

In this note, we investigate the relationship between almost projective modules and generalized projective modules. These concepts are useful for the study on the finite direct sum of lifting modules. It is proved that; if M is generalized N-projective for any modules M and N, then M is almost N-projective. We also show that if M is almost N-projective and N is lifting, then M is im-small N-projective. We also discuss the question of when the finite direct sum of lifting modules is again lifting.

Harada (cf. 1983) introduced the lifting property for maximal submodules and the extending property for simple submodules, and Oshiro (cf. 1983b) definitely introduced lifting modules and extending modules. Since then, the method and results in their works urged not only the study on (quasi-)discrete and (quasi-)continuous modules but also the one on themselves. The reader is referred to Mohamed and Müller (1990) and Dung et al. (1994) for the research on lifting modules and extending modules. In this article, we study the following fundamental open problems: When is a direct sum ⨁IMi of lifting (extending) modules {Mi}I lifting (extending)? These problems are unsolved even in the case that the index set I is finite. Now, the purpose of this article is to study the problem concerned with finite direct sums of lifting modules.

On direct sums of Baer modules

The aim of this chapter is to give a very brief review of the basic algebraic techniques which form the foundation of invariant theory and of algebraic geometry generally. Beginning in Section 2.1 we introduce Noetherian rings, taking as our point of departure Hilbert's Basis Theorem, which was discovered in the search for a proof of finite generation of rings of invariants. (This result will appear in Chapter 4). In Section 2.2 we prove unique factorisation in polynomial rings, by induction on the number of variables using Gauss's lemma. In Section 2.3 we prove the important fact that in a finitely generated algebra over a field an element contained in all maximal ideals is nilpotent. As we will see in Chapter 3, this observation is really nothing other than Hilbert's Nullstellensatz. A power series ring in one variable is an example of a valuation ring, and we discuss these in Section 2.4. A valuation ring (together with its maximal ideal) is characterised among subrings of its field of fractions as a maximal element with respect to the dominance relation. This will be used in Chapter 3 for proving the Valuative Criterion for completeness of an algebraic variety. In the final section we discuss Nagata's example of a group action under which the ring of invariants which is not finitely generated – that is, his counterexample to Hilbert's 14th problem. This is constructed by taking nine points in general position in the projective plane and considering the existence and non-existence of curves of degree d with assigned multiplicity m at each of the points, and making use of Liouville's Theorem on elliptic functions. Hilbert's Basis Theorem We begin with a discussion of the Basis Theorem, which is the key to Hilbert's theorem of finite generatedness that we will meet in Chapter 4. In Hilbert's original paper [19] the word ideal is not used; and we would like to state the Basis Theorem in a form close to that expressed by Hilbert.

A right R-module M is virtually extending (or CIS) if every complement submodule of M is isomorphic to a direct summand of M, and M is called a virtually C2-module if every complement submodule of M which is isomorphic to a direct summand of M is itself a direct summand. The class of virtually extending modules (respectively, virtually C2-modules) is a strict and simultaneous generalization of extending modules (respectively, unifies extending modules and C2-modules): M is a semisimple module if and only if M is virtually semisimple and C2, and M is an extending module if and only if M is virtually extending and virtually C2. Furthermore, every virtually simple right R-module is injective if and only if R is a right V-ring and the class of virtually simple right R-modules coincides with the class of simple right R-modules. Among other results, we show that (1) if all cyclic sub-factors of a cyclic weakly co-Hopfian right R-module M are virtually extending, then M is a finite direct sum of uniform submodules; (2) every distributive virtually extending module over any Noetherian ring is a direct sum of uniform submodules; (3) over a right Noetherian ring, every virtually extending module satisfies the Schröder-Bernstein property; (4) being virtually extending (VC2) is a Morita invariant property; (4) if is a VC2-module where denotes the injective hull, then M is injective. Communicated by Scott Chapman

in subring of R and thus by hypothesis there exists a right identity for S, say e, = ~ a~ x~. i=1 Then xes=x, and if we set P~(t)= ~a~t ~-1 we have x2P~(x)=x. i=1 For each associator d=(u, v, w)ER there exists a polynomial Pe(t) such that d=d2Pa(d) and Slater's theorem implies that R is associative. At this point we could apply the result of Fuchs and Szele to finish; however we take a somewhat different route by next applying Herstein's theorem to see that R is commutative. Any ideal of R is of the form Re for some idempotent e, since it has an identity as a subring. Thus if 1 is the identity of R, R=Re| --e) and R is completely reducible and hence a finite direct sum of fields F 1 .... , F,. No F~ is of characteristic