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.     

P.I. rings and the localization at height 1 prime ideals

LetR be a prime P.I. ring, finitely generated over a central noetherian subring. LetP be a height one prime ideal inR. We establish a finite criteria for the left (right) Ore localizability ofP, providedP/P ² is left (right) finitely generated. This replaces the noetherian assumption onR appearing in [BW], using an entirely different technique.     

A topological prime quasi-radical

In this paper, we consider a topological prime quasi-radical μ(R), which is the intersection of closed prime ideals in a topological ring R. Examples are given that show that μ(R) is different from those topological analogs of the prime radical that have been studied earlier. The topological prime quasi-radicals of matrix rings and rings of polynomials are investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 11–22, 2004.     

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.     

Minimal differential identities in prime rings

It is known that a prime ring which satisfies a polynomial identity with derivations applied to the variables must satisfy a generalized polynomial identity, but not necessarily a polynomial identity. In this paper we determine the minimal identity with derivations which can be satisfied by a non-PI prime ringR. The main result shows, essentially, that this identity is the standard identityS ₃ withD applied to each variable, whereD = ad(y) fory inR, y ² = 0, andy of rank one in the central closure ofR.     

Minimal prime ideals of reduced rings

Let R be a reduced ring with Q its Martindale symmetric ring of quotients, and let B be the complete Boolean algebra of all idempotents in C, where C is the extended centroid of R. It is proved that every minimal prime ideal of R must be of the form mQ∩R for some maximal ideal m of B but the converse is in general not true. In addition, if R is centrally closed or has only finitely many minimal prime ideals, then the converse also holds. By applying the explicit expression, many properties of minimal prime ideals of reduced rings are realized more easily.     

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.     

Crossed products over prime rings

In this paper we obtain necessary and sufficient conditions for the crossed productR *G to be prime or semiprime under the assumption thatR is prime. The main techniques used are the Δ-methods which reduce these questions to the finite normal subgroups ofG and a study of theX-inner automorphisms ofR which enables us to handle these finite groups. In particular we show thatR *G is semiprime ifR has characteristic 0. Furthermore, ifR has characteristicp>0, thenR *G is semiprime if and only ifR *P is semiprime for all elementary abelianp-subgroupsP of Δ⁺(G) ∩G _inn.     

A going-up theorem for arbitrary chains of prime ideals

We prove that if an extension R ? T of commutative rings satisfies the going-up property (for instance, if T is an integral extension of R), then any increasing chain of prime ideals of R (indexed by an arbitrary linearly ordered set) is covered by some corresponding chain of prime ideals of T. As a corollary, we recover the recent result of Kang and Oh that any such chain of prime ideals of an integral domain D is covered by a corresponding chain in some valuation overring of D.     

Localization of tight closure in two-dimensional rings

It is shown that tight closure commutes with localization in any two-dimensional ringR of prime characteristic if eitherR is a Nagata ring orR possesses a weak test element. Moreover, it is proved that tight closure commutes with localization at height one prime ideals in any ring of prime characteristic.     

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.     

On prime submodules and primary decomposition

We characterize prime submodules of R × R for a principal ideal domain R and investigate the primary decomposition of any submodule into primary submodules of R × R.     

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.     

Group rings which are G-Dedekind prime rings

Let R be a commutative Noetherian domain and A be a polycyclic-by-finite group. In this paper, it is determined, in terms of properties of R and A when the group ring R[A] is a G-Dedekind prime ring.     

Lifting trees of prime ideals to bezout extension domains

We prove that if an extension R ? T of commutative rings satisfies the going-up property, then any tree of prime ideals of R with at most two branches or in which each branch has finite length is covered by some corresponding tree of prime ideals of T. In particular, if R ? T is an integral extension and R is Noetherian, then each tree in Spec(R) can be covered by a tree in Spec(T). We also prove that if R is an integral domain, then each tree T in Spec(/2) can be covered by a tree in Spec(T) for some Bezout domain T containing R. If T has only finitely many branches, it can further be arranged that the Bezout domain T be an overring of R. However, in general, it cannot be arranged that T be covered from a Prüfer overring of R, thus answering negatively a question of D D. Anderson.     

Krull Dimension in Power Series Ring Over an Almost Pseudo-Valuation Domain

Let R be an integral domain. We say that R is a star-domain if R has at least a height one prime ideal and if for each height one prime ideal P of R, R satisfies the acc on P-principal ideals (i.e., ideals of the form aP, a ∈ R). We prove that if R is an APVD with nonzero finite Krull dimension, then the power series ring R[[X]] has finite Krull dimension if and only if R is a residually star-domain (i.e., for each nonmaximal prime ideal P of R, R/P is a star-domain) if and only if R[[X]] is catenarian.     

Symmetric bi-derivations on prime and semi-prime rings

Summary LetR be a ring. A bi-additive symmetric mappingD(.,.): R × R R is called a symmetric bi-derivation if, for any fixedy R, a mappingx D(x, y) is a derivation. The purpose of this paper is to prove some results concerning symmetric bi-derivations on prime and semi-prime rings. We prove that the existence of a nonzero symmetric bi-derivationD(.,.): R × R R, whereR is a prime ring of characteristic not two, with the propertyD(x, x)x = xD(x, x), x R, forcesR to be commutative. A theorem in the spirit of a classical result first proved by E. Posner, which states that, ifR is a prime ring of characteristic not two andD ₁,D ₂ are nonzero derivations onR, then the mappingx D ₁(D ₂ (x)) cannot be a derivation, is also presented.     

On some equations in prime rings

The main purpose of this paper is to prove the following result. Let R be a prime ring of characteristic different from two and let T : R → R be an additive mapping satisfying the relation T(x ³) = T(x)x ² − xT(x)x + x ² T(x) for all x ∈ R. In this case T is of the form 4T(x) = qx + xq, where q is some fixed element from the symmetric Martindale ring of quotients. This result makes it possible to solve some functional equations in prime rings with involution which are related to bicircular projections.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

Two results concerning symmetric bi-derivations on prime rings

Summary LetR be a ring. A bi-additive symmetric mappingD(.,.): R × R R is called a symmetric bi-derivation if, for any fixedy R, the mappingx D(x, y) is a derivation. The purpose of this paper is to prove two results concerning symmetric bi-derivations on prime rings. The first result states that, ifD ₁ andD ₂ are symmetric bi-derivations on a prime ring of characteristic different from two and three such thatD ₁(x, x)D ₂(x,x) = 0 holds for allx R, then eitherD ₁ = 0 orD ₂ = 0. The second result proves that the existence of a nonzero symmetric bi-derivation on a prime ring of characteristic different from two and three, such that [[D(x, x),x],x] Z(R) holds for allx R, whereZ(R) denotes the center ofR, forcesR to be commutative.