Lemma 67.4.8. All of the separation axioms listed in Definition 67.4.2 are stable under composition of morphisms.
Proof. Let $f : X \to Y$ and $g : Y \to Z$ be morphisms of algebraic spaces to which the axiom in question applies. The diagonal $\Delta _{X/Z}$ is the composition
\[ X \longrightarrow X \times _ Y X \longrightarrow X \times _ Z X. \]
Our separation axiom is defined by requiring the diagonal to have some property $\mathcal{P}$. By Lemma 67.4.5 above we see that the second arrow also has this property. Hence the lemma follows since the composition of (representable) morphisms with property $\mathcal{P}$ also is a morphism with property $\mathcal{P}$, see Section 67.3. $\square$
Comments (0)