The Stacks project

Lemma 10.153.11. Let $R \to S$ be a ring map with $S$ henselian local. Given

  1. an étale ring map $R \to A$,

  2. a prime $\mathfrak q$ of $A$ lying over $\mathfrak p = R \cap \mathfrak m_ S$,

  3. a $\kappa (\mathfrak p)$-algebra map $\tau : \kappa (\mathfrak q) \to S/\mathfrak m_ S$,

then there exists a unique homomorphism of $R$-algebras $f : A \to S$ such that $\mathfrak q = f^{-1}(\mathfrak m_ S)$ and $f \bmod \mathfrak q = \tau $.

Proof. Consider $A \otimes _ R S$. This is an étale algebra over $S$, see Lemma 10.143.3. Moreover, the kernel

\[ \mathfrak q' = \mathop{\mathrm{Ker}}(A \otimes _ R S \to \kappa (\mathfrak q) \otimes _{\kappa (\mathfrak p)} \kappa (\mathfrak m_ S) \to \kappa (\mathfrak m_ S)) \]

of the map using the map given in (3) is a prime ideal lying over $\mathfrak m_ S$ with residue field equal to the residue field of $S$. Hence by Lemma 10.153.3 there exists a unique splitting $\tau : A \otimes _ R S \to S$ with $\tau ^{-1}(\mathfrak m_ S) = \mathfrak q'$. Set $f$ equal to the composition $A \to A \otimes _ R S \to S$. $\square$

Comments (3)

Comment #8562 by on

A few comments:

  1. is used both in the proof and the statement in different roles.
  2. Statement (3): Strictly speaking, a map mod becomes which is not of the form . So, perhaps, make this statement more precise.
  3. Because this statement is an important fact, I suggest making the proof a bit more transparent. For instance, more explanation can be added in the proof as to why reduces to , possibly highlighting the role of the uniqueness of the splitting.

Comment #9849 by on

It is also clear from the proof that the map factors through the map , and this should be mentioned in the statement.

Comment #9850 by on

It is also clear from the proof that the map factors through the map , and this should be mentioned in the statement.

There are also:

  • 6 comment(s) on Section 10.153: Henselian local rings

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 08HQ. Beware of the difference between the letter 'O' and the digit '0'.



View Lemma 10.153.11 as pdf