** Quasi-finite, separated morphisms are quasi-affine **

Lemma 37.42.2. Let $f : X \to S$ be a morphism of schemes. Assume $f$ is quasi-finite and separated. Let $S'$ be the normalization of $S$ in $X$, see Morphisms, Definition 29.53.3. Picture:

\[ \xymatrix{ X \ar[rd]_ f \ar[rr]_{f'} & & S' \ar[ld]^\nu \\ & S & } \]

Then $f'$ is a quasi-compact open immersion and $\nu $ is integral. In particular $f$ is quasi-affine.

**Proof.**
This follows from Lemma 37.42.1. Namely, by that lemma there exists an open subscheme $U' \subset S'$ such that $(f')^{-1}(U') = X$ and $X \to U'$ is an isomorphism. In other words, $f'$ is an open immersion. Note that $f'$ is quasi-compact as $f$ is quasi-compact and $\nu : S' \to S$ is separated (Schemes, Lemma 26.21.14). It follows that $f$ is quasi-affine by Morphisms, Lemma 29.13.3.
$\square$

## Comments (2)

Comment #5119 by slogan_bot on

Comment #5326 by Johan on

There are also: