Lokal beringter Raum/Globale Funktion/Affine Gerade/Morphismus/Fakt/Beweis
Beweis
Das Ringelement definiert einen eindeutig bestimmten Ringhomomorphismus , nämlich den Einsetzungshomomorphismus. Nach Fakt gibt es dazu einen eindeutig bestimmten Morphismus lokal beringter Räume
![{\displaystyle {}\mathbb {Z} [T]\rightarrow \Gamma (X,{\mathcal {O}}_{X})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c7e43828fc22ba212d736f9869ad17aa8ae76277)
![{\displaystyle {\left(X,{\mathcal {O}}_{X}\right)}\longrightarrow \operatorname {Spek} {\left(\mathbb {Z} [T]\right)}={\mathbb {A} }_{\mathbb {Z} }^{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efb5f148b7d6fcc2384a88acb4baa157b6e491e5)
Der Zusatz ergibt sich entsprechend.