Lemma 66.38.7. If $f$ is unramified at $x$ then $f$ is quasi-finite at $x$. In particular, an unramified morphism is locally quasi-finite.

Proof. Via a diagram as in Lemma 66.22.1 this translates into Morphisms, Lemma 29.35.10. $\square$

Comment #3021 by Brian Lawrence on

Suggested slogan: An unramified morphism is locally quasi-finite.

Comment #3139 by on

Going to ignore this slogan because it is identical to part of the statement of the lemma.

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