Krull dimension of a power series ring over a valuation domain (Q1628494): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:08, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Krull dimension of a power series ring over a valuation domain |
scientific article |
Statements
Krull dimension of a power series ring over a valuation domain (English)
0 references
4 December 2018
0 references
The authors are interested in studying the Krull dimension of power series rings over valuation domains. The paper includes a nice bibliography of previous work investigating similar questions related to the Krull dimension of various polynomial rings over Noetherian rings, Prüfer rings, valuation domains and some work involving questions about the Krull dimension of power series rings over Noetherian, generalized Dedekind domains or discrete valuation domains. In general, the Krull dimension of power series rings can be unwieldy as examples exist where \(2 \dim R +1 < \dim R[[X]] < \infty\) and furthermore, \(\dim R[[X]]\) can be infinite even if \(\dim R\) is finite. This paper focuses on the situation when \(V\) is a one dimensional, nondiscrete, valuation domain, it is shown that the Krull dimension of \(V[[X]]_{V^*} \geq 2^{\aleph_{1}}\) where \(V^*=V\setminus \{0\}\), hence \(V[[X]] \geq 2^{\aleph_{1}}\). This is very similar the situation surrounding the ring of entire functions, \(\epsilon\), where the Krull dimension of \(\epsilon \geq 2^{\aleph_{1}}\). It is shown that this lower bound is possible to achieve since if \(V\) is countable, \(V[[X]]_{V^*} = 2^{\aleph_{1}}\), provided the continuum hypothesis holds. The authors construct a chain of prime ideals in \(V[[X]]\) with length \(\geq 2^{\aleph_{1}}\) such that each prime in the chain has height \(\geq 2^{\aleph_{1}}\) and contracts to \(\{0\}\) in \(V\). Finally, the authors prove that if \(W\) is a finite-dimensional valuation domain, then either the Krull dimension of \(W[[X]]\) is either finite at least \(\geq 2^{\aleph_{1}}\).
0 references
\(\eta_1\)-set
0 references
infinite product of power series
0 references
Krull dimension
0 references
power series ring
0 references
ring of entire functions
0 references
ultrafilter
0 references
valuation domain
0 references