Krull dimension of a power series ring over a valuation domain (Q1628494)

From MaRDI portal
Revision as of 04:08, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references