The Stacks Project

Tag 01R9

Lemma 28.6.6. Let $$\xymatrix{ X_1 \ar[d] \ar[r]_{f_1} & Y_1 \ar[d] \\ X_2 \ar[r]^{f_2} & Y_2 }$$ be a commutative diagram of schemes. Let $Z_i \subset Y_i$, $i = 1, 2$ be the scheme theoretic image of $f_i$. Then the morphism $Y_1 \to Y_2$ induces a morphism $Z_1 \to Z_2$ and a commutative diagram $$\xymatrix{ X_1 \ar[r] \ar[d] & Z_1 \ar[d] \ar[r] & Y_1 \ar[d] \\ X_2 \ar[r] & Z_2 \ar[r] & Y_2 }$$

Proof. The scheme theoretic inverse image of $Z_2$ in $Y_1$ is a closed subscheme of $Y_1$ through which $f_1$ factors. Hence $Z_1$ is contained in this. This proves the lemma. $\square$

The code snippet corresponding to this tag is a part of the file morphisms.tex and is located in lines 914–933 (see updates for more information).

\begin{lemma}
\label{lemma-factor-factor}
Let
$$\xymatrix{ X_1 \ar[d] \ar[r]_{f_1} & Y_1 \ar[d] \\ X_2 \ar[r]^{f_2} & Y_2 }$$
be a commutative diagram of schemes. Let $Z_i \subset Y_i$, $i = 1, 2$ be
the scheme theoretic image of $f_i$. Then the morphism
$Y_1 \to Y_2$ induces a morphism $Z_1 \to Z_2$ and a
commutative diagram
$$\xymatrix{ X_1 \ar[r] \ar[d] & Z_1 \ar[d] \ar[r] & Y_1 \ar[d] \\ X_2 \ar[r] & Z_2 \ar[r] & Y_2 }$$
\end{lemma}

\begin{proof}
The scheme theoretic inverse image of $Z_2$ in $Y_1$
is a closed subscheme of $Y_1$ through
which $f_1$ factors. Hence $Z_1$ is contained in this.
This proves the lemma.
\end{proof}

There are no comments yet for this tag.

There are also 2 comments on Section 28.6: Morphisms of Schemes.

Add a comment on tag 01R9

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 lower-right corner).