Prime \(t\)-ideals in power series rings over a discrete valuation domain (Q627972)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Prime \(t\)-ideals in power series rings over a discrete valuation domain |
scientific article |
Statements
Prime \(t\)-ideals in power series rings over a discrete valuation domain (English)
0 references
4 March 2011
0 references
A valuation domain \(V\) is said to be discrete if each primary ideal of \(V\) is a power of its radical. It is known that if \(V\) is a finite-dimensional discrete valuation domain, then \(t\)-dim\(V [[x]]=t\)-dim\(V=\text{dim}V\) where \(t\) is the finite character star operation associated to the divisor closure operation \(v\) and \(t\)-dim is the supremum of the lengths of chains of prime \(t\)-ideals (include (0) as a prime \(t\)-ideal). In the paper under review the author shows that if \(V\) is an \(m\)-dimensional discrete valuation domain, then \(t\)-dim\(V[[x_1,\dots,x_n]]=2m-1\) for all \(n\geq2\) and \(t\)-dim\(V[[\{x_{\lambda}\}_{\lambda\in\Lambda}]]_1=2m-1\) for any infinite set \(\{x_{\lambda}\}_{\lambda\in\Lambda}\) of indeterminates over \(V\).
0 references
power series ring
0 references
discrete valuation domain
0 references
prime \(t\)-ideal
0 references
\(t\)-dimension
0 references