On n-Absorbing Ideals of Commutative Rings

Let R be a commutative ring with 1 ≠ 0 and n a positive integer. In this article, we study two generalizations of a prime ideal. A proper ideal I of R is called an n-absorbing (resp., strongly n-absorbing) ideal if whenever x ₁…x _n+1 ∈ I for x ₁,…, x _n+1 ∈ R (resp., I ₁…I _n+1 ? I for ideals I ₁,…, I _n+1 of R), then there are n of the x _i 's (resp., n of the I _i 's) whose product is in I. We investigate n-absorbing and strongly n-absorbing ideals, and we conjecture that these two concepts are equivalent. In particular, we study the stability of n-absorbing ideals with respect to various ring-theoretic constructions and study n-absorbing ideals in several classes of commutative rings. For example, in a Noetherian ring every proper ideal is an n-absorbing ideal for some positive integer n, and in a Prüfer domain, an ideal is an n-absorbing ideal for some positive integer n if and only if it is a product of prime ideals.     

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.     

On Pseudo-Almost Valuation Domains

Let R be an integral domain with quotient field K and integral closure R ^′. Anderson and Zafrullah called R an “almost valuation domain” if for every nonzero x ∈ K, there is a positive integer n such that either x ⁿ  ∈ R or x ^?n  ∈ R. In this article, we introduce a new closely related class of integral domains. We define a prime ideal P of R to be a “pseudo-strongly prime ideal” if, whenever x, y ∈ K and xyP ? P, then there is a positive integer m ≥ 1 such that either x ^m  ∈ R or y ^m P ? P. If each prime ideal of R is a pseudo-strongly prime ideal, then R is called a “pseudo-almost valuation domain” (PAVD). We show that the class of valuation domains, the class of pseudo-valuation domains, the class of almost valuation domains, and the class of almost pseudo-valuation domains are properly contained in the class of pseudo-almost valuation domains; also we show that the class of pseudo-almost valuation domains is properly contained in the class of quasilocal domains with linearly ordered prime ideals. Among the properties of PAVDs, we show that an integral domain R is a PAVD if and only if for every nonzero x ∈ K, there is a positive integer n ≥ 1 such that either x ⁿ  ∈ R or ax ^?n  ∈ R for every nonunit a ∈ R. We show that pseudo-almost valuation domains are precisely the pullbacks of almost valuation domains, we characterize pseudo-almost valuation domains of the form D + M, and we use this characterization to construct PAVDs that are not almost valuation domains. We show that if R is a Noetherian PAVD, then R has Krull dimension at most one and R ^′ is a valuation domain; we show that every overring of a PAVD R is a PAVD iff R ^′ is a valuation domain and every integral overring of R is a PAVD.     

On Lie Nilpotent Rings and Cohen's Theorem

We study certain (two-sided) nil ideals and nilpotent ideals in a Lie nilpotent ring R. Our results lead us to showing that the prime radical rad(R) of R comprises the nilpotent elements of R, and that if L is a left ideal of R, then L + rad(R) is a two-sided ideal of R. This in turn leads to a Lie nilpotent version of Cohen's theorem, namely if R is a Lie nilpotent ring and every prime (two-sided) ideal of R is finitely generated as a left ideal, then every left ideal of R containing the prime radical of R is finitely generated (as a left ideal). For an arbitrary ring R with identity we also consider its so-called n-th Lie center Z _n (R), n ≥ 1, which is a Lie nilpotent ring of index n. We prove that if C is a commutative submonoid of the multiplicative monoid of R, then the subring ?Z _n (R) ∪ C? of R generated by the subset Z _n (R) ∪ C of R is also Lie nilpotent of index n.     

Global Theory of Lattice-Finite Noetherian Rings

We introduce and study lattice-finite Noetherian rings and show that they form a onedimensional analogue of representation-finite Artinian rings. We prove that every lattice-finite Noetherian ring R has Krull dimension ≼ 1, and that R modulo its Artinian radical is an order in a semi-simple ring. Our main result states that maximal overorders of R exist and have to be Asano orders, while they need not be fully bounded. This will be achieved by means of an idempotent ideal I(R), an invariant or R which is new even for classical orders R. This ideal satisfies I(R) = R whenever R is maximal. Presented by H. Tachikawa     

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.     

Lazy bases: a minimalist constructive theory of Noetherian rings

We give a constructive treatment of the theory of Noetherian rings. We avoid the usual restriction to coherent rings; we can even deal with non‐discrete rings. We introduce the concept of rings with certifiable equality which covers discrete rings and much more. A ring R with certifiable equality can be fitted with a partial ideal membership test for ideals of R. Lazy bases of ideals of R [X ] are introduced in order to derive a partial ideal membership test for ideals of R [X ]. It is then proved that if R is Noetherian, then so is R [X ]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Weakly G K -Perfect and Integral Closure of Ideals

Let R be a commutative Noetherian ring, K a nonzero finitely generated suitable R-module, and I an ideal of R. It is shown that if (R, ) is local, then  is G _K -perfect if and only if K is a canonical module for R. Furthermore, if I is integrally closed and G _K  ? dim _R I < ∞, then K _ is a canonical R _-module for every  ? Ass _R R/I whenever K satisfies Serre's condition (S ₁) or grade _K I > 0. Finally, it is shown that if CM ? dim _R I < ∞, then R _ is Cohen–Macaulay for every  ? Ass _R R/I.     

A Note on the Associated Primes of Local Cohomology Modules

