Lemma 10.160.10. Let $(R, \mathfrak m)$ be a Noetherian complete local ring. Assume $R$ is regular.
If $R$ contains either $\mathbf{F}_ p$ or $\mathbf{Q}$, then $R$ is isomorphic to a power series ring over its residue field.
If $k$ is a field and $k \to R$ is a ring map inducing an isomorphism $k \to R/\mathfrak m$, then $R$ is isomorphic as a $k$-algebra to a power series ring over $k$.
Proof. In case (1), by the Cohen structure theorem (Theorem 10.160.8) there exists a coefficient ring which must be a field mapping isomorphically to the residue field. Thus it suffices to prove (2). In case (2) we pick $f_1, \ldots , f_ d \in \mathfrak m$ which map to a basis of $\mathfrak m/\mathfrak m^2$ and we consider the continuous $k$-algebra map $k[[x_1, \ldots , x_ d]] \to R$ sending $x_ i$ to $f_ i$. As both source and target are $(x_1, \ldots , x_ d)$-adically complete, this map is surjective by Lemma 10.96.1. On the other hand, it has to be injective because otherwise the dimension of $R$ would be $< d$ by Lemma 10.60.13. $\square$
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #1853 by Matthieu Romagny on
Comment #1892 by Johan on
There are also: