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.     

Derivation of prime rings of positive characteristic

Let L be a finite-dimensional differential Lie algebra acting on a prime ring R and let the inner part {ie49-1} of L be quasi-Frobenius. Then a constant ring R^L is prime iff {ie49-2} is a differentially simple ring. A ring of constants is semiprime iff {ie49-3} is a direct sum of differentially simple rings, and the prime dimension of a constant ring is equal to the number of differentially simple summands {ie49-4}. The Galois closure of L is obtained from L by adding all the inner derivations of a symmetric Martindale quotient ring which agree with elements from {ie49-5}. Supported by RFFR grant No. 93-01-16171 and by ISF grant RPS000-RPS300. Translated fromAlgebra i Logika, Vol. 35, No. 1, pp. 88–104, January–February, 1996.     

Weakly regular rings with ACC on annihilators and maximality of strongly prime ideals of weakly regular rings

Ramamurthi proved that weak regularity is equivalent to regularity and biregularity for left Artinian rings. We observe this result under a generalized condition. For a ring R satisfying the ACC on right annihilators, we actually prove that if R is left weakly regular then R is biregular, and that R is left weakly regular if and only if R is a direct sum of a finite number of simple rings. Next we study maximality of strongly prime ideals, showing that a reduced ring R is weakly regular if and only if R is left weakly regular if and only if R is left weakly π-regular if and only if every strongly prime ideal of R is maximal.     

On strongly prime rings and ideals

Strongly prime rings may be defined as prime rings with simple central closure. This paper is concerned with further investigation of such rings. Various characterizations, particularly in terms of symmetric zero divisors, are given. We prove that the central closure of a strongly (semi-)prime ring may be obtained by a certain symmetric perfect one sided localization. Complements of strongly prime ideals are described in terms of strongly multiplicative sets of rings. Moreover, some relations between a ring and its multiplication ring are examined.     

A topological characterization of the goldman prime spectrum of a commutative ring

A prime ideal p of a commutative ring R is said to be a Goldman ideal (or a G-ideal) if there exists a maximal ideal M of the polynomial ring R[X] such that p = M ∩ R. A topological space is said to be goldspectral if it is homeomorphic to the space Gold(R) of G-ideals of R (Gold(R) is considered as a subspace of the prime spectrum Spec(R) equipped with the Zariski topology). We give here a topological characterization of goldspectral spaces.     

Concerning P-frames, essential P-frames, and strongly zero-dimensional frames

We give characterizations of P-frames, essential P-frames and strongly zero-dimensional frames in terms of ring-theoretic properties of the ring of continuous real-valued functions on a frame. We define the m-topology on the ring RL{\mathcal{R}L} and show that if L belongs to a certain class of frames properly containing the spatial ones, then L is a P-frame iff every idealof RL{\mathcal{R}L} is m-closed. We define essential P-frames (analogously to their spatial antecedents) and show that L is a proper essential P frame iff all the nonmaximal prime ideals of RL{\mathcal{R}L} are contained in one maximal ideal. Further, we show that L is strongly zero-dimensional iff RL{\mathcal{R}L} is a clean ring, iff certain types of ideals of RL{\mathcal{R}L} are generated by idempotents.     

On minimal strongly prime ideals

In this paper we give some characterizations of a ring Rwhose unique maximal nil ideal N _r (R) coincides with the set of all its nilpotent elements N(R) by using its minimal strongly prime ideals.     

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.     

Strongly Prime Submodules

Let R be a commutative ring with identity. For an R-module M, the notion of strongly prime submodule of M is defined. It is shown that this notion of prime submodule inherits most of the essential properties of the usual notion of prime ideal. In particular, the Generalized Principal Ideal Theorem is extended to modules.     

On the Strong (A)-Rings of Mahdou and Hassani

A (commutative unital) ring R with only finitely many minimal prime ideals (for instance, a Noetherian ring) is reduced and a strong (A)-ring if and only if R is an integral domain. Thus, the smallest reduced ring which has Property A but is not a strong (A)-ring is ${\mathbb{Z}_{2} \times \mathbb{Z}_{2}}$ . A Noetherian ring R is a strong (A)-ring if and only if Ass _R (R) has a unique maximal element.     

Prime Lie Rings of Derivations of Commutative Rings

Let R be a 2-torsion free commutative ring with identity, and δ a nonzero derivation of R such that R is δ-prime. Then Rδ is a prime Lie ring and any nonzero ideal of Rδ contains an ideal of the form Jδ where J is a nonzero δ-ideal of R.     

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.     

On weakly prime radical of modules and semi-compatible modules

Summary Let M be a left R-module. Then a proper submodule P of M is called weakly prime submodule if for any ideals A and B of R and any submodule N of M such that ABN ⊆ P, we have AN ⊆ P or BN ⊆ P. We define weakly prime radicals of modules and show that for Ore domains, the study of weakly prime radicals of general modules reduces to that of torsion modules. We determine the weakly prime radical of any module over a commutative domain R with dim (R) ≦ 1. Also, we show that over a commutative domain R with dim (R) ≦ 1, every semiprime submodule of any module is an intersection of weakly prime submodules. Localization of a module over a commutative ring preserves the weakly prime property. An R-module M is called semi-compatible if every weakly prime submodule of M is an intersection of prime submodules. Also, a ring R is called semi-compatible if every R-module is semi-compatible. It is shown that any projective module over a commutative ring is semi-compatible and that a commutative Noetherian ring R is semi-compatible if and only if for every prime ideal B of R, the ring R/\B is a Dedekind domain. Finally, we show that if R is a UFD such that the free R-module R⊕ R is a semi-compatible module, then R is a Bezout domain.     

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.     

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 divided commutative rings

Let R be a commutative ring with identity having total quotient ring T. A prime ideal P of R is called divided if P is comparable to every principal ideal of R. If every prime ideal of R is divided, then R is called a divided ring. If P is a nonprincipal divided prime, then P^-1 = { x ? T : xP ? P} is a ring. We show that if R is an atomic domain and divided, then the Krull dimension of R ≤ 1. Also, we show that if a finitely generated prime ideal containing a nonzerodivisor of a ring R is divided, then it is maximal and R is quasilocal.     

Local cohomology modules of a smooth \mathbb{Z}-algebra have finitely many associated primes

Let R be a commutative Noetherian ring that is a smooth \(\mathbb {Z}\) -algebra. For each ideal \(\mathfrak {a}\) of R and integer k, we prove that the local cohomology module \(H^{k}_{\mathfrak {a}}(R)\) has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.     

Different prime <Emphasis Type="Italic">N</Emphasis>-ideals and IFP <Emphasis Type="Italic">N</Emphasis>-Ideals

We provide some characterizations of completely prime (completely semiprime) and 3-prime (3-semiprime) N-groups. The relationship between a 3-prime (completely prime) N-ideal P of an N-group Γ and the ideal (P: Γ) of the near-ring N is investigated. Moreover, the notion of IFP N-ideal is defined. We prove that the concept of IFP N-ideal occurs naturally where N is a left permutable (left self distributive, subcommutative) near-ring and Γ a monogenic N-group. Also, we obtain some relationships between an IFP N-ideal P of an N-group Γ and the ideal (P: Γ) of the near-ring N.     

Minimal prime ideals of skew polynomial rings and near pseudo-valuation rings

Let R be a ring. We recall that R is called a near pseudo-valuation ring if every minimal prime ideal of R is strongly prime. Let now σ be an automorphism of R and δ a σ-derivation of R. Then R is said to be an almost δ-divided ring if every minimal prime ideal of R is δ-divided. Let R be a Noetherian ring which is also an algebra over ? (? is the field of rational numbers). Let σ be an automorphism of R such that R is a σ(*)-ring and δ a σ-derivation of R such that σ(δ(a)) = δ(σ(a)) for all a ∈ R. Further, if for any strongly prime ideal U of R with σ(U) = U and δ(U) ? δ, U[x; σ, δ] is a strongly prime ideal of R[x; σ, δ], then we prove the following:

1. R is a near pseudo valuation ring if and only if the Ore extension R[x; σ, δ] is a near pseudo valuation ring.
2. R is an almost δ-divided ring if and only if R[x; σ, δ] is an almost δ-divided ring.

     

On chained overrings of pseudo-valuation rings

A prime ideal P of a commutative ring R with identity is called strongly prime if aP and bR are comparable for every a, b in R. If every prime ideal of R is strongly prime, then R is called a pseudo-valuation ring. It is well-known that a (valuation) chained overring of a Prufer domain R is of the form R_P for some prime ideal P of R.In this paper, we show that this statement is valid for a certain class of chained overrings of a pseudo-valuation ring.