Efficient Generation of Prime Ideals in Polynomial Rings up to Radical

We call an ideal I of a ring R radically perfect if among all ideals 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 ring and R[X] be the polynomial ring over R. We prove that if R is a strong S-domain of finite Krull dimension and if each nonzero element of R is contained in finitely many maximal ideals of R, then each maximal ideal of R[X] of maximal height is the J _max-radical of an ideal generated by two elements. We also show that if R is a Prüfer domain of finite Krull dimension with coprimely packed set of maximal ideals, then for each maximal ideal M of R, the prime ideal MR[X] of R[X] is radically perfect if and only if R is of dimension one and each maximal ideal of R is the radical of a principal ideal. We then prove that the above conditions on the Prüfer domain R also imply that a power of each finitely generated maximal ideal of R is principal. This result naturally raises the question whether the same conditions on R imply that the Picard group of R is torsion, and we prove this to be so when either R is an almost Dedekind domain or a Prüfer domain with an extra condition imposed on it.     

Integrally Closed Domains with Only Finitely Many Star Operations

We prove that an integrally closed domain R admits only finitely many star operations if and only if R satisfies each of the following conditions: (1) R is a Prüfer domain with finite character, (2) all but finitely many maximal ideals of R are divisorial, (3) only finitely many maximal ideals of R contain a nonzero prime ideal that is contained in some other maximal ideal of R, and (4) if P ≠ (0) is the largest prime ideal contained in a (necessarily finite) collection of maximal ideals of R, then the prime spectrum of R/P is finite.     

A Classification of Commutative Reduced Filial Rings

A ring R is said to be filial when for every I, J, if I is an ideal of J and J is an ideal of R then I is an ideal of R. The classification of commutative reduced filial rings is given.     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

d-ideals,f d-ideals and prime ideals

Abstract

Let R be a commutative ring. An ideal I of R is called a d-ideal (f d-ideal) provided that for each a ∈ I (finite subset F of I) and b ∈ R, Ann(a) ? Ann(b) (Ann(F) ? Ann(b)) implies that b ∈ I. It is shown that, the class of z⁰-ideals (hence all sz⁰-ideals), maximal ideals in an Artinian or in a Kasch ring, annihilator ideals, and minimal prime ideals over a d-ideal are some distinguished classes of d-ideals. Furthermore, we introduce the class of f d-ideals as a subclass of d-ideals in a commutative ring R. In this regard, it is proved that the ring R is a classical ring with property (A) if and only if every maximal ideal of R is an f d-ideal. The necessary and sufficient condition for which every prime f d-ideal of a ring R being a maximal or a minimal prime ideal is given. Moreover, the rings for which their prime d-ideals are z⁰-ideals are characterized. Finally, we prove that every prime f d-ideal of a ring R is a minimal prime ideal if and only if for each a ∈ R there exists a finitely generated ideal , for some n ∈ ? such that Ann(a, I) = 0. As a consequence, every prime f d-ideal in a reduced ring R is a minimal prime ideal if and only if X= Min(R) is a compact space.     

S-Noetherian Properties of Composite Ring Extensions

Let R be a commutative ring with identity and S a multiplicative subset of R. We say that R is an S-Noetherian ring if for each ideal I of R, there exist an s ∈ S and a finitely generated ideal J of R such that sI ? J ? I. In this article, we study transfers of S-Noetherian property to the composite semigroup ring and the composite generalized power series ring.     

Local bijective gabriel correspondence and relative fully boundedness in τ-noetherian rings

Let Rbe a right τ-noetherian ring, where τ denotes a hereditary torsion theory on the category of right R-modules. It is shown that every essential τ-closed right ideal of every prime homomorphic image of Rcontains a nonzero two-sided ideal if and only if any two τ-torsionfree injective indecomposable right R-modules with identical associated prime ideals are isomorphic, and for any τ-closed prime ideal Pthe annhilator of a finitely generated P-tame right R-module cannot be a prime ideal properly contained in P. Furthermore, if in the last condition finitely generated is replaced by r-noetherian, then all τ-noetherian τ-torsionfree modules turn out to be finitely annihilated.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

Ideals in tensor powers of the enveloping algebra u(sl 2)

Let U = U(_sl₂)^?n be the tensor power of n copies of the enveloping algebra U(sl ₂) over an arbitrary field K of characteristic zero. In this paper we list the prime ideals of U by generators and classify them by height. If Z is the center of U and J is a prime ideal of Z, there are exactly 2₅ prime ideals I of U with I ∩ Z = J, where 0 ≤ s = s(J) ≤ n is an integer. Indeed, with respect to inclusion, they form a lattice isornorphic to the lattice of subsets of a set. When J is a maximal ideal of Z, there are only finitely many two-sided ideals of U containing J, They are presented by generators and their lattice is described, In particular, for each such J there exists a unique maximal ideal of U containing J and a unique ideal of U minimal with respect to the property that it properly contains JU. Similar results are given in the case when U is the tensor product of infinitely many copies of U(sl ₂).     

Quotient rings of finitely generated P.I. Algebras

