On Weak Dual Rickart Modules and Dual Baer Modules

We introduce and study the notion of wd-Rickart modules (i.e. modules M such that for every nonzero endomorphism ? of M, the image of ? contains a nonzero direct summand of M). We show that the class of rings R for which every right R-module is wd-Rickart is exactly that of right semi-artinian right V-rings. We prove that a module M is dual Baer if and only if M is wd-Rickart and M has the strong summand sum property. Several structure results for some classes of wd-Rickart modules and dual Baer modules are provided. Some relevant counterexamples are indicated.     

T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

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.     

Rickart Modules

The concept of right Rickart rings (or right p.p. rings) has been extensively studied in the literature. In this article, we study the notion of Rickart modules in the general module theoretic setting by utilizing the endomorphism ring of a module. We provide several characterizations of Rickart modules and study their properties. It is shown that the class of rings R for which every right R-module is Rickart is precisely that of semisimple artinian rings, while the class of rings R for which every free R-module is Rickart is precisely that of right hereditary rings. Connections between a Rickart module and its endomorphism ring are studied. A characterization of precisely when the endomorphism ring of a Rickart module will be a right Rickart ring is provided. We prove that a Rickart module with no infinite set of nonzero orthogonal idempotents in its endomorphism ring is precisely a Baer module. We show that a finitely generated module over a principal ideal domain (PID) is Rickart exactly if it is either semisimple or torsion-free. Examples which delineate the concepts and results are provided.     

Rings whose cyclic modules are lifting and ⊕-supplemented

It is proved that a semiperfect module is lifting if and only if it has a projective cover preserving direct summands. Three corollaries are obtained: (1) every cyclic module over a ring R is lifting if and only if every cyclic R-module has a projective cover preserving direct summands; (2) a ring R is artinian serial with Jacobson radical square-zero if and only if every (2-generated) R-module has a projective cover preserving direct summands; (3) a ring R is a right (semi-)perfect ring if and only if (cyclic) lifting R-module has a projective cover preserving direct summands, if and only if every (cyclic) R-module having a projective cover preserving direct summands is lifting. It is also proved that every cyclic module over a ring R is ⊕-supplemented if and only if every cyclic R-module is a direct sum of local modules. Consequently, a ring R is artinian serial if and only if every left and right R-module is a direct sum of local modules.     

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.     

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).     

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.     

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.     

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.     

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.     

C-Pure Projective Modules

This paper investigates the structure of cyclically pure (or C-pure) projective modules. In particular, it is shown that a ring R is left Noetherian if and only if every C-pure projective left R-module is pure projective. Also, over a left hereditary Noetherian ring R, a left R-module M is C-pure projective if and only if M = N ⊕ P, where N is a direct sum of cyclic modules and P is a projective left R-module. The relationship C-purity with purity and RD-purity are also studied. It is shown that if R is a local duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is a principal ideal ring. If R is a left perfect duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is left Köthe (i.e., every left R-module is a direct sum of cyclic modules). Also, it is shown that for a ring R, if every C-pure projective left R-module is RD-projective, then R is left Noetherian, every p-injective left R-module is injective and every p-flat right R-module is flat. Finally, it is shown that if R is a left p.p-ring and every C-pure projective left R-module is RD-projective, then R is left Noetherian hereditary. The converse is also true when R is commutative, but it does not hold in the noncommutative case.     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

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.     

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.     

Simple-Direct-Projective Modules

In this paper, we introduce and study the dual notion of simple-direct-injective modules. Namely, a right R-module M is called simple-direct-projective if, whenever A and B are submodules of M with B simple and M/A ? B ?^⊕M, then A ?^⊕M. Several characterizations of simple-direct-projective modules are provided and used to describe some well-known classes of rings. For example, it is shown that a ring R is artinian and serial with J²(R) = 0 if and only if every simple-direct-projective right R-module is quasi-projective if and only if every simple-direct-projective right R -module is a D3-module. It is also shown that a ring R is uniserial with J²(R) = 0 if and only if every simple-direct-projective right R-module is a C3-module if and only if every simple-direct-injective right R -module is a D3-module.