Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

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.     

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

Commutative Non-Noetherian Rings with the Diamond Property

A ring R is said to have property (◇) if the injective hull of every simple R-module is locally Artinian. By landmark results of Matlis and Vamos, every commutative Noetherian ring has (◇). We give a systematic study of commutative rings with (◇), We give several general characterizations in terms of co-finite topologies on R and completions of R. We show that they have many properties of Noetherian rings, such as Krull intersection property, and recover several classical results of commutative Noetherian algebra, including some of Matlis and Vamos. Moreover, we show that a complete rings has (◇) if and only if it is Noetherian. We also give a few results relating the (◇) property of a local ring with that of its associated graded rings, and construct a series of examples.

     

Commutative Rings whose Proper Ideals are Serial

A result of Nakayama and Skornyakov states that a ring R is an Artinian serial ring if and only if every R-module is serial. This motivated us to study commutative rings for which every proper ideal is serial. In this paper, we determine completely the structure of commutative rings R of which every proper ideal is serial. It is shown that every proper ideal of R is serial, if and only if, either R is a serial ring, or R is a local ring with maximal ideal \({\mathcal {M}}\) such that there exist a uniserial module U and a semisimple module T with \({\mathcal {M}}=U\oplus T\). Moreover, in the latter case, every proper ideal of R is isomorphic to \(U^{\prime }\oplus T^{\prime }\), for some \(U^{\prime }\leq U\) and \(T^{\prime }\leq T\). Furthermore, it is shown that every proper ideal of a commutative Noetherian ring R is serial, if and only if, either R is a finite direct product of discrete valuation domains and local Artinian principal ideal rings, or R is a local ring with maximal ideal \({\mathcal {M}}\) containing a set of elements {w ₁,…,w _n } such that \({\mathcal {M}}=\bigoplus _{i=1}^{n} Rw_{i}\) with at most one non-simple summand. Moreover, another equivalent condition states that: there exists an integer n ≥ 1 such that every proper ideal of R is a direct sum of at most n uniserial R-modules. Finally, we discuss some examples to illustrate our results.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

On maximal commutative subrings of non-commutative rings

We observe that every non-commutative unital ring has at least three maximal commutative subrings. In particular, non-commutative rings (resp., finite non-commutative rings) in which there are exactly three (resp., four) maximal commutative subrings are characterized. If R has acc or dcc on its commutative subrings containing the center, whose intersection with the nontrivial summands is trivial, then R is Dedekind-finite. It is observed that every Artinian commutative ring R, is a finite intersection of some Artinian commutative subrings of a non-commutative ring, in each of which, R is a maximal subring. The intersection of maximal ideals of all the maximal commutative subrings in a non-commutative local ring R, is a maximal ideal in the center of R. A ring R with no nontrivial idempotents, is either a division ring or a right ue-ring (i.e., a ring with a unique proper essential right ideal) if and only if every maximal commutative subring of R is either a field or a ue-ring whose socle is the contraction of that of R. It is proved that a maximal commutative subring of a duo ue-ring with finite uniform dimension is a finite direct product of rings, all of which are fields, except possibly one, which is a local ring whose unique maximal ideal is of square zero. Analogues of Jordan-Hölder Theorem (resp., of the existence of the Loewy chain for Artinian modules) is proved for rings with acc and dcc (resp., with dcc) on commutative subrings containing the center. A semiprime ring R has only finitely many maximal commutative subrings if and only if R has a maximal commutative subring of finite index. Infinite prime rings have infinitely many maximal commutative subrings.     

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.     

Rings Related to Mininjective and Min-Flat Modules

R is called a left PS (resp. left min-coherent, left universally mininjective) ring if every simple left ideal is projective (resp. finitely presented, a direct summand of R). We first investigate when the endomorphism ring of a module is a PS ring, a min-coherent ring, or a universally mininjective ring. Then we characterize PS rings and universally mininjective rings in terms of endomorphisms of mininjective and min-flat modules. Finally, we study commutative min-coherent rings and (universally) mininjective rings using properties of homomorphism modules of special modules.     

Decomposing torsion modules

E. Matlis proved that if R is an integral domain with quotient field Q and K is the R-module Q/R, then all torsion R-modules decompose into a direct sum of local submodules if and only if K decomposes into a direct sum of local submodules. Thus K is a test module to determine whether torsion modules decompose. We generalize this result to commutative rings. If R is a commutative ring and a torsion theory of R is given by a Gabriel topology , then form the ring of quotients R_ and let K be the cokernel of the canonical ring homomorphism from R to R_. In some special cases, every -torsion R-module decomposes into a direct sum of local submodules if and only if K decomposes. However, there is an example where this is not the case. The principal result is: given R,  and K, there is a related filter _K of ideals of R, which is a subset of , such that all _K-pretorsion R-modules decompose into a direct sum of local submodules if and only if K decomposes. The relationship between  and _K is investigated.     

