The Stacks project

Proof. Assume $R$ is not Jacobson. By Lemma 10.35.4 this means there exists an closed subset $T \subset \mathop{\mathrm{Spec}}(R)$ whose set $T_0 \subset T$ of closed points is not dense in $T$. Choose an $f \in R$ such that $T_0 \subset V(f)$ but $T \not\subset V(f)$. Note that $T \cap D(f)$ is homeomorphic to $\mathop{\mathrm{Spec}}((R/I)_ f)$ if $T = V(I)$, see Lemmas 10.17.7 and 10.17.6. As any ring has a maximal ideal (Lemma 10.17.2) we can choose a closed point $t$ of space $T \cap D(f)$. Then $t$ corresponds to a prime ideal $\mathfrak p \subset R$ which is not maximal (as $t \not\in T_0$). Thus (1) holds. By construction $f \not\in \mathfrak p$, hence (2). As $t$ is a closed point of $T \cap D(f)$ we see that $V(\mathfrak p) \cap D(f) = \{ \mathfrak p\} $, i.e., (3) holds. Hence we conclude that $(R/\mathfrak p)_ f$ is a domain whose spectrum has one point, hence (4) holds (for example combine Lemmas 10.18.3 and 10.25.1).

Conversely, suppose that $R$ is Jacobson and $(\mathfrak p, f)$ satisfy (1) and (2). If $V(\mathfrak p) \cap D(f) = \{ \mathfrak p, \mathfrak q_1, \ldots , \mathfrak q_ t\} $ then $\mathfrak p \not= \mathfrak q_ i$ implies there exists an element $g \in R$ such that $g \not\in \mathfrak p$ but $g \in \mathfrak q_ i$ for all $i$. Hence $V(\mathfrak p) \cap D(fg) = \{ \mathfrak p\} $ which is impossible since each locally closed subset of $\mathop{\mathrm{Spec}}(R)$ contains at least one closed point as $\mathop{\mathrm{Spec}}(R)$ is a Jacobson topological space. $\square$