Lokal beringter Raum/Affiner Raum/Morphismus/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein lokal beringter Raum.

Dann definiert jedes Funktionstupel einen eindeutig bestimmten Morphismus lokal beringter Räume , wobei die Variable (des affinen Raumes) auf abgebildet wird.

Wenn eine -Algebra über einem kommutativen Ring ist, so definieren die auch einen Morphismus lokal beringter Räume . Dabei wird ein Punkt auf den Kern des Ringhomomorphismus

abgebildet.

Einen Beweis erstellen