The Segre Embedding. Let be the map defined by sending the ordered pair to in lexicographic order, where . Note that is well-defined and injective. It is called the Segre embedding. Show that the image of is a subvariety of .
Proof. Let have coordinates , and let where . Then, . We claim . But any has coordinates , and clearly any vanishes on , and so . Conversely, note that any point satisfies , and if , say, then setting gives maps to .