Homological Characterizations of Rings with Property (P)

Abstract

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and Π-coherent rings with property (P).     

Commutative Local Rings Whose Ideals are Direct Sums of Cyclic Modules

A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring R has the property that every R-module is a direct sum of cyclic modules if and only if R is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in Behboodi et al. Commutative Noetherian local rings whose ideals are direct sums of cyclic modules (J. Algebra 345:257–265, 2011) the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.     

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

S-TORSION FREE COVERS OF MODULES

Over Pruüfer domains every module has a torsion free cover with a flat kernel. In this paper we show that the commutative Noetherian rings that have this property are the Gorenstein rings with Krull dimension at most one. Here we use the torsion theory defined by the nonzero-divisors of the commutative ring R.     

Some criteria for the Cohen-Macaulay property and local cohomology

Let a be an ideal of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d. We characterize Cohen-Macaulay rings in term of a special homological dimension. Lastly, we prove that if R is a complete local ring, then the Matlis dual of top local cohomology module Ha^d（M） is a Cohen-Macaulay R-module provided that the R-module M satisfies some conditions.     

Uniserial Noetherian centrally essential rings

Abstract

It is proved that a ring R is a right uniserial, right Noetherian centrally essential ring if and only if R is a commutative discrete valuation domain or a left and right Artinian, left and right uniserial ring. It is also proved that there exist non-commutative uniserial Artinian centrally essential rings.     

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.     

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.     

Envelopes of commutative rings

Given a significative class ℱ of commutative rings, we study the precise conditions under which a commutative ring R has an ℱ-envelope. A full answer is obtained when ℱ is the class of fields, semisimple commutative rings or integral domains. When ℱ is the class of Noetherian rings, we give a full answer when the Krull dimension of R is zero and when the envelope is required to be epimorphic. The general problem is reduced to identifying the class of non-Noetherian rings having a monomorphic Noetherian envelope, which we conjecture is the empty class.     

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.     

Maximally Prüfer Rings

In this paper we consider six Prüfer-like conditions on a commutative ring R, and introduce seventh condition by defining the ring R to be maximally Prüfer if R _M is Prüfer for every maximal ideal M of R, and we show that the class of such rings lie properly between Prüfer rings and locally Prüfer rings. We give a characterization of such rings in terms of the total quotient ring and the core of the regular maximal ideals. We also find a relationship of such rings with strong Prüfer rings.     

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.     

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 the Countability of Noetherian Dimension of Modules

Abstract

It is shown that a module M has countable Noetherian dimension if and only if the lengths of ascending chains of submodules of M has a countable upper bound. This shows in particular that every submodule of a module with countable Noetherian dimension is countably generated. It is proved that modules with Noetherian dimension over locally Noetherian rings have countable Noetherian dimension. We also observe that ω^ω is a universal upper bound for the lengths of all chains in Artinian modules over commutative rings.     

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.     

Gorenstein Injective and Gorenstein Flat Resolution of Modules Over Gorenstein Rings

Abstract

Let R be a commutative Noetherian ring. There are several characterizations of Gorenstein rings in terms of classical homological dimensions of their modules. In this paper, we use Gorenstein dimensions (Gorenstein injective and Gorenstein flat dimension) to describe Gorenstein rings. Moreover a characterization of Gorenstein injective (resp. Gorenstein flat) modules over Gorenstein rings is given in terms of their Gorenstein flat (resp. Gorenstein injective) resolutions.     

A nilregular element property

An element a of a commutative ring R is nilregular if and only if x is nilpotent whenever ax is nilpotent. More generally, an ideal I of R is nilregular if and only if x is nilpotent whenever ax is nilpotent for all a ∈ I . We give a direct proof that if R is Noetherian, then every nilregular ideal contains a nilregular element. In constructive mathematics, this proof can then be seen as an algorithm to produce nilregular elements of nilregular ideals whenever R is coherent, Noetherian, and discrete. As an application, we give a constructive proof of the Eisenbud-Evans-Storch theorem that every algebraic set in n-dimensional affine space is the intersection of n hypersurfaces.Received: 6 September 2004     

Differential Calculi on Quantum Groupoids

Let R be a commutative ring with Noetherian spectrum in which zero is a primary ideal. We determine the minimal zero-dimensional extensions of R when every regular prime ideal of R is contained in only finitely many prime ideals. This extends previous results of the first author for dim (R) ≤1. We also present a characterization of the partially ordered set of prime ideals in a ring with Noetherian spectrum.     

On ideals consisting entirely of zero divisors

An ideal Iin a commutative ring Ris called a z°-ideal if Iconsists of zero-divisors and for each a? Ithe intersection of all minimal prime ideals containing ais contained in I.We prove that in a large class of rings, containing Noetherian reduced rings, Zero-dimensional rings, polynomials over reduced rings and C(X), every ideal consisting of zero-divisors is contained in a prime z°-ideal. It is also shown that the classical ring of quotients of a reduced ring is regular if and only if every prime z°-ideal is a minimal prime ideal and the annihilator of a f.g. ideal consisting of zero-divisors is nonzero. We observe that z°-ideals behave nicely under contractions and extensions.