Lemma 32.8.6. Notation and assumptions as in Situation 32.8.1. If $f$ is separated, then $f_ i$ is separated for some $i \geq 0$.

Proof. Apply Lemma 32.8.5 to the diagonal morphism $\Delta _{X_0/S_0} : X_0 \to X_0 \times _{S_0} X_0$. (This is permissible as diagonal morphisms are locally of finite type and the fibre product $X_0 \times _{S_0} X_0$ is quasi-compact and quasi-separated, see Schemes, Lemma 26.21.2, Morphisms, Lemma 29.15.5, and Schemes, Remark 26.21.18. $\square$

There are also:

• 3 comment(s) on Section 32.8: Descending properties of morphisms

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