Lemma 29.54.2. Let $f : X \to S$ be a morphism of schemes. The set of points of $X$ where $f$ is quasi-finite is an open $U \subset X$. The induced morphism $U \to S$ is locally quasi-finite.

Proof. Suppose $f$ is quasi-finite at $x$. Let $x \in U = \mathop{\mathrm{Spec}}(A) \subset X$, $V = \mathop{\mathrm{Spec}}(R) \subset S$ be affine opens as in Definition 29.20.1. By either Theorem 29.54.1 above or Algebra, Lemma 10.122.13, the set of primes $\mathfrak q$ at which $R \to A$ is quasi-finite is open in $\mathop{\mathrm{Spec}}(A)$. Since these all correspond to points of $X$ where $f$ is quasi-finite we get the first statement. The second statement is obvious. $\square$

Comment #3963 by Manuel Hoff on

Typo: It should say $x \in U = \mathop{\mathrm{Spec}}(A) \subset X$, $V = \mathop{\mathrm{Spec}}(R) \subset S$, not the other way around.

Comment #5429 by slogan_bot on

Suggested slogan: "The locally quasi-finite locus of a morphism is open"

P.S. This result is surprisingly difficult to locate!

There are also:

• 2 comment(s) on Section 29.54: Zariski's Main Theorem (algebraic version)

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