The Stacks project

Lemma 15.45.13. Let $R$ be a Noetherian local ring. Let $\mathfrak p \subset R$ be a prime. Then

\[ R^ h \otimes _ R \kappa (\mathfrak p) = \prod \nolimits _{i = 1, \ldots , t} \kappa (\mathfrak q_ i) \quad \text{resp.}\quad R^{sh} \otimes _ R \kappa (\mathfrak p) = \prod \nolimits _{i = 1, \ldots , s} \kappa (\mathfrak r_ i) \]

where $\mathfrak q_1, \ldots , \mathfrak q_ t$, resp. $\mathfrak r_1, \ldots , \mathfrak r_ s$ are the prime of $R^ h$, resp. $R^{sh}$ lying over $\mathfrak p$. Moreover, the field extensions $\kappa (\mathfrak q_ i)/\kappa (\mathfrak p)$ resp. $\kappa (\mathfrak r_ i)/\kappa (\mathfrak p)$ are separable algebraic.

Proof. This can be deduced from the more general Lemma 15.45.12 using that the henselization and strict henselization are Noetherian (as we've seen above). But we also give a direct proof as follows.

We will use without further mention the results of Lemmas 15.45.1 and 15.45.3. Note that $R^ h/\mathfrak pR^ h$, resp. $R^{sh}/\mathfrak pR^{sh}$ is the henselization, resp. strict henselization of $R/\mathfrak p$, see Algebra, Lemma 10.156.2 resp. Algebra, Lemma 10.156.4. Hence we may replace $R$ by $R/\mathfrak p$ and assume that $R$ is a Noetherian local domain and that $\mathfrak p = (0)$. Since $R^ h$, resp. $R^{sh}$ is Noetherian, it has finitely many minimal primes $\mathfrak q_1, \ldots , \mathfrak q_ t$, resp. $\mathfrak r_1, \ldots , \mathfrak r_ s$. Since $R \to R^ h$, resp. $R \to R^{sh}$ is flat these are exactly the primes lying over $\mathfrak p = (0)$ (by going down). Finally, as $R$ is a domain, we see that $R^ h$, resp. $R^{sh}$ is reduced, see Lemma 15.45.4. Thus we see that $R^ h \otimes _ R \kappa (\mathfrak p)$ resp. $R^{sh} \otimes _ R \kappa (\mathfrak p)$ is a reduced Noetherian ring with finitely many primes, all of which are minimal (and hence maximal). Thus these rings are Artinian and are products of their localizations at maximal ideals, each necessarily a field (see Algebra, Proposition 10.60.7 and Algebra, Lemma 10.25.1).

The final statement follows from the fact that $R \to R^ h$, resp. $R \to R^{sh}$ is a colimit of ├ętale ring maps and hence the induced residue field extensions are colimits of finite separable extensions, see Algebra, Lemma 10.143.5. $\square$

Comments (0)

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07QQ. Beware of the difference between the letter 'O' and the digit '0'.