Lemma 33.24.2. Let $k$ be a field. Let $f : A \to X$, $g : B \to Y$ be morphisms of schemes over $k$. Then set theoretically we have

$\overline{f(A)} \times _ k \overline{g(B)} = \overline{(f \times g)(A \times _ k B)}$

Proof. This follows from Lemma 33.24.1 as the image of $f \times g$ is $f(A)g(B)$ in the notation of that lemma. $\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).