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

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.     

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.     

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.     

Injectivity relative to closed submodules

Let R be a ring. An R-module X is called c-injective if, for every closed submodule L of every R-module M, every homomorphism from L to X lifts to M. It is proved that if R is a Dedekind domain then an R-module X is c-injective if and only if X is isomorphic to a direct product of homogeneous semisimple R-modules and injective R-modules. It is also proved that a commutative Noetherian domain R is Dedekind if and only if every simple R-module is c-injective.     

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.     

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.     

Strongly radical supplemented modules

Z?schinger studied modules whose radicals have supplements and called these modules radical supplemented. Motivated by this, we call a module strongly radical supplemented (briefly srs) if every submodule containing the radical has a supplement. We prove that every (finitely generated) left module is an srs-module if and only if the ring is left (semi)perfect. Over a local Dedekind domain, srs-modules and radical supplemented modules coincide. Over a nonlocal Dedekind domain, an srs-module is the sum of its torsion submodule and the radical submodule.     

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.     

On co-Hopficity of Injective Envelopes

A right R-module M is called co-Hopfian if injective endomorphisms of M _R are surjective. It is shown that E(M _R ) is co-Hopfian if and only if M _R does not contain an infinite direct sum ?_{i ? \mathbbN}W_i{{\oplus_{i \in \mathbb{N}}W_{i}}} of submodules such that each W _i+1 essentially embeds in W _i . For many modules M _R , including modules over a right FBN or right duo ring with Krull dimension, it is proved that E(M _R ) is co-Hopfian if and only if (\mathbbN){(\mathbb{N})} ↪̸ M _R for every non-zero X _R . For a ring which has enough uniforms, the class of modules with co-Hopfian injective envelope is the same as the class of modules with finite uniform dimension if and only if there are only finitely many isomorphism classes of indecomposable injective modules.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

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.     

⊕-Cofinitely Supplemented Modules

Let R be a ring and M a right R-module. M is called -cofinitely supplemented if every submodule N of M with M/N finitely generated has a supplement that is a direct summand of M. In this paper various properties of the -cofinitely supplemented modules are given. It is shown that (1) Arbitrary direct sum of -cofinitely supplemented modules is -cofinitely supplemented. (2) A ring R is semiperfect if and only if every free R-module is -cofinitely supplemented. In addition, if M has the summand sum property, then M is -cofinitely supplemented iff every maximal submodule has a supplement that is a direct summand of M.     

Regular semiartinian rings

We study the structure of rings over which every right module is an essential extension of a semisimple module by an injective one. A ring R is called a right max-ring if every nonzero right R-module has a maximal submodule. We describe normal regular semiartinian rings whose endomorphism ring of the minimal injective cogenerator is a max-ring.     

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.     

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.     

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.     

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