
Lemma 10.21.2. Let $R$ be a ring. A connected component of $\mathop{\mathrm{Spec}}(R)$ is of the form $V(I)$, where $I$ is an ideal generated by idempotents such that every idempotent of $R$ either maps to $0$ or $1$ in $R/I$.

Proof. Let $\mathfrak p$ be a prime of $R$. By Lemma 10.16.11 we have see that the hypotheses of Topology, Lemma 5.12.10 are satisfied for the topological space $\mathop{\mathrm{Spec}}(R)$. Hence the connected component of $\mathfrak p$ in $\mathop{\mathrm{Spec}}(R)$ is the intersection of open and closed subsets of $\mathop{\mathrm{Spec}}(R)$ containing $\mathfrak p$. Hence it equals $V(I)$ where $I$ is generated by the idempotents $e \in R$ such that $e$ maps to $0$ in $\kappa (\mathfrak p)$, see Lemma 10.20.3. Any idempotent $e$ which is not in this collection clearly maps to $1$ in $R/I$. $\square$

There are also:

• 2 comment(s) on Section 10.21: Connected components of spectra

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