Lemma 29.20.7. Let $f : X \to S$ be a morphism of schemes. Let $s \in S$. Assume that

1. $f$ is locally of finite type, and

2. $f^{-1}(\{ s\} )$ is a finite set.

Then $X_ s$ is a finite discrete topological space, and $f$ is quasi-finite at each point of $X$ lying over $s$.

Proof. Suppose $T$ is a scheme which (a) is locally of finite type over a field $k$, and (b) has finitely many points. Then Lemma 29.16.10 shows $T$ is a Jacobson scheme. A finite Jacobson space is discrete, see Topology, Lemma 5.18.6. Apply this remark to the fibre $X_ s$ which is locally of finite type over $\mathop{\mathrm{Spec}}(\kappa (s))$ to see the first statement. Finally, apply Lemma 29.20.6 to see the second. $\square$

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