In this note we give a simple proof of the following result: Let R be a commutative Noetherian ring,  an ideal of R and M a finite R-module, if H_ ⁱ (M) has finite support for all i < n, then Ass(H_ ⁿ (M)) is finite.     

On Generalizations of Prime Ideals

Let R be a commutative ring with identity. Let φ: S(R) → S(R) ∪ {?} be a function, where S(R) is the set of ideals of R. Suppose n ≥ 2 is a positive integer. A nonzero proper ideal I of R is called (n ? 1, n) ? φ-prime if, whenever a ₁, a ₂, ?, a _n  ∈ R and a ₁ a ₂?a _n  ∈ I?φ(I), the product of (n ? 1) of the a _i 's is in I. In this article, we study (n ? 1, n) ? φ-prime ideals (n ≥ 2). A number of results concerning (n ? 1, n) ? φ-prime ideals and examples of (n ? 1, n) ? φ-prime ideals are also given. Finally, rings with the property that for some φ, every proper ideal is (n ? 1, n) ? φ-prime, are characterized.     

Characterizations of QF Rings

A ring R is called “left GP-injective” if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). It is proved that (1) every right Noetherian left GP-injective ring such that every complement left ideal is a left annihilator is a QF ring, (2) every left GP-injective ring with ACC on left annihilators such that every complement left ideal is a left annihilator is a QF ring, and (3) every left P-injective left CS ring satisfying ACC on essential right ideals is a QF ring. Several well-known results on QF rings are obtained as corollaries.     

On simple factorization of invertible matrices

Let I be an ideal of a ring R. We say that R is a generalized I-stable ring provided that aR+bR=R with a?∈?1+I,b?∈?R implies that there exists a y?∈?R such that a+by?∈?K(R), where K(R)={x?∈?R?∣?? s, t?∈?R such that sxt=1}. Let R be a generalized I-stable ring. Then every A?∈?GL_n (I) is the product of 13n?12 simple matrices. Furthermore, we prove that A is the product of n simple matrices if I has stable rank one. This generalizes the results of Vaserstein and Wheland on rings having stable rank one.     

Generalized Derivations with Nilpotent Values on Semiprime Rings

Let R be a semiprime ring, RF be its left Martindale quotient ring and I be an essential ideal of R. Then every generalized derivation μ defined on I can be uniquely extended to a generalized derivation of RE. Furthermore, if there exists a fixed positive integer n such that μ(x)^n = 0 for all x∈I, then μ=0.     

Asymptotic Primes of Delta Closures of Ideals

Abstract

For an ideal H in a Noetherian ring R let H? = ∪{H ⁱ⁺¹ : _R H ⁱ | i ≥ 0} and for a multiplicatively closed set Δ of nonzero ideals of R let H _Δ = ∪{HK: _R K | K ? Δ}. It is shown that four standard results concerning the associated prime ideals of the integral closure (bR)_a of a regular principal ideal bR do not hold for certain Δ closures (bR)_Δ of bR. To do this it is first shown that if I is an ideal in R such that height (I) ≥ 1, then each radical ideal J of R containing I is of the form J = K? :_R cR for some ideal K closely related to I, and if I _a :_R J ? U = ∪{I?R _P ∩ R | P is a minimal prime divisor of J} (where I _a is the integral closure of I), then J = I _Δ :_R CR and I ? I _Δ ? I _a).     

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.     

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.

     

Note on ideal-transforms, Rees rings, and Krull rings

Let I be an ideal in a Noetherian ring R and let T(I) be the ideal-transform of R with respect to I. Several necessary and sufficient conditions are given for T(I) to be Noetherian for a height one ideal I in an important class of altitude two local domains, and some specific examples are given to show that the integral closure T(I)′ and the complete integral closure T(I)″ of T(I) may differ, even when R is an altitude two Cohen-Macaulay local domain whose integral closure is a regular domain and a finite R-module. It is then shown that T(I)″ is always a Krull ring, and if the integral closure of R is a finite R-module, then T(I)′ is contained in a finite T(I)-module. Finally, these last two results are applied to certain symbolic Rees rings.     

Radically perfect prime ideals in polynomial rings

We call an ideal I of a commutative ring R radically perfect if among the ideals of R whose radical is equal to the radical of I the one with the least number of generators has this number of generators equal to the height of I. Let R be a Noetherian integral domain of Krull dimension one containing a field of characteristic zero. Then each prime ideal of the polynomial ring R[X] is radically perfect if and only if R is a Dedekind domain with torsion ideal class group. We also show that over a finite dimensional Bézout domain R, the polynomial ring R[X] has the property that each prime ideal of it is radically perfect if and only if R is of dimension one and each prime ideal of R is the radical of a principal ideal.     

On the Asymptotic Behavior of the Bass Numbers of Modules

Let (R, 𝔪) be a Noetherian Gorenstein local ring and I be a principal ideal of R. In this article we show that the Bass numbers of the R-modules R/I ⁿ take constant values for large n.     

The additive subgroup generated by a polynomial

SupposeR is a prime ring with the centerZ and the extended centroidC. Letp(x ₁, …,x _n) be a polynomial overC in noncommuting variablesx ₁, …,x _n. LetI be a nonzero ideal ofR andA be the additive subgroup ofRC generated by {p(a ₁, …,a _n):a ₁, …,a _n ∈I}. Then eitherp(x ₁, …,x _n) is central valued orA contains a noncentral Lie ideal ofR except in the only one case whereR is the ring of all 2 × 2 matrices over GF(2), the integers mod 2.