Prime T-Ideals in Polynomial and Power Series Rings Over a Pseudo-Valuation Domain

Let R be an m-dimensional pseudo-valuation domain with residue field k, let V be the associated valuation domain with residue field K, and let k ₀ be the maximal separable extension of k in K. We compute the t-dimension of polynomial and power series rings over R. It is easy to see that t-dim R[x ₁,…, x _n ] = 2 if m = 1 and K is transcendental over k, but equals m otherwise, and that t-dim R[[x ₁,…, x _n ]] = ∞ if R is a nonSFT-ring. When R is an SFT-ring, we also show that: (1) t-dim R[[x]] = m; (2) t-dim R[[x ₁,…, x _n ]] = 2m ? 1, if n ≥ 2, K has finite exponent over k ₀, and [k ₀: k] < ∞; (3) t-dim R[[x ₁,…, x _n ]] = 2m, otherwise.     

Partial Skew Polynomial Rings: Prime and Maximal Ideals

In this article, we consider rings R with a partial action α of a cyclic infinite group G on R. We define partial skew polynomial rings as natural subrings of the partial skew group ring R ?_α G. We study prime and maximal ideals of a partial skew polynomial ring when the given partial action α has an enveloping action.     

环中的粗素理想与模糊粗素理想

首次提出了环中的粗素理想与模糊粗素理想的概念，并讨论了它的性质及同态问题。     

Zero-Divisor Graphs of Polynomials and Power Series Over Commutative Rings

ABSTRACT

We recall several results about zero-divisor graphs of commutative rings. Then we examine the preservation of diameter and girth of the zero-divisor graph under extension to polynomial and power series rings.     

Power-Centralizing Automorphisms of Lie Ideals in Prime Rings

Let R be a prime ring with center Z, L a noncentral Lie ideal of R, and σ a nontrivial automorphism of R such that [u ^σ,u] ⁿ  ∈ Z for all u ∈ L. If either char(R) > n or char(R) = 0, then R satisfies s ₄, the standard identity in 4 variables.     

Finite Normalizing Extensions of FSN Rings

Fully semiprimary Noetherian bimodules and their bimodule extensions are examined. In the presence of incomparability of the link graph of prime ideals, certain bimodule extensions preserve the fully semiprimary property. In particular, a finite normalizing extension ring of a fully semiprimary Noetherian ring is also fully semiprimary as a bimodule over the base ring. It is shown that the extension ring is itself a fully semiprimary ring. An application to crossed products over finite groups is given.     

Power Values of Derivations with Annihilator Conditions on Lie Ideals in Prime Rings

Let R be a prime ring of char R ≠ 2, d a nonzero derivation of R, U a noncentral Lie ideal of R, and a ∈ R. If au ^{n ₁} d(u) ^{n ₂} u ^{n ₃} d(u) ^{n ₄} u ^{n ₅} … d(u) ^{n _k?1} u ^{n _k}  = 0 for all u ∈ U, where n ₁, n ₂,…,n _k are fixed non-negative integers not all zero, then a = 0 and if a(u ^s d(u)u ^t ) ⁿ  ∈ Z(R) for all u ∈ U, where s ≥ 0, t ≥ 0, n ≥ 1 are some fixed integers, then either a = 0 or R satisfies S ₄, the standard identity in four variables.     

Quotient Rings and f-Radical Extensions of Rings

By testing quotient rings, we give another viewpoint concerning the relationship between PI and Goldie properties, etc., and f-radical extensions of rings. The main result proved here is as follows: Let R be a prime algebra without nonzero nil right ideals. Suppose that R is f-radical over a subalgebra A, where f(X ₁,…, X _t ) is a multilinear polynomial, not an identity for p × p matrices in case char R = p > 0. Suppose that f is not power-central valued in R. Then the maximal ring of right (left) quotients of A coincides with that of R. Moreover, R is right Goldie if and only if A is.     

Closed Prime Ideals in Algebras with Semiprime Multiplication Algebra

Let A be an algebra whose multiplication algebra M(A) is semiprime. We prove that, except in an exceptional case, the proper closed prime ideals of A are the maximal closed ideals of A, for the closure operations π and ?. In fact, these sets agree for both closures. The same can be said in M(A) for the closure operations π and ?′. Moreover, we establish the relationships between the proper closed prime ideals of A and the ones of the algebras M(A),U and A/U, for a given ideal U of A.     

Adjacent Ideals to Simple Complete Ideals in Two-Dimensional Regular Local Rings

Let R be a two-dimensional regular local ring with infinite residue field, and ? be a simple complete residually rational ideal of R of order r which determines R _h . Let 𝒯 be the set of quadratic transforms T of R _h with [T: R _h ] = 1, and 𝒮 the set of simple complete ideals of R of order r which are adjacent to ? from below. If R _h is free respectively a satellite, then there exist T* ∈ 𝒯 respectively T*, T** ∈ 𝒯 and a bijective map between the set 𝒮 and the set 𝒯?{T*} respectively 𝒯?{T*, T**}.     

On Jordan Left Derivations of Lie Ideals in Prime Rings

Let R be a prime ring with characteristic different from two and U be a Lie ideal of R such that u² U for all u U. In the present paper it is shown that if d is an additive mappings of R into itself satisfying d(u²) = 2ud(u), for all u U, then either U Z(R) or d(U) = (0).1991 Mathematics Subject Classification 16W25 16N60     

Rings of Formal Power Series in an Infinite Set of Indeterminates

Let α be an infinite cardinal number, Λ be an index set of cardinality > α, and {X _λ}_λ∈Λ be a set of indeterminates over an integral domain D. It is well known that there are three ways of defining the ring of formal power series in {X _λ}_λ∈Λ over D, say, D[[{X _λ}]] _i for i = 1, 2, 3. In this paper, we let D[[{X _λ}]]_α = ∪ {D[[{X _λ}_λ∈Γ]]₃ | Γ ? Λ and |Γ| ≤ α}, and we then show that D[[{X _λ}]]_α is an integral domain such that D[[{X _λ}]]₂ ? D[[{X _λ}]]_α ? D[[{X _λ}]]₃. We also prove that (1) D is a Krull domain if and only if D[[{X _λ}]]_α is a Krull domain and (2) D[[{X _λ}]]_α is a unique factorization domain (UFD) (resp., π-domain) if and only if D[[X ₁,…, X _n ]] is a UFD (resp., π-domain) for every integer n ≥ 1.     

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.     

Goldie Ranks of Skew Power Series Rings of Automorphic Type

Let A be a semprime, right noetherian ring equipped with an automorphism α, and let B: = A[[y; α]] denote the corresponding skew power series ring (which is also semiprime and right noetherian). We prove that the Goldie ranks of A and B are equal. We also record applications to induced ideals.     

The Ascending Chain Condition for Principal Ideals of Rings of Generalized Power Series

Abstract

Let (S, ≤) be a strictly totally ordered monoid and R a domain. It is shown in this paper that [[R ^S,≤]], the ring of generalized power series with coefficients in R and exponents in S, satisfies the ascending chain condition for principal ideals if and only if the ring R and the monoid S satisfy the ascending chain condition for principal ideals of R, and of S, respectively.     

$2$-Primal环的Ore扩张中的极小素理想和单位元

Let R be an(α,δ)-compatible ring.It is proved that R is a 2-primal ring if and only if for every minimal prime ideal P in R[x;α,δ] there exists a minimal prime ideal P in R such that P = P [x;α,δ],and that f(x) ∈ R[x;α,δ] is a unit if and only if its constant term is a unit and other coefficients are nilpotent.     

A Note on Lie Automorphisms,Subrings, and Lie Ideals of Prime Rings

ABSTRACT

Let R be a prime ring of characteristic not 2 or 3 and L a noncentral Lie ideal of R. Suppose that σ is a Lie automorphism on L such that σ² ? 1 is noncentral on L, where 1 is the identity map, then the subring of R generated by the set {[x ^σ, x] | x ∈ L} contains a nonzero ideal of R.     

On Lie Automorphisms,Additive Subgroups,and Lie Ideals of Prime Rings

Abstract

Let R be a prime ring of characteristic not equal to 2 or 3 and let L be a noncentral Lie ideal of R. Suppose that σ is a Lie automorphism on L such that σ⁴ is not the identity map. Then the additive subgroup generated by the set {[x ^σ, x] ∣ x ∈ L} contains a noncentral Lie ideal of R.