Lemma 15.11.14. Let $(A, I)$ be a henselian pair. Let $\mathfrak p \subset A$ be a prime ideal. Then $V(\mathfrak p + I)$ is connected.

Proof. By Lemma 15.11.8 we see that $(A/\mathfrak p, I + \mathfrak p/\mathfrak p)$ is a henselian pair. Thus it suffices to prove: If $(A, I)$ is a henselian pair and $A$ is a domain, then $\mathop{\mathrm{Spec}}(A/I) = V(I)$ is connected. If not, then $A/I$ has a nontrivial idempotent by Algebra, Lemma 10.20.4. By Lemma 15.11.6 this would imply $A$ has a nontrivial idempotent. This is a contradiction. $\square$

Comment #2172 by JuanPablo on

I think here something like lemma 10.21.2 (tag 00EG) is used.

There are also:

• 2 comment(s) on Section 15.11: Henselian pairs

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