Lemma 10.159.1. Let $(R, \mathfrak m, k)$ be a local ring. Let $K/k$ be a field extension. There exists a local ring $(R', \mathfrak m', k')$, a flat local ring map $R \to R'$ such that $\mathfrak m' = \mathfrak mR'$ and such that $k'$ is isomorphic to $K$ as an extension of $k$.

**Proof.**
Suppose that $k' = k(\alpha )$ is a monogenic extension of $k$. Then $k'$ is the residue field of a flat local extension $R \subset R'$ as in the lemma. Namely, if $\alpha $ is transcendental over $k$, then we let $R'$ be the localization of $R[x]$ at the prime $\mathfrak mR[x]$. If $\alpha $ is algebraic with minimal polynomial $T^ d + \sum \overline{\lambda }_ iT^{d - i}$, then we let $R' = R[T]/(T^ d + \sum \lambda _ i T^{d - i})$.

Consider the collection of triples $(k', R \to R', \phi )$, where $k \subset k' \subset K$ is a subfield, $R \to R'$ is a local ring map as in the lemma, and $\phi : R' \to k'$ induces an isomorphism $R'/\mathfrak mR' \cong k'$ of $k$-extensions. These form a “big” category $\mathcal{C}$ with morphisms $(k_1, R_1, \phi _1) \to (k_2, R_2, \phi _2)$ given by ring maps $\psi : R_1 \to R_2$ such that

commutes. This implies that $k_1 \subset k_2$.

Suppose that $I$ is a directed set, and $((R_ i, k_ i, \phi _ i), \psi _{ii'})$ is a system over $I$, see Categories, Section 4.21. In this case we can consider

This is a local ring with maximal ideal $\mathfrak mR'$, and residue field $k' = \bigcup _{i \in I} k_ i$. Moreover, the ring map $R \to R'$ is flat as it is a colimit of flat maps (and tensor products commute with directed colimits). Hence we see that $(R', k', \phi ')$ is an “upper bound” for the system.

An almost trivial application of Zorn's Lemma would finish the proof if $\mathcal{C}$ was a set, but it isn't. (Actually, you can make this work by finding a reasonable bound on the cardinals of the local rings occurring.) To get around this problem we choose a well ordering on $K$. For $x \in K$ we let $K(x)$ be the subfield of $K$ generated by all elements of $K$ which are $\leq x$. By transfinite recursion on $x \in K$ we will produce ring maps $R \subset R(x)$ as in the lemma with residue field extension $K(x)/k$. Moreover, by construction we will have that $R(x)$ will contain $R(y)$ for all $y \leq x$. Namely, if $x$ has a predecessor $x'$, then $K(x) = K(x')[x]$ and hence we can let $R(x') \subset R(x)$ be the local ring extension constructed in the first paragraph of the proof. If $x$ does not have a predecessor, then we first set $R'(x) = \mathop{\mathrm{colim}}\nolimits _{x' < x} R(x')$ as in the third paragraph of the proof. The residue field of $R'(x)$ is $K'(x) = \bigcup _{x' < x} K(x')$. Since $K(x) = K'(x)[x]$ we see that we can use the construction of the first paragraph of the proof to produce $R'(x) \subset R(x)$. This finishes the proof of the lemma. $\square$

## Post a comment

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (6)

Comment #6048 by Mark on

Comment #6050 by Johan on

Comment #6185 by Johan on

Comment #6714 by Yining Lin on

Comment #6715 by Yining Lin on

Comment #6913 by Johan on