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.     

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.     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

On Strongly Clean Modules

An element of a ring R is called “strongly clean” if it is the sum of an idempotent and a unit that commute, and R is called “strongly clean” if every element of R is strongly clean. A module M is called “strongly clean” if its endomorphism ring End(M) is a strongly clean ring. In this article, strongly clean modules are characterized by direct sum decompositions, that is, M is a strongly clean module if and only if whenever M′⊕ B = A ₁⊕ A ₂ with M′? M, there are decompositions M′ = M ₁⊕ M ₂, B = B ₁⊕ B ₂, and A _i  = C _i ⊕ D _i (i = 1,2) such that M ₁⊕ B ₁ = C ₁⊕ D ₂ = M ₁⊕ C ₁ and M ₂⊕ B ₂ = D ₁⊕ C ₂ = M ₂⊕ C ₂.     

Minimalities and Modules over Dedekind-Like Rings

We are interested in (right) modules M satisfying the following weak divisibility condition: If R is the underlying ring, then for every r ∈ R either Mr = 0 or Mr = M. Over a commutative ring, this is equivalent to say that M is connected with regular generics. Over arbitrary rings, modules which are “minimal” in several model theoretic senses satisfy this condition. In this article, we investigate modules with this weak divisibility property over Dedekind-like rings and over other related classes of rings.     

Pure Submodules of Finite Direct Sums of Co-Purely Indecomposable Modules

A torsion-free module M of finite rank over a discrete valuation ring R with prime p is co-purely indecomposable if M is indecomposable and rank M = 1 + dim _R/pR (M/pM). Co-purely indecomposable modules are duals of pure finite rank submodules of the p-adic completion of R. Pure submodules of cpi-decomposable modules (finite direct sums of co-purely indecomposable modules) are characterized. Included are various examples and properties of these modules.     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.     

Rugged modules: The opposite of flatness

Relative notions of flatness are introduced as a mean to gauge the extent of the flatness of any given module. Every module is thus endowed with a flatness domain and, for every ring, the collection of flatness domains of all of its modules is a lattice with respect to class inclusion. This lattice, the flatness profile of the ring, allows us, in particular, to focus on modules which have a smallest flatness domain (namely, one consisting of all regular modules.) We establish that such modules exist over arbitrary rings and we call them Rugged Modules. Rings all of whose (cyclic) modules are rugged are shown to be precisely the von Neumann regular rings. We consider rings without a flatness middle class (i.e., rings for which modules must be either flat or rugged.) We obtain that, over a right Noetherian ring every left module is rugged or flat if and only if every right module is poor or injective if and only if R = S×T, where S is semisimple Artinian and T is either Morita equivalent to a right PCI-domain, or T is right Artinian whose Jacobson radical properly contains no nonzero ideals. Character modules serve to bridge results about flatness and injectivity profiles; in particular, connections between rugged and poor modules are explored. If R is a ring whose regular left modules are semisimple, then a right module M is rugged if and only if its character left module M⁺ is poor. Rugged Abelian groups are fully characterized and shown to coincide precisely with injectively poor and projectively poor Abelian groups. Also, in order to get a feel for the class of rugged modules over an arbitrary ring, we consider the homological ubiquity of rugged modules in the category of all modules in terms of the feasibility of rugged precovers and covers for arbitrary 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.     

On Strongly Copure Flat Modules and Copure Flat Dimensions

Let R be a left coherent ring. We first prove that a right R-module M is strongly copure flat if and only if Ext ⁱ (M, C) = 0 for all flat cotorsion right R-modules C and i ≥ 1. Then we define and investigate copure flat dimensions of left coherent rings. Finally, we give some new characterizations of n-FC rings.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

On Strong Goldie Dimension

Let R be an associative ring with identity. A unital right R-module M is called “strongly finite dimensional” if Sup{G.dim (M/N) | N ≤ M} < +∞, where G.dim denotes the Goldie dimension of a module. Properties of strongly finite dimensional modules are explored. It is also proved that: (1) If R is left F-injective and semilocal, then R is left finite dimensional. (2) R is right artinian if and only if R is right strongly finite dimensional and right semiartinian. Some known results are obtained as corollaries.     

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.     

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 rings with associated elements

A principal right ideal of a ring is called uniquely generated if any two elements of the ring that generate the same principal right ideal must be right associated (i.e., if for all a,b in a ring R, aR = bR implies a = bu for some unit u of R). In the present paper, we study “uniquely generated modules” as a module theoretic version of “uniquely generated ideals,” and we obtain a characterization of a unit-regular endomorphism ring of a module in terms of certain uniquely generated submodules of the module among some other results: End(M) is unit-regular if and only if End(M) is regular and all M-cyclic submodules of a right R-module M are uniquely generated. We also consider the questions of when an arbitrary element of a ring is associated to an element with a certain property. For example, we consider this question for the ring R[x;σ]∕(xⁿ⁺¹), where R is a strongly regular ring with an endomorphism σ be an endomorphism of R.     

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.     

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

On Strongly Essential Submodules

The submodules with the property of the title (N ? M is strongly essential in M if ∏ _I N is essential in ∏ _I M for any index set I) are introduced and fully investigated.

It is shown that for each submodule N of M there exists a subset T ? M such that N + T is strongly essential submodule of M and (N:T) = Ann(T), T  ∩  N = 0. Basic properties of these objects and several examples are given and the counterparts of the related concepts to essential submodules are also introduced and studied. It is shown that each maximal left ideal of a left fully bounded ring is either a summand or strongly essential. Rings over which no module has a proper strongly essential submodule are characterized. It is also shown that the left Loewy rings are the only rings over which the essential submodules and strongly essential submodules of any left module coincide. Finally, a new characterization of left FBN rings is observed.     

Condensed Rings with Zero-Divisors #

A commutative ring R with identity is condensed (respectively strongly condensed) if for each pair of ideals I, J of R, IJ = {ij | i ∈ I, j ∈ J} (resp., IJ = iJ for some i ∈ I or IJ = Ij for some j ∈ J). In a similar fashion we can define regularly condensed and regularly strongly condensed rings by restricting I and J to be regular ideals. We show that an arbitrary product of rings is condensed if and only if each factor is so, and that R[X] is condensed if and only if R is von Neumann regular. A number of results known in the domain case are extended to the ring case. Regularly strongly condensed and one-dimensional regularly condensed Noetherian rings are characterized.