Lemma 74.11.23. The property $\mathcal{P}(f) =$“$f$ is finite” is fpqc local on the base.
Proof. An finite morphism is the same thing as an integral, morphism which is locally of finite type. See Morphisms of Spaces, Lemma 67.45.6. Hence the lemma follows on combining Lemmas 74.11.9 and 74.11.22. $\square$
Comments (0)