This paper generalizes properties which hold for localization of Azumaya algebras, in two directions. Firstly, fully left bounded left Noetherian rings, especially finitely generated Noetherian algebras, are considered. It is noted that for such rings every idempotent kernel functor a is symmetric, i.e. the filter T(σ) of a-dense left ideals has a basis of a-dense ideals. A prime ideal P of a f.l.b.l.N. ring R is localizable if and only if it is the intersection of the P-critical left ideals. In case R is a finitely generated algebra over its (Noetherian) center C, we apply the technique of “descent” of kernel functors. If a is a symmetric kernel functor such that R(A n c) S T(σ) for every A G T(σ) and such that a has property (T) then there is a kernel functor a’ on C-modules such that Qσ (R) ?Q? ,(R). If P is a prime ideal of R then σ_- descends to C if and only if P is localizable. Secondly, a class of rings is described in terms of the Zariski topology on Spec. The imposed condition is weaker than maximal centrallity and does not imply fully left boundedness either, but the good properties of Spec R in case R is an Azumaya algebra are preserved.     

Gelfand Factor Rings and Weak Zariski Topologies

Let R be any ring with identity. Let N(R) (resp. J(R)) denote the prime radical (resp. Jacobson radical) of R, and let Spec _r (R) (resp. Spec _l (R), Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all left prime ideals, all maximal right ideals, all right primitive ideals) of R. In this article, we study the relationships among various ring-theoretic properties and topological conditions on Spec _r (R) (with weak Zariski topology). The following results are obtained: (1) R/N(R) is a Gelfand ring if and only if Spec _r (R) is a normal space if and only if Spec _l (R) is a normal space; (2) R/J(R) is a Gelfand ring if and only if every right prime ideal containing J(R) is contained in a unique maximal right ideal.     

On finiteness of multiplication modules

Our main aim in this note, is a further generalization of a result due to D. D. Anderson, i.e., it is shown that if R is a commutative ring, and M a multiplication R-module, such that every prime ideal minimal over Ann (M) is finitely generated, then M contains only a finite number of minimal prime submodules. This immediately yields that if P is a projective ideal of R, such that every prime ideal minimal over Ann (P) is finitely generated, then P is finitely generated. Furthermore, it is established that if M is a multiplication R-module in which every minimal prime submodule is finitely generated, then R contains only a finite number of prime ideals minimal over Ann (M).      

Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

The Rees Valuations of Complete Ideals in a Regular Local Ring

Let I be a complete m-primary ideal of a regular local ring (R, m) of dimension d ≥ 2. In the case of dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of the simple complete factors of I has a unique Rees valuation. In the higher dimensional case, a simple complete ideal of R often has more than one Rees valuation, and a complete m-primary ideal I may have finitely many or infinitely many base points. For the ideals having finitely many base points Lipman proves a unique factorization involving special *-simple complete ideals and possibly negative exponents of the factors. Let T be an infinitely near point to R with dim R = dim T and R/m = T/m _T . We prove that the special *-simple complete ideal P _RT has a unique Rees valuation if and only if either dim R = 2 or there is no change of direction in the unique finite sequence of local quadratic transformations from R to T. We also examine conditions for a complete ideal to be projectively full.     

Co-generators for algebras over fields and commutative applications

Let R be an algebra over a field k. We say that an ideal I of R is co-generated by a set F of k-linear functionals R → k if I is the largest ideal of R that is contained in the kernels of all the functionals in F;. We will state sufficient conditions for an ideal of a free k-algebra to be co-generated by finitely many functionals. We then get as a corollary that every ideal of the polynomial algebra over a field in finitely many variables is finitely co-generated. This is a known result, but the way we construct the co-generators in the general case, leads to that we get a tight bound on how many co-generators are needed for such ideals.     

Strongly irreducible ideals of a commutative ring

An ideal I of a ring R is said to be strongly irreducible if for ideals J and K of R, the inclusion J∩K⊆I implies that either J⊆I or K⊆I. The relationship among the families of irreducible ideals, strongly irreducible ideals, and prime ideals of a commutative ring R is considered, and a characterization is given of the Noetherian rings which contain a non-prime strongly irreducible ideal.     

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

On krull overrings of a marot ring whose regular ideals are finitely generated ∗

Let R be a Marot ring whose regular ideals are finitely generated and D a Krull overring of R. In this paper, we show that if reg-dim R≥ 2, then each regular ideal of D is finitely generated and reg-dim D≥ 2. In particular, each regular ideal of a Krull overring of a Noetherijan ring R is finitely generated provided that (regular) Krull-dimension R≥ 2. This is a generalization of the well-known fact that a Krull overring of a Noetherian domain with Krull-dimension ≥ 2 is also a Noetherian domain with Krull-dimension ≥ 2.     

MULTIPLICATIVELY CLOSED SETS OF IDEALS AND RESIDUAL DIVISION

Let R be a ring (commutative with identity), let Γ be a multiplicatively closed set of finitely generated nonzero ideals of R, for an ideal I of R let I _Γ = ∪ {I : G; G ∈ Γ}, and for an R-algebra A such that GA ≠ (0) for all G ∈ Γ let A ^Γ = ∪ {A : _T GA; G ∈ Γ}, where T is the total quotient ring of A. Then I _Γ is an ideal in R, I → I _Γ is a semi-prime operation (on the set I of ideals I of R) that satisfies a cancellation law, and it is a prime operation on I if and only if R = R ^Γ. Also, A ^Γ is an R-algebra and A → A ^Γ is a closure operation on any set A = {A; A is an R-algebra, R ? A, and if C is a ring between R and A, then regular elements in C remain regular in A}. Finally, several results are proved concerning relations between the ideals I _Γ and (IA)_ΓA and between the R-algebras R ^Γ and A ^Γ.