Lemma 10.41.7. Let $R$ be a ring. Let $E \subset \mathop{\mathrm{Spec}}(R)$ be a constructible subset.

1. If $E$ is stable under specialization, then $E$ is closed.

2. If $E$ is stable under generalization, then $E$ is open.

Proof. First proof. The first assertion follows from Lemma 10.41.5 combined with Lemma 10.29.4. The second follows because the complement of a constructible set is constructible (see Topology, Lemma 5.15.2), the first part of the lemma and Topology, Lemma 5.19.2.

Second proof. Since $\mathop{\mathrm{Spec}}(R)$ is a spectral space by Lemma 10.26.2 this is a special case of Topology, Lemma 5.23.6. $\square$

There are also:

• 7 comment(s) on Section 10.41: Going up and going down

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