Krull dimension and generic fibres for mixed polynomial and power series integral domains
type: Item
instance of: scholarly article
title: Krull dimension and generic fibres for mixed polynomial and power series integral domains
zbMATH Open document ID: 1255.13003
author: Mi Hee Park
published in: Journal of Algebra
publication date: 2012-11-09T00:00:00Z
review text: This article has two main results. For a ring \(R\) and variables \(x_1,\dots,x_n\), let \(R[x_1]],\dots,[x_n]]\) denote a mixed extension ring of \(R\), where each \(x_i\) is fixed as either \([x_i] \) for polynomials in the variable \(x_i\) or \(x_i\) for power series in \([x_i]\). It is well known that if \(R\) is a Noetherian ring of Krull dimension \(m\), then \(R[x_1]],\dots,[x_n]]\) has Krull dimension \(m+n\). In on result by assuming that at least one \([x_i]]\) is \([x_i]]\) author prove that for a certain class of integral domains \(R\) of dimension \(m\), that the dimension of \(R[x_1]],\dots,[x_n]]\) is \(mn+1\) or \(mn+n\). They observe that each integral domains \(R\) is close to being Noetherian and has a canonically associated Prüfer overring \(T\) such that the contraction map \(\mathrm{Spec}(T)\rightarrow \mathrm{Spec}(R)\) is a homeomorphism. In the second result of this article, used in the proof of the above result, appears not to have been noticed before: For an extension \(k\subset K\) of fields, the extension \(k[x_1]],\dots,[x_n]] \hookrightarrow K[x_1]],\dots,[x_n]]\) is integral and the dimension of the generic fibre is \(0\), if the maximal separable extension \(k_0\) of \(k \in K\) is a finite extension of \(k\) and \(K\) has finite exponent over \(k_0\). Otherwise the generic fibre has dimension \(n-1\).
reviewed by: Avanish Kumar Chaturvedi
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 13B25
Mathematics Subject Classification ID: 13C15
Mathematics Subject Classification ID: 13E99
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 13F25
Mathematics Subject Classification ID: 13H05
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 6104613
zbMATH Keywords: dimension
zbMATH Keywords: polynomial extension
zbMATH Keywords: power series extension
zbMATH Keywords: mixed extension
zbMATH Keywords: generic fibre
zbMATH Keywords: SFT
zbMATH Keywords: pullback
zbMATH Keywords: pseudo-valuation domain
zbMATH Keywords: globalized pseudo-valuation domain
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2012.03.003
OpenAlex ID: W2040482476
Wikidata QID: Q112881532
cites work: Krull Dimension in Power Series Rings
cites work: Algebraic Extensions of Power Series Rings
cites work: Power series rings over discrete valuation rings
cites work: Q3931523
cites work: Q3933092
cites work: Couples d'anneaux partageant un idéal. (Couples of rings sharing an ideal)
cites work: The SFT property does not imply finite dimension for power series rings.
cites work: Locally pseudo-valuation domains
cites work: Generalized Dedekind domains and their injective modules
cites work: Q5687544
cites work: Integral dependence in power series rings
cites work: Q5661989
cites work: Power series rings over globalized pseudo-valuation domains
cites work: Q3205350
cites work: Extensions of local domains with trivial generic fiber
cites work: Q5603302
cites work: On Močkor's question
cites work: Krull dimension of mixed extensions
cites work: Q3739243
cites work: Krull dimension of power series rings over a globalized pseudo-valuation domain
cites work: A note on the dimension theory of rings
cites work: On the dimension theory of rings. II
DOI: 10.1016/J.JALGEBRA.2012.03.003
description: scientific article; zbMATH DE number 6104613