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.     

Modules Whose t-Closed Submodules Have a Summand as a Complement

We define and investigate T ₁₁-type modules as a generalization of t-extending modules, and modules satisfying C ₁₁ condition. A module M is said to be T ₁₁-type if every t-closed submodule of M has a complement which is a direct summand. Direct sums of T ₁₁-type modules inherit the property. Some equivalent conditions for a module M to be T ₁₁-type are given. We characterize a module M for which every direct summand satisfies T ₁₁ condition. If R _R is T ₁₁-type, then R/Z ₂(R _R ) is a C ₂ ring if and only if it is a von Neumann regular ring. Applying this result, we characterize a right t-extending (resp., finitely Σ-t-extending, or Σ-t-extending) ring R for which R/Z ₂(R _R ) is von Neumann regular.     

Strongly Duo Modules and Rings

An R-module M is called strongly duo if Tr(N, M) = N for every N ≤ M _R . Several equivalent conditions to being strongly duo are given. If M _R is strongly duo and reduced, then End _R (M) is a strongly regular ring and the converse is true when R is a Dedekind domain and M _R is torsion. Over certain rings, nonsingular strongly duo modules are precisely regular duo modules. If R is a Dedekind domain, then M _R is strongly duo if and only if either M ≈ R or M _R is torsion and duo. Over a commutative ring, strongly duo modules are precisely pq-injective duo modules and every projective strongly duo module is a multiplication module. A ring R is called right strongly duo if R _R is strongly duo. Strongly regular rings are precisely reduced (right) strongly duo rings. A ring R is Noetherian and all of its factor rings are right strongly duo if and only if R is a serial Artinian right duo ring.     

Quasi Co-Hopfian Modules and Applications

We carry out an extensive study of modules M _R with the property that M/f(M) is singular for all injective endomorphisms f of M. Such modules called “quasi co-Hopfian”, generalize co-Hopfian modules. It is shown that a ring R is semisimple if and only if every quasi co-Hopfian R-module is co-Hopfian. Every module contains a unique largest fully invariant quasi co-Hopfian submodule. This submodule is determined for some modules including the semisimple ones. Over right nonsingular rings several equivalent conditions to being quasi co-Hopfian are given. Modules with all submodules quasi co-Hopfian are called “completely quasi co-Hopfian” (cqcH). Over right nonsingular rings and over certain right Noetherian rings, it is proved that every finite reduced rank module is cqcH. For a right nonsingular ring which is right semi-Artinian (resp. right FBN) the class of cqcH modules is the same as the class of finite reduced rank modules if and only if there are only finitely many isomorphism classes of nonsingular R-modules which are simple (resp. indecomposable injective).     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.     

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.     

Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom _R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ? _R RG is a retractable RG-module if and only if M _R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

Weakly regular modules over normal rings

Under study are some conditions for the weakly regular modules to be closed under direct sums and the rings over which all modules are weakly regular. For an arbitrary right R-module M, we prove that every module in the category σ(M) is weakly regular if and only if each module in σ(M) is either semisimple or contains a nonzero M-injective submodule. We describe the normal rings over which all modules are weakly regular.     

MTame Modules And Local Gabriel Correspondence

Using the concept of prime submodule for M ∈ R-Mod, P ∈ Spec(M), and N ∈ σ[M], we define when N is P-Mtame \ (Mtame) module. This concept generalizes the concept\ of P-tame (tame) modules. For M ∈ R-Mod and τ ∈M-tors, we use the concept of τ _M -Gabriel dimension and we study the relationship between Mtame modules and τ _M -Gabriel dimension. We find equivalent conditions for a module M progenerator in σ[M] with τ _M -Gabriel dimension to have τ _M -Gabriel correspondence in terms of the P-Mtame modules. This result extends the results by Albu et al. and Kim and Krause.     

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.     

Supplement Submodules of Injective Modules

An R-module M is called almost injective if M is a supplement submodule of every module which contains M. The module M is called F-almost injective if every factor module of M is almost injective. It is shown that a ring R is a right H-ring if and only if R is right perfect and every almost injective module is injective. We prove that a ring R is semisimple if and only if the R-module R _R is F-almost injective.     

Soc-Injective Rings and Modules*

If M and N are right R-modules, M is called Socle-N-injective (Soc-N-injective) if every R-homomorphism from the socle of N into M extends to N. Equivalently, for every semisimple submodule K of N, any R-homomorphism f : K → M extends to N. In this article, we investigate the notion of soc-injectivity.     

Strongly compressible modules and semiprime right goldie rings

A module M _R is defined to be strongly compressible (or SC for short) if for every essential submodule N of M, there exists X ? E(M) such that M ? X ? N. We show that a ring R is semiprime right Goldie iff R _Ris SC module iff every right ideal of R is SC module iff every submodule of each progenerator of Mod-R is SC module. As corollaries of this result, we obtain some new module-theoretic characterizations of semiprime Goldie rings, prime (right) Goldie rings and Prüfer rings, etc., etc.,respectively. And the characterization theorem of semiprime Goldie rings of López-Permouth, Rizvi and Yousif by using weakly-injective modules can be regarded as a corollary of our results.     

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.     

On a class of semicommutative modules

Let R be a ring with identity, M a right R-module and S = End _R (M). In this note, we introduce S-semicommutative, S-Baer, S-q.-Baer and S-p.q.-Baer modules. We study the relations between these classes of modules. Also we prove if M is an S-semicommutative module, then M is an S-p.q.-Baer module if and only if M[x] is an S[x]-p.q.-Baer module, M is an S-Baer module if and only if M[x] is an S[x]-Baer module, M is an S-q.-Baer module if and only if M[x] is an S[x]-q.-Baer module.     

𝔏-Rickart Modules

It is well known that the Rickart property of rings is not a left-right symmetric property. We extend the notion of the left Rickart property of rings to a general module theoretic setting and define 𝔏-Rickart modules. We study this notion for a right R-module M _R where R is any ring and obtain its basic properties. While it is known that the endomorphism ring of a Rickart module is a right Rickart ring, we show that the endomorphism ring of an 𝔏-Rickart module is not a left Rickart ring in general. If M _R is a finitely generated 𝔏-Rickart module, we prove that End _R (M) is a left Rickart ring. We prove that an 𝔏-Rickart module with no set of infinitely many nonzero orthogonal idempotents in its endomorphism ring is a Baer module. 𝔏-Rickart modules are shown to satisfy a certain kind of nonsingularity which we term “endo-nonsingularity.” Among other results, we prove that M is endo-nonsingular and End _R (M) is a left extending ring iff M is a Baer module and End _R (M) is left cononsingular.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

On GC2 modules and their endomorphism rings

Let R be a ring. A module M_R is said to be GC₂ if for any N≤ M with N? M, N is a direct summand of M. In this article, we give some characterizations and properties of GC₂ modules and their endomorphism rings, and many results on C ₂ modules and GC₂ rings are generalized to GC₂ modules.