Lemma 29.44.14. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms.
If $g \circ f$ is finite and $g$ separated then $f$ is finite.
If $g \circ f$ is integral and $g$ separated then $f$ is integral.
Proof. Assume $g \circ f$ is finite (resp. integral) and $g$ separated. The base change $X \times _ Z Y \to Y$ is finite (resp. integral) by Lemma 29.44.6. The morphism $X \to X \times _ Z Y$ is a closed immersion as $Y \to Z$ is separated, see Schemes, Lemma 26.21.11. A closed immersion is finite (resp. integral), see Lemma 29.44.12. The composition of finite (resp. integral) morphisms is finite (resp. integral), see Lemma 29.44.5. Thus we win. $\square$
Comments (0)