t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

On τ-Extending Modules

Motivated by [2] and [6], we introduce a generalization of extending (CS) modules by using the concept of τ-large submodule which was defined in [9]. We give some properties of this class of modules and study their relationship with the familiar concepts of τ-closed, τ-complement submodules and the other generalization of extending modules (τ-complemented, τ-CS, s−τ-CS modules). We are also interested in determining when a τ-divisible module is τ-extending. For a τ-extending module M with C3, we obtain a decomposition theorem that there is a submodule K of M such that M = t(M) ? KM = \tau (M)\,\oplus\,K and K is τ (M)-injective. We also treat when a direct sum of τ-extending modules is τ-extending.     

Modules in Which Every Fully Invariant Submodule is Essential in a Direct Summand

A module M is called extending if every submodule of M is essential in a direct summand. We call a module FI-extending if every fully invariant submodule is essential in a direct summand. Initially we develop basic properties in the general module setting. For example, in contrast to extending modules, a direct sum of FI-extending modules is FI-extending. Later we largely focus on the specific case when a ring is FI-extending (considered as a module over itself). Again, unlike the extending property, the FI-extending property is shown to carry over to matrix rings. Several results on ring direct decompositions of FI-extending rings are obtained, including a proper generalization of a result of C. Faith on the splitting-off of the maximal regular ideal in a continuous ring.     

Reduced multiplication modules

An R-module M is called a multiplication module if for each submodule N of M, N = IM for some ideal I of R. As defined for a commutative ring R, an R-module M is said to be reduced if the intersection of prime submodules of M is zero. The prime spectrum and minimal prime submodules of the reduced module M are studied. Essential submodules of M are characterized via a topological property. It is shown that the Goldie dimension of M is equal to the Souslin number of Spec(M)\mbox{\rm Spec}(M). Also a finitely generated module M is a Baer module if and only if Spec(M)\mbox{\rm Spec}(M) is an extremally disconnected space; if and only if it is a CS-module. It is proved that a prime submodule N is minimal in M if and only if for each x ∈ N, Ann(x) \not í (N:M).\mbox{\rm Ann}(x) \not \subseteq (N:M). When M is finitely generated; it is shown that every prime submodule of M is maximal if and only if M is a von Neumann regular module (VNM); i.e., every principal submodule of M is a summand submodule. Also if M is an injective R-module, then M is a VNM.     

On generalization of ⊕-cofinitely supplemented modules

We study the properties of ⊕-cofinitely radical supplemented modules, or, briefly, cgs ^⊕-modules. It is shown that a module with summand sum property (SSP) is cgs ^⊕ if and only if M/w Loc^⊕ M (w Loc^⊕ M is the sum of all w-local direct summands of a module M) does not contain any maximal submodule, that every cofinite direct summand of a UC-extending cgs ^⊕-module is cgs ^⊕, and that, for any ring R, every free R-module is cgs ^⊕ if and only if R is semiperfect.     

Goldie Extending Modules

In this article, we define a module M to be 𝒢-extending if and only if for each X ≤ M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We consider the decomposition theory for 𝒢-extending modules and give a characterization of the Abelian groups which are 𝒢-extending. In contrast to the charac-terization of extending Abelian groups, we obtain that all finitely generated Abelian groups are 𝒢-extending. We prove that a minimal cogenerator for 𝒢od-R is 𝒢-extending, but not, in general, extending. It is also shown that if M is (𝒢-) extending, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

Semigroups with I-Quasi Length and Syntactic Semigroups

A module M is said to be extending (𝒢-extending) if for each submodule X of M there exists a direct summand D of M such that X is essential in D (X ∩ D is essential in both X and D). It is known that for a nonsingular module the concepts of 𝒢-extending and extending coincide. However, in the not nonsingular case, they are distinct. In this article, we obtain a characterization of the right 𝒢-extending generalized triangular matrix rings. This result and its corollaries improve and generalize the existing results on right extending generalized triangular matrix rings. It is well known that the ring of n-by-n triangular matrices over a right selfinjective ring is not, in general, right extending. One application of our characterization shows that such rings are right 𝒢-extending. Connections to Operator Theory and a characterization of the class of right extending right SI-rings are also obtained. Examples are given to illustrate and delimit the theory.     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.     

On weakly prime radical of modules and semi-compatible modules

Summary Let M be a left R-module. Then a proper submodule P of M is called weakly prime submodule if for any ideals A and B of R and any submodule N of M such that ABN ⊆ P, we have AN ⊆ P or BN ⊆ P. We define weakly prime radicals of modules and show that for Ore domains, the study of weakly prime radicals of general modules reduces to that of torsion modules. We determine the weakly prime radical of any module over a commutative domain R with dim (R) ≦ 1. Also, we show that over a commutative domain R with dim (R) ≦ 1, every semiprime submodule of any module is an intersection of weakly prime submodules. Localization of a module over a commutative ring preserves the weakly prime property. An R-module M is called semi-compatible if every weakly prime submodule of M is an intersection of prime submodules. Also, a ring R is called semi-compatible if every R-module is semi-compatible. It is shown that any projective module over a commutative ring is semi-compatible and that a commutative Noetherian ring R is semi-compatible if and only if for every prime ideal B of R, the ring R/\B is a Dedekind domain. Finally, we show that if R is a UFD such that the free R-module R⊕ R is a semi-compatible module, then R is a Bezout domain.     

A note on semiprime right Goldie rings

It is shown that a ring R is semiprime right Goldie if and only if R is right nonsingular and every nonsingular right R-module M has a direct decomposition M = I⊕N, where I is injective and N is a reduced module such that N does not contain any extending submodule of infinite Goldie dimension.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

The Osofsky-Smith Theorem for Modular Lattices,and Applications (II)

This is the second part of the paper with the same title published in Communications in Algebra in 2011. It contains applications of the Latticial Osofsky–Smith Theorem to Grothendieck categories and module categories equipped with a torsion theory. Various many different meanings spread in the literature of the relative concepts with respect to a hereditary torsion theory τ on Mod-R like τ-essential submodule, τ-complement submodule, τ-CS module, etc. are also discussed.     

Lifting Modules Over Right Perfect Rings

A module M is called extending if, for any submodule X of M, there exists a direct summand of M which contains X as an essential submodule, that is, for any submodule X of M, there exists a closure of X in M which is a direct summand of M. Dually, a module M is said to be lifting if, for any submodule X of M, there exists a direct summand of M which is a co-essential submodule of X, that is, for any submodule X of M, there exists a co-closure of X in M which is a direct summand of M.

Okado (1984 Okado , M. ( 1984 ). On the decomposition of extending modules . Math. Japonica 29 : 939 – 941 . [Google Scholar]) has studied the decomposition of extending modules over right noetherian rings. He obtained the following: A ring R is right noetherian if and only if every extending R-module can be expressed as a direct sum of indecomposable (uniform) modules.

In this article, we show that every (finitely generated) lifting module over a right perfect (semiperfect) ring can be expressed as a direct sum of indecomposable modules. And we consider some application of this result.     

Submodules of Direct Sums of Compressible Modules

Let R be a ring. A right R-module M is called “essentially compressible” if it embeds in each of its essential submodules. Also a module X _R is called “completely essentially compressible” if every submodule of X _R is an essentially compressible R-module. In this aricle, it is shown that a right R-module M embeds in a direct sum of compressible right R-modules if and only if M _R is essentially compressible and every nonzero essentially compressible submodule of M _R contains a compressible submodule. Every essentially compressible R-module is shown to be retractable. Moreover, if either R _R has Krull dimension, or R is Morita equivalent to a right duo ring, then a right R-module embeds in a direct sum of compressible right R-modules if and only if it is completely essentially compressible.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

ON X-EXTENDING AND X-CONTINUOUS MODULES

Let X be a left R-module. We characterize when the direct sum of two X-extending modules is X-extending via essential injectivity and pseudo injectivity of modules. As a corollary, we show that if extending modules M ₁ and M ₂ are relatively essentially injective and M ₁ is pseudo-M ₂-injective (or M ₂ is pseudo-M ₁-injective) then M ₁ ⊕ M ₂ is extending. Also we characterize when the direct sum of two CESS-modules is CESS. Some characterizations of almost Noetherian rings are also given by relative (quasi-) continuity of left R-modules.     

Generalizations of coatomic modules

For a ring R and a right R-module M, a submodule N of M is said to be δ-small in M if, whenever N+X=M with M/X singular, we have X=M. Let ℘ be the class of all singular simple modules. Then δ(M)=Σ{ L≤ M| L is a δ-small submodule of M} = Re _jm(℘)=∩{ N⊂ M: M/N∈℘. We call M δ-coatomic module whenever N≤ M and M/N=δ(M/N) then M/N=0. And R is called right (left) δ-coatomic ring if the right (left) R-module R _R(_RR) is δ-coatomic. In this note, we study δ-coatomic modules and ring. We prove M=⊕ _i=1 ⁿ M_i is δ-coatomic if and only if each M _i (i=1,…, n) is δ-coatomic.