Syzygy modules with semidualizing or G-projective summands

Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing summand. After that, we consider whether R is Gorenstein if and only if some syzygy module of k has a G-projective summand.     

Noetherian Rings whose Modules are Prime Serial

A theorem due to Nakayama and Skornyakov states that “a ring R is an Artinian serial ring if and only if all left R-modules are serial” and a theorem due to Warfield state that “a Noetherian ring R is serial if and only if every finitely generated left R-module is serial”. We say that an R-module M is prime uniserial (?-uniserial, for short) if for every pair P, Q of prime submodules of M either \(P\subseteq Q\) or \(Q\subseteq P\), and we say that M is prime serial (?-serial, for short) if it is a direct sum of ?-uniserial modules. Therefore, two interesting natural questions of this sort are: “Which rings have the property that every module is ?-serial?” and “Which rings have the property that every finitely generated module is ?-serial?” Most recently, in our paper, Prime uniserial modules and rings (submitted), we considered these questions in the context of commutative rings. The goal of this paper is to answer these questions in the case R is a Noetherian ring in which all idempotents are central or R is a left Artinian ring.     

When Cyclic Modules Have Σ-Injective Hulls

Abstract

A theorem of Cartan-Eilenberg (Cartan, H., Eilenberg, S. (1956). Homological Algebra. Princeton: Princeton University Press, pp. 390.) states that a ring Ris right Noetherian iff every injective right module is Σ-incentive. The purpose of this paper is to study rings with the property, called right CSI, that, all cyclic right R-modules have Σ-injective hulls, i.e., injective hulls of cyclic right R-modules are Σ-injective. In this case, all finitely generated right R-modules have Σ-injective hulls, and this implies that Ris right Noetherian for a lengthy list of rings, most notably, for Rcommutative, or when Rhas at most finitely many simple right R-modules, e.g., when Ris semilocal. Whether all right CSIrings are Noetherian is an open question. However, if in addition, R/rad Ris either right Kasch or von Neuman regular (=VNR), or if all countably generated (sermisimple) right R-modules have Σ-injective hulls then the answer is affirmative. (See Theorem A.) We also prove the dual theorems for Δ-injective modules.     

On Rings Whose Reflexive Ideals are Principal

We call a prime Noetherian maximal order R a pseudo-principal ring if every reflexive ideal of R is principal. This class of rings is a broad class properly containing both prime Noetherian pri-(pli) rings and Noetherian unique factorization rings (UFRs). We show that the class of pseudo-principal rings is closed under formation of n × n full matrix rings. Moreover, we prove that if R is a pseudo-principal ring, then the polynomial ring R[x] is also a pseudo-principal ring. We provide examples to illustrate our results.     

Local rings whose modules are almost serial

The present paper is a sequel to our previous work on almost uniserial rings and modules, which appeared in the Journal of Algebra in 2016; it studies rings over which every (left and right) module is almost serial. A module is almost uniserial if any two of its submodules are either comparable in inclusion or isomorphic. And a module is almost serial if it is a direct sum of almost uniserial modules. The results of the paper are inspired by a characterization of Artinian serial rings as rings having all left (or right) modules serial. We prove that if R is a local ring and all left R-modules are almost serial then R is an Artinian ring which is uniserial either on the left or on the right. We also produce a connection between local rings having all left and right modules almost serial, local balanced rings studied by Dlab and Ringel and local Köthe rings. Finally we prove Morita invariance of the almost serial property and list some consequences.     

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 smallest closed subcategory containing the μcomplemented modules

Given a hereditary torsion functor , the class of μ-complemented modules was recently introduced by P.F. Smith and the authors as an analogue of extending modules. This current article explores this class by viewing it as a subclass of EX, the smallest closed subcategory which contains it. As a consequence the class of μ-complemented modules is shown here to be closed under the formation of module of quotients. As to EX, we prove that it is closed under arbitrary direct products in Mod-Rif Ris a valuation ring. On the other hand, if Ris commutative Noetherian and μ is jansian then every μ-complemented module is a direct sum of a μ-torsion module and a semisimple, which prompted us to analyze when E Xcontains a subgenerator of this form.     

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.