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)}
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
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
Comments (0)
There are also: