Lemma 66.8.10. Let $f : X \to Y$ be a morphism of algebraic spaces over a scheme $S$.

1. If $X$ is quasi-compact and $Y$ is quasi-separated, then $f$ is quasi-compact.

2. If $X$ is quasi-compact and quasi-separated and $Y$ is quasi-separated, then $f$ is quasi-compact and quasi-separated.

3. A fibre product of quasi-compact and quasi-separated algebraic spaces is quasi-compact and quasi-separated.

Proof. Part (1) follows from Lemma 66.8.9 with $Z = S = \mathop{\mathrm{Spec}}(\mathbf{Z})$. Part (2) follows from (1) and Lemma 66.4.10. For (3) let $X \to Y$ and $Z \to Y$ be morphisms of quasi-compact and quasi-separated algebraic spaces. Then $X \times _ Y Z \to Z$ is quasi-compact and quasi-separated as a base change of $X \to Y$ using (2) and Lemmas 66.8.4 and 66.4.4. Hence $X \times _ Y Z$ is quasi-compact and quasi-separated as an algebraic space quasi-compact and quasi-separated over $Z$, see Lemmas 66.4.9 and 66.8.5. $\square$

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