Lemma 29.29.5. Let $f : X \to S$ be a morphism of schemes. Assume $f$ is locally of finite type. Let $x \in X$ with $s = f(x)$. Then $f$ is quasi-finite at $x$ if and only if $\dim _ x(X_ s) = 0$. In particular, $f$ is locally quasi-finite if and only if $f$ has relative dimension $0$.

Proof. If $f$ is quasi-finite at $x$ then $\kappa (x)$ is a finite extension of $\kappa (s)$ (by Lemma 29.20.5) and $x$ is isolated in $X_ s$ (by Lemma 29.20.6), hence $\dim _ x(X_ s) = 0$ by Lemma 29.28.1. Conversely, if $\dim _ x(X_ s) = 0$ then by Lemma 29.28.1 we see $\kappa (s) \subset \kappa (x)$ is algebraic and there are no other points of $X_ s$ specializing to $x$. Hence $x$ is closed in its fibre by Lemma 29.20.2 and by Lemma 29.20.6 (3) we conclude that $f$ is quasi-finite at $x$. $\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).