Die analytische Normalität affinoider Ringe (Q2529820): Difference between revisions

The principal results are: Let \(A\) be an affinoid algebra over a complete valuation base-field, \(\mathfrak m\) a maximal ideal of \(A\), \(\hat A = \hat A_{\mathfrak m}\) the completion of \(A\) in the \(\mathfrak m\)-adic topology and \(\mathfrak p\) a prime ideal of \(\hat A)\) such that \(h(\mathfrak p)\le 1\) and \(A_{\mathfrak p\cap A}\) is regular; then \((\hat A)_{\mathfrak p}\), is regular. Using a characterization of J.-P. Serre [Algèbre locale. Multiplicités. Berlin etc.: Springer Verlag (1965; Zbl 0142.28603)] of normal rings, the above proposition gives: If \(A,\mathfrak m\) are as above and if \(\hat A_{\mathfrak m}\) is normal (i.e. reduced and integrally closed in its total ring of quotients) then \(\hat A_{\mathfrak m} = \hat A\) is normal. As a corollary is obtained: Let \(A\) be a normal affinoid algebra and let \(B\) be the affinoid algebra of an open affinoid subset of the affinoid space of \(A\); then \(B\) is normal. In order to prove the first result, the author gives some lemmas, among which is the following: Let \(\mathfrak m\) be a maximal ideal of an affinoid algebra \(A\); then there exists a free affinoid subalgebra \(T\) of \(A\) in variables \(t_1,\ldots, t_n\) such that \(A\) is a finite \(T\)-algebra and \(\mathfrak m \cap T = (t_1,\ldots, t_n)\)