Lemma 10.122.2. Let $R \to S$ be a ring map of finite type. Let $\mathfrak q \subset S$ be a prime lying over $\mathfrak p \subset R$. Let $F = \mathop{\mathrm{Spec}}(S \otimes _ R \kappa (\mathfrak p))$ be the fibre of $\mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$, see Remark 10.17.8. Denote $\overline{\mathfrak q} \in F$ the point corresponding to $\mathfrak q$. The following are equivalent

$\overline{\mathfrak q}$ is an isolated point of $F$,

$S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}$ is finite over $\kappa (\mathfrak p)$,

there exists a $g \in S$, $g \not\in \mathfrak q$ such that the only prime of $D(g)$ mapping to $\mathfrak p$ is $\mathfrak q$,

$\dim _{\overline{\mathfrak q}}(F) = 0$,

$\overline{\mathfrak q}$ is a closed point of $F$ and $\dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) = 0$, and

the field extension $\kappa (\mathfrak p) \subset \kappa (\mathfrak q)$ is finite and $\dim (S_{\mathfrak q}/\mathfrak pS_{\mathfrak q}) = 0$.

## Comments (3)

Comment #1654 by Matthieu Romagny on

Comment #4629 by Jian Qiu on

Comment #4630 by Johan on