Lemma 10.22.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.17.9 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.21.3. Any idempotent $e$ which is not in this collection clearly maps to $1$ in $R/I$. $\square$
Comments (2)
Comment #8515 by Elías Guisado on
Comment #8532 by Johan on
There are also: