The Stacks project

Proof. Note that an idempotent $e$ of a domain is either $1$ or $0$. Hence we see that

Similarly we have

Since the image of $e$ in any residue field is either $1$ or $0$ we deduce that $D(e)$ and $D(1-e)$ cover all of $\mathop{\mathrm{Spec}}(R)$. $\square$

Proof. Write $1 = e_1 + e_2$ with $e_1 = (1, 0)$ and $e_2 = (0, 1)$. Note that $e_1$ and $e_2 = 1 - e_1$ are idempotents. We leave it to the reader to show that $R_1 = R_{e_1}$ is the localization of $R$ at $e_1$. Similarly for $e_2$. Thus the statement of the lemma follows from Lemma 10.21.1 combined with Lemma 10.17.6. $\square$

Proof. Let $U \subset \mathop{\mathrm{Spec}}(R)$ be open and closed. Since $U$ is closed it is quasi-compact by Lemma 10.17.8, and similarly for its complement. Write $U = \bigcup _{i = 1}^ n D(f_ i)$ as a finite union of standard opens. Similarly, write $\mathop{\mathrm{Spec}}(R) \setminus U = \bigcup _{j = 1}^ m D(g_ j)$ as a finite union of standard opens. Since $\emptyset = D(f_ i) \cap D(g_ j) = D(f_ i g_ j)$ we see that $f_ i g_ j$ is nilpotent by Lemma 10.17.2. Let $I = (f_1, \ldots , f_ n) \subset R$ and let $J = (g_1, \ldots , g_ m) \subset R$. Note that $V(J)$ equals $U$, that $V(I)$ equals the complement of $U$, so $\mathop{\mathrm{Spec}}(R) = V(I) \amalg V(J)$. By the remark on nilpotency above, we see that $(IJ)^ N = (0)$ for some sufficiently large integer $N$. Since $\bigcup D(f_ i) \cup \bigcup D(g_ j) = \mathop{\mathrm{Spec}}(R)$ we see that $I + J = R$, see Lemma 10.17.2. By raising this equation to the $2N$th power we conclude that $I^ N + J^ N = R$. Write $1 = x + y$ with $x \in I^ N$ and $y \in J^ N$. Then $0 = xy = x(1 - x)$ as $I^ N J^ N = (0)$. Thus $x = x^2$ is idempotent and contained in $I^ N \subset I$. The idempotent $y = 1 - x$ is contained in $J^ N \subset J$. This shows that the idempotent $x$ maps to $1$ in every residue field $\kappa (\mathfrak p)$ for $\mathfrak p \in V(J)$ and that $x$ maps to $0$ in $\kappa (\mathfrak p)$ for every $\mathfrak p \in V(I)$.

To see uniqueness suppose that $e_1, e_2$ are distinct idempotents in $R$. We have to show there exists a prime $\mathfrak p$ such that $e_1 \in \mathfrak p$ and $e_2 \not\in \mathfrak p$, or conversely. Write $e_ i' = 1 - e_ i$. If $e_1 \not= e_2$, then $0 \not= e_1 - e_2 = e_1(e_2 + e_2') - (e_1 + e_1')e_2 = e_1 e_2' - e_1' e_2$. Hence either the idempotent $e_1 e_2' \not= 0$ or $e_1' e_2 \not= 0$. An idempotent is not nilpotent, and hence we find a prime $\mathfrak p$ such that either $e_1e_2' \not\in \mathfrak p$ or $e_1'e_2 \not\in \mathfrak p$, by Lemma 10.17.2. It is easy to see this gives the desired prime. $\square$

Proof. Obvious from Lemma 10.21.3 and the definition of a connected topological space. $\square$

Proof. By Nakayama's Lemma 10.20.1 there exists an element $f = 1 + i$, $i \in I$ such that $fI = 0$. Then $f^2 = f + fi = f$ is an idempotent. Consider the idempotent $e = 1 - f = -i \in I$. For $j \in I$ we have $ej = j - fj = j$ hence $I = (e)$. This proves (1).

Parts (2) and (3) follow from (1). Namely, we have $V(I) = V(e) = \mathop{\mathrm{Spec}}(R) \setminus D(e)$ which is open and closed by either Lemma 10.21.1 or Lemma 10.21.3. This proves (3). For (2) observe that the map $R \to R_{e'}$ is surjective since $x/(e')^ n = x/e' = xe'/(e')^2 = xe'/e' = x/1$ in $R_{e'}$. The kernel of the map $R \to R_{e'}$ is the set of elements of $R$ annihilated by a positive power of $e'$. Since $e'$ is idempotent this is the ideal of elements annihilated by $e'$ which is the ideal $I = (e)$ as $e + e' = 1$ is a pair of orthogonal idempotents. This proves (2). $\square$