SFT stability via power series extension over Prüfer domains (Q946869): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00229-007-0073-7 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00229-007-0073-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2079037083 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anti-archimedean rings and power series rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Krull Dimension in Power Series Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Power series rings over Prüfer domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic Extensions of Power Series Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The SFT property does not imply finite dimension for power series rings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5687544 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Note on the Quotient Field of the Domain D[[ X ]] / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5661989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5562323 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completion of a Prüfer domain / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Močkor's question / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5735274 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00229-007-0073-7 / rank
 
Normal rank

Latest revision as of 09:21, 10 December 2024

scientific article
Language Label Description Also known as
English
SFT stability via power series extension over Prüfer domains
scientific article

    Statements

    SFT stability via power series extension over Prüfer domains (English)
    0 references
    25 September 2008
    0 references
    A commutative ring \(D\) with identity is called an SFT ring if for each ideal \(I\) of \(D\), there exist a natural number \(k\) and a finitely generated ideal \(J \subseteq I\) such that \(a^k \in J\) for all \(a \in I\). Let dim\(D\) denote the (Krull) dimension of \(D\), let \(x_1, \dots , x_n\) be indeterminates over \(D\), and let \(D[[x_1, \dots , x_n]]\) be the power series ring over \(D\). It is well known that if dim\((D[[x_1]]) < \infty\), then \(D\) is an SFT ring [\textit{J. T. Arnold}, Trans. Am. Math. Soc. 177, 299--304 (1973; Zbl 0262.13007)]. Also, if \(D\) is a finite dimensional SFT Prüfer domain, then dim\((D[[x_1, \dots , x_n]]) = n (\dim D) +1\), and hence \(D[[x_1, \dots , x_n]]\) is an SFT ring [\textit{J. T. Arnold}, Indiana Univ. Math. J. 31, 897--911 (1982; Zbl 0475.13014)]. However, the power series ring over an SFT ring need not be an SFT ring [\textit{J. Coykendall}, J. Algebra 256, 85--96 (2002; Zbl 1069.13011)]. In this paper, the authors extend Arnold's result to infinite dimensional SFT Prüfer domains. Let \(D\) be an SFT Prüfer domain. They first show that \(D[[x_1, \dots , x_n]]_{D \setminus (0)}\) is an \(n\)-dimensional (noetherian) regular ring, and then they prove that \(D[[x_1, \dots , x_n]]\) is an SFT ring. They also show that if \(P\) is a nonzero prime ideal of \(D\) with ht\(P = m < \infty\), then \[ \text{ht}(P[[x_1, \dots , x_n]]) = \begin{cases} mn &\text{if \(P\) is nonmaximal and \(\bar{D}_{\bar{D} \setminus (0)}[[x_1, \dots , x_n]]\)}\\ & \neq \bar{D}[[x_1, \dots , x_n]]_{\bar{D} \setminus (0)}, \text{ where \(\bar{D} = D/P\)},\\ (m-1)n + 1 &\text{otherwise.} \end{cases} \]
    0 references
    (Krull) dimension of a ring
    0 references
    Prüfer domain
    0 references
    SFT ring
    0 references
    power series ring
    0 references
    0 references
    0 references

    Identifiers

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