morphism of schemes induces a map of points
Let be a morphism of schemes over , and let be a particular scheme over . Then induces a natural function from the -points of to the -points of .
Recall that a -point of is a morphism . So examine the following diagram:
Since all the schemes in question are -schemes, the solid arrows all commute. The dashed arrow we simply construct as , making the whole diagram commute. The is a -point of .
|Title||morphism of schemes induces a map of points|
|Date of creation||2013-03-22 14:11:02|
|Last modified on||2013-03-22 14:11:02|
|Last modified by||archibal (4430)|