Lemma 15.11.13. The property of being Henselian is preserved under filtered colimits of pairs. More precisely, let $J$ be a directed set and let $(A_ j, I_ j)$ be a system of henselian pairs over $J$. Then $A = \mathop{\mathrm{colim}}\nolimits A_ j$ equipped with the ideal $I = \mathop{\mathrm{colim}}\nolimits I_ j$ is a henselian pair $(A, I)$.

**Proof.**
If $u \in 1 + I$ then for some $j \in J$ we see that $u$ is the image of some $u_ j \in 1 + I_ j$. Then $u_ j$ is invertible in $A_ j$ by Algebra, Lemma 10.19.1 and the assumption that $I_ j$ is contained in the Jacobson radical of $A_ j$. Hence $u$ is invertible in $A$. Thus $I$ is contained in the Jacobson radical of $A$ (by the lemma).

Let $f \in A[T]$ be a monic polynomial and let $\overline{f} = g_0 h_0$ be a factorization with $g_0, h_0 \in A/I[T]$ monic generating the unit ideal in $A/I[T]$. Write $1 = g_0 g'_0 + h_0 h'_0$ for some $g'_0, h'_0 \in A/I[T]$. Since $A = \mathop{\mathrm{colim}}\nolimits A_ j$ and $A/I = \mathop{\mathrm{colim}}\nolimits A_ j/I_ j$ are filterd colimits we can find a $j \in J$ and $f_ j \in A_ j$ and a factorization $\overline{f}_ j = g_{j, 0} h_{j, 0}$ with $g_{j, 0}, h_{j, 0} \in A_ j/I_ j[T]$ monic and $1 = g_{j, 0} g'_{j, 0} + h_{j, 0} h'_{j, 0}$ for some $g'_{j, 0}, h'_{j, 0} \in A_ j/I_ j[T]$ with $f_ j, g_{j, 0}, h_{j, 0}, g'_{j, 0}, h'_{j, 0}$ mapping to $f, g_0, h_0, g'_0, h'_0$. Since $(A_ j, I_ j)$ is a henselian pair, we can lift $\overline{f}_ j = g_{j, 0} h_{j, 0}$ to a factorization over $A_ j$ and taking the image in $A$ we obtain a corresponding factorization in $A$. Hence $(A, I)$ is henselian. $\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 (2)

Comment #5030 by Laurent Moret-Bailly on

Comment #5264 by Johan on

There are also: