Krull dimension of a power series ring over a valuation domain

2019 ◽  
Vol 519 ◽  
pp. 62-86 ◽  
Author(s):  
Phan Thanh Toan ◽  
Byung Gyun Kang
Keyword(s):  
Power Series ◽  
Krull Dimension ◽  
Valuation Domain ◽  
Power Series Ring ◽  
Series Ring

CONSTRUCTING CHAINS OF PRIMES IN POWER SERIES RINGS, II

2012 ◽  
Vol 12 (01) ◽  
pp. 1250123 ◽  
Author(s):  
K. ALAN LOPER ◽  
THOMAS G. LUCAS
Keyword(s):  
Lower Bound ◽  
Power Series ◽  
Polynomial Ring ◽  
Integral Domain ◽  
Valuation Domain ◽  
Main Concern ◽  
Power Series Ring ◽  
One Dimensional ◽  
Series Ring ◽  
Power Series Rings

For an integral domain D of dimension n, the dimension of the polynomial ring D[ x ] is known to be bounded by n + 1 and 2n + 1. While n + 1 is a lower bound for the dimension of the power series ring D[[ x ]], it often happens that D[[ x ]] has infinite chains of primes. For example, such chains exist if D is either an almost Dedekind domain that is not Dedekind or a one-dimensional nondiscrete valuation domain. The main concern here is in developing a scheme by which such chains can be constructed in the gap between MV[[ x ]] and M[[ x ]] when V is a one-dimensional nondiscrete valuation domain with maximal ideal M. A consequence of these constructions is that there are chains of primes similar to the set of ω1 transfinite sequences of 0's and 1's ordered lexicographically.

scholarly journals When is a power series ring n-root closed?

1997 ◽  
Vol 114 (2) ◽  
pp. 111-131 ◽  
Author(s):  
David F. Anderson ◽  
David E. Dobbs ◽  
Moshe Roitman
Keyword(s):  
Power Series ◽  
Power Series Ring ◽  
Series Ring

scholarly journals Completions of rings of invariants and their divisor class groups

1978 ◽  
Vol 72 ◽  
pp. 71-82 ◽  
Author(s):  
Phillip Griffith
Keyword(s):  
Power Series ◽  
Maximal Ideal ◽  
Total Degree ◽  
Class Groups ◽  
Divisor Class ◽  
Power Series Ring ◽  
Series Ring ◽  
Formal Power Series Ring ◽  
Ring Of Polynomials ◽  
Formal Power

Let k be a field and let A = be a normal graded subring of the full ring of polynomials R = k[X1, · · ·, Xn] (where R always is graded via total degree and A0 = k). R. Fossum and the author [F-G] observed that the completion  at the irrelevant maximal ideal of A is isomorphic to the subring of the formal power series ring R̂ = k[[X1, · ·., Xn]] and, moreover, that  is a ring of invariants of an algebraic group whenever A is.

Weak Normalization of Power Series Rings

1995 ◽  
Vol 38 (4) ◽  
pp. 429-433 ◽  
Author(s):  
David E. Dobbs ◽  
Moshe Roitman
Keyword(s):  
Power Series ◽  
Integral Domain ◽  
Power Series Ring ◽  
Series Ring ◽  
Power Series Rings

AbstractIt is proved that if r* is the weak normalization of an integral domain r, then the weak normalization of the power series ring r[[x1,....xn]] is contained in R*[[X1,....Xn]]. Consequently, if R is a weakly normal integral domain, then R[[X1,....Xn]] is also weakly normal.

Polynomial and power series ring extensions from sequences

2020 ◽  
pp. 2250048
Author(s):  
Gyu Whan Chang ◽  
Phan Thanh Toan
Keyword(s):  
Power Series ◽  
Commutative Ring ◽  
Trivial Case ◽  
Addition Formula ◽  
Power Series Ring ◽  
Series Ring ◽  
Ring Extensions ◽  
General Sequences ◽  
Divisibility Properties ◽  
Positive Integers

Let [Formula: see text] be a commutative ring with identity. Let [Formula: see text] and [Formula: see text] be the collection of polynomials and, respectively, of power series with coefficients in [Formula: see text]. There are a lot of multiplications in [Formula: see text] and [Formula: see text] such that together with the usual addition, [Formula: see text] and [Formula: see text] become rings that contain [Formula: see text] as a subring. These multiplications are from a class of sequences [Formula: see text] of positive integers. The trivial case of [Formula: see text], i.e. [Formula: see text] for all [Formula: see text], gives the usual polynomial and power series ring. The case [Formula: see text] for all [Formula: see text] gives the well-known Hurwitz polynomial and Hurwitz power series ring. In this paper, we study divisibility properties of these polynomial and power series ring extensions for general sequences [Formula: see text] including UFDs and GCD-domains. We characterize when these polynomial and power series ring extensions are isomorphic to each other. The relation between them and the usual polynomial and power series ring is also presented.

Graded Complexes Over Power Series Rings

1986 ◽  
Vol 38 (1) ◽  
pp. 158-178 ◽  
Author(s):  
Paul Roberts
Keyword(s):  
Power Series ◽  
Local Ring ◽  
Simple Structure ◽  
Free Resolution ◽  
Koszul Complex ◽  
Local Rings ◽  
Power Series Ring ◽  
Series Ring ◽  
Noetherian Local Ring ◽  
Power Series Rings

A common method in studying a commutative Noetherian local ring A is to find a regular subring R contained in A so that A becomes a finitely generated R-module, and in this way one can obtain some information about the original ring by applying what is known about regular local rings. By the structure theorems of Cohen, if A is complete and contains a field, there will always exist such a subring R, and R will be a power series ring k[[X1, …, Xn]] = k[[X]] over a field k. In this paper we show that if R is chosen properly, the ring A (or, more generally, an A-module M), will have a comparatively simple structure as an R-module. More precisely, A (or M) will have a free resolution which resembles the Koszul complex on the variables (X1, …, Xn) = (X); such a complex will be called an (X)-graded complex and will be given a precise definition below.

Sign in / Sign up

Export Citation Format

Share Document