Example 29.7.4. Let $A$ be a ring and $X = \mathop{\mathrm{Spec}}(A)$. Let $f_1, \ldots , f_ n \in A$ and let $U = D(f_1) \cup \ldots \cup D(f_ n)$. Let $I = \mathop{\mathrm{Ker}}(A \to \prod A_{f_ i})$. Then the scheme theoretic closure of $U$ in $X$ is the closed subscheme $\mathop{\mathrm{Spec}}(A/I)$ of $X$. Note that $U \to X$ is quasi-compact. Hence by Lemma 29.7.3 we see $U$ is scheme theoretically dense in $X$ if and only if $I = 0$.
Comments (0)