Lemma 29.41.10. Suppose given a commutative diagram of schemes

$\xymatrix{ X \ar[rr]_ h \ar[rd]_ f & & Y \ar[ld]^ g \\ & S }$

Assume

1. $X \to S$ is a universally closed (for example proper) morphism, and

2. $Y \to S$ is separated and locally of finite type.

Then the scheme theoretic image $Z \subset Y$ of $h$ is proper over $S$ and $X \to Z$ is surjective.

Proof. The scheme theoretic image of $h$ is constructed in Section 29.6. Since $f$ is quasi-compact (Lemma 29.41.8) we find that $h$ is quasi-compact (Schemes, Lemma 26.21.14). Hence $h(X) \subset Z$ is dense (Lemma 29.6.3). On the other hand $h(X)$ is closed in $Y$ (Lemma 29.41.7) hence $X \to Z$ is surjective. Thus $Z \to S$ is a proper (Lemma 29.41.9). $\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).