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.     

Prime Ideals in Birational Extensions of Two-Dimensional Power Series Rings

In this article we consider simple birational extensions of power series rings in one variable over one-dimensional Noetherian domains having infinitely many maximal ideals. For these rings we describe the partially ordered sets that arise as prime spectra. We characterize the prime spectra in the case that the coefficient rings are countable Dedekind domains. The prime spectra over Dedekind domains are the same as the prime spectra that arise for simple birational extensions of power series rings over the integers and the same as the prime spectra of simple birational extensions of k[[x]][z], where k is a countable field and x and z are indeterminates.     

Power Series Rings Satisfying a Zero Divisor Property

In this note we continue to study zero divisors in power series rings and polynomial rings over general noncommutative rings. We first construct Armendariz rings which are not power-serieswise Armendariz, and find various properties of (power-serieswise) Armendariz rings. We show that for a semiprime power-serieswise Armendariz (so reduced) ring R with a.c.c. on annihilator ideals, R[[x]] (the power series ring with an indeterminate x over R) has finitely many minimal prime ideals, say B ₁,…,B _m , such that B ₁… B _m  = 0 and B _i  = A _i [[x]] for some minimal prime ideal A _i of R for all i, where A ₁,…,A _m are all minimal prime ideals of R. We also prove that the power-serieswise Armendarizness is preserved by the polynomial ring extension as the Armendarizness, and construct various types of (power-serieswise) Armendariz rings.     

On Prime Rings Satisfying a Certain Generalized Polynomial Identity

Abstract

Recently, Beidar, Fong and Bokut proved that a prime ring satisfies a nontrivial semigroup generalized identity if and only if its central closure is a primitive ring with nonzero socle and the associated skew field is a field. We shall extend their result to the case when generalized polynomial contains three summands.     

Polynomial Rings over Non-noetherian Power Series Rings

ＰｏｌｙｎｏｍｉａｌＲｉｎｇｓｏｖｅｒＮｏｎ┐ｎｏｅｔｈｅｒｉａｎＰｏｗｅｒＳｅｒｉｅｓＲｉｎｇｓＣｈｅｎＨｕａｎｙｉｎ（陈焕艮）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｕｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｓｈａ，４１００...     

Radicals of Skew Polynomial and Skew Laurent Polynomial Rings Over Skew Armendariz Rings

In this note we study radicals of skew polynomial ring R[x; α] and skew Laurent polynomial ring R[x, x ^?1; α], for a skew-Armendariz ring R. In particular, among the other results, we show that for an skew-Armendariz ring R, J(R[x; α]) = N ₀(R[x; α]) = Ni?_*(R)[x; α] and J(R[x, x ^?1; α]) = N ₀(R[x, x ^?1; α]) = Ni?_*(R)[x, x ^?1; α].     

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.     

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.     

Arnold's Theorem on the Strongly Finite Type (SFT) Property and the Dimension of Power Series Rings

We present a simplified proof of Arnold's Theorem on the SFT property and the dimension of power series rings.     

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.     

Derivations and Skew Polynomial Rings

Soient D un corps non nécessairement commutatif et L un sous-corps de D. On établit une condition nécessaire et suffisante pour que le groupe multiplicatif L de L soit d'indice fini dans son normalisateur N dans D. Lorsque la dimension à gauche [D : L]_g est un nombre premier, on précise le groupe N/L et la structure de D.     

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.     

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.     

Special Properties of Rings of Skew Generalized Power Series

Let R be a ring, S a strictly ordered monoid, and ω: S → End(R) a monoid homomorphism. In [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], Marks, Mazurek, and Ziembowski study the (S, ω)-Armendariz condition on R, a generalization of the standard Armendariz condition from polynomials to skew generalized power series. Following [30 Marks , G. , Mazurek , R. , Ziembowski , M. ( 2010 ). A unified approach to various generalizations of Armendariz rings . Bull. Aust. Math. Soc. 81 : 361 – 397 .[Crossref], [Web of Science ®] , [Google Scholar]], we provide various classes of nonreduced (S, ω)-Armendariz rings, and determine radicals of the skew generalized power series ring R[[S ^≤, ω]], in terms of those of an (S, ω)-Armendariz ring R. We also obtain some characterizations for a skew generalized power series ring to be local, semilocal, clean, exchange, uniquely clean, 2-primal, or symmetric.     

Catenarian Property of Mixed Polynomial and Power Series Rings Over a Pullback

Let T be an integral domain with a maximal ideal M, ?: T → K: = T/M the natural surjection, and R the pullback ?^?1(D), where D is a proper subring of K. We give necessary and sufficient conditions for the mixed extensions R[x ₁]]…[x _n ]] to be catenarian, where each [x _i ]] is fixed as either [x _i ] or [[x _i ]]. We also give a complete answer to the question of determining the field extensions k ? K such that the contraction map Spec(K[x ₁]]…[x _n ]]) → Spec(k[x ₁]]…[x _n ]]) is a homeomorphism. As an application, we characterize the globalized pseudo-valuation domains R such that R[x ₁]]…[x _n ]] is catenarian.     

Straight Rings

A (commutative integral) domain is called a straight domain if A ? B is a prime morphism for each overring B of A; a (commutative unital) ring A is called a straight ring if A/P is a straight domain for all P ∈ Spec(A). A domain is a straight ring if and only if it is a straight domain. The class of straight rings sits properly between the class of locally divided rings and the class of going-down rings. An example is given of a two-dimensional going-down domain that is not a straight domain. The classes of straight rings, of locally divided rings, and of going-down rings coincide within the universe of seminormal weak Baer rings (for instance, seminormal domains). The class of straight rings is stable under formation of homomorphic images, rings of fractions, and direct limits. The “straight domain" property passes between domains having the same prime spectrum. Straight domains are characterized within the universe of conducive domains. If A is a domain with a nonzero ideal I and quotient field K, characterizations are given for A ? (I: _K I) to be a prime morphism. If A is a domain and P ∈ Spec(A) such that A _P is a valuation domain, then the CPI-extension C(P) := A + PA _P is a straight domain if and only if A/P is a straight domain. If A is a going-down domain and P ∈ Spec(A), characterizations are given for A ? C(P) to be a prime morphism. Consequences include divided domain-like behavior of arbitrary straight domains.     

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

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

斜幂级数环的主拟Baer性

设R是环,并且R的左半中心幂等元都是中心幂等元, α是R的一个弱刚性自同态. 本文证明了斜幂级数环R[[x,α]]是右主拟Baer环当且仅当R是右主拟Baer环,并且R的任意可数幂等元集在I(R)中有广义交,其中I(R)是R的幂等元集.