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.     

Krull Dimension and Classical Krull Dimension of Modules

Using the concept of prime submodule defined by Raggi et al. in [16 Raggi , F. , Rios , J. , Rincón , H. , Fernández-Alonso , R. , Signoret , C. ( 2005 ). Prime and irreducible preradicals . J. Algebra Appl. 4 ( 4 ): 451 – 466 .[Crossref], [Web of Science ®] , [Google Scholar]], for M ∈ R-Mod we define the concept of classical Krull dimension relative to a hereditary torsion theory τ ∈M-tors. We prove that if M is progenerator in σ[M], τ ∈M-tors such that M has τ-Krull dimension then cl.K _τdim (M) ≤ k _τ(M). Also we show that if M is noetherian, τ-fully bounded, progenerator of σ[M], and M ∈ 𝔽_τ, then cl·K _τdim (M) = k _τ(M).     

Transfer of Krull Dimension,Lying-Over,and Going-Down to the Fixed Ring

Let G be a group acting via ring automorphisms on a commutative unital ring R. If Spec(R) has no infinite antichains and either R a domain or G finitely generated, then R ^G  ? R has the lying-over property. If R is semiquasilocal and dim(R) = 0, then dim(R ^G ) = 0. If 1 ≤ d ≤ ∞, new examples are given such that d = dim(R) ≠ dim(R ^G ) < ∞. If G is locally finite on R, then R ^G  ? R satisfies universally going-down. Consequently, if G is locally finite, the S-domain, strong S-domain and universally strong S-domain properties descend from R to R ^G . If R is a domain, then G is locally finite on R ? R is integral over R ^G . One cannot delete the “domain” hypothesis.     

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.     

On Krull and Valuative Dimension of Tensor Products of Algebras

This article is concerned with the dimension theory of tensor products of algebras over a field k. In fact, we provide formulas for the Krull and valuative dimension of A? _k B when A and B are k-algebras such that the polynomial ring A[n] is an AF-domain for some positive integer n. Also, we compute dim _v (A? _k B) in the case where A ? B.     

Krull property of generalized power series rings

Let D be an integral domain and let $(S,\le )$ be a torsion-free, ≤-cancellative, subtotally ordered monoid. We show that the generalized power series ring $?D^{S,\le }?$ is a Krull domain if and only if D is a Krull domain and S is a Krull monoid.     

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.     

On the Krull Dimension of Rings of Transfer Functions

In this article, we prove that the Krull dimension of several commonly used classes of transfer functions of infinite dimensional linear control systems is infinite. On the other hand, we also show that the weak Krull dimension of the Hardy algebra , the disk algebra and the Wiener algebra is equal to 1. A. Sasane is supported by the Nuffield Grant NAL/32420.     

Rings Over which the Krull Dimension and the Noetherian Dimension of All Modules Coincide

We denote by 𝒜(R) the class of all Artinian R-modules and by 𝒩(R) the class of all Noetherian R-modules. It is shown that 𝒜(R) ? 𝒩(R) (𝒩(R) ? 𝒜(R)) if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)), for all centrally prime ideals P (i.e., ab ∈ P, a or b in the center of R, then a ∈ P or b ∈ P). Equivalently, if and only if 𝒜(R/P) ? 𝒩(R/P) (𝒩(R/P) ? 𝒜(R/P)) for all normal prime ideals P of R (i.e., ab ∈ P, a, b normalize R, then a ∈ P or b ∈ P). We observe that finitely embedded modules and Artinian modules coincide over Noetherian duo rings. Consequently, 𝒜(R) ? 𝒩(R) implies that 𝒩(R) = 𝒜(R), where R is a duo ring. For a ring R, we prove that 𝒩(R) = 𝒜(R) if and only if the coincidence in the title occurs. Finally, if Q is the quotient field of a discrete valuation domain R, it is shown that Q is the only R-module which is both α-atomic and β-critical for some ordinals α,β ≥ 1 and in fact α = β = 1.     

Some Results on Injective Modules Over a Ring of Krull Type

ABSTRACT

In this article, we study injective modules over a ring of Krull type A. Our main result is E(K/A)? ?_{ω∈Ω ^t} E(K/?_ω), where Ω ^t is a thin defining family of valuations of A. We also characterize the rings of Krull type A such that TE(K/A) is a cogenerator of the quotient category Mod(A)/?₀, where ?₀ is the thick subcategory of the modules with trivial maps into the codivisorial modules.     

On the distribution of prime divisors in Krull monoid algebras

In the present work, we prove that every class of the divisor class group of a Krull monoid algebra contains infinitely many prime divisors. Several attempts to this result have been made in the literature so far, unfortunately with open gaps. We present a complete proof of this fact.     

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.     

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.     

Valuation and Pseudovaluation Subrings of an Integral Domain

Let R, S be two rings. We say that R is a valuation subring of S (R is a VD in S, for short) if R is a proper subring of S and whenever x ∈ S, we have x ∈ R or x ^?1 ∈ R. We denote by Nu(R) the set of all nonunit elements of a ring R. We say that R is a pseudovaluation subring of S (R is a PV in S, for short) if R is a proper subring of S and x ^?1 a ∈ R, for each x ∈ S?R, a ∈ Nu(R). This article deals with the study of valuation subrings and pseudovaluation subrings of a ring; interactions between the two notions are also given. Let R be a PV in S; the Krull dimension of the polynomial ring on n indetrminates over R is also computed.     

Laurent Series Ring over Semiperfect Ring Can Not be Semiperfect

One of the main results of the article [2 Sonin , K. I. ( 1996 ). Semiprime and semiperfect rings of Laurent series . Mathematical Notes 60 : 222 – 226 .[Crossref], [Web of Science ®] , [Google Scholar]] says that, if a ring R is semiperfect and ? is an authomorphism of R, then the skew Laurent series ring R((x, ?)) is semiperfect. We will show that the above statement is not true. More precisely, we will show that, if the Laurent series ring R((x)) is semilocal, then R is semiperfect with nil Jacobson radical.     

Generalized Krull Semigroup Rings

In this article, we give a complete characterization of when the (composite) semigroup ring is a generalized Krull domain.     

The Hilbert Series of the Ring Associated to an Almost Alternating Matrix

We give an explicit formula for the Hilbert Series of an algebra defined by a linearly presented, standard graded, residual intersection of a grade three Gorenstein ideal.     

Weak Dimension of FP-injective Modules Over Chain Rings

It is proven that the weak dimension of each FP-injective module over a chain ring which is either Archimedean or not semicoherent is less or equal to 2. This implies that the projective dimension of any countably generated FP-injective module over an Archimedean chain ring is less or equal to 3.