Affine Varietäten/K-Spektren als Funktor/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Körper und seien und kommutative -Algebren von endlichem Typ. Es sei ein -Algebrahomomorphismus.

Dann induziert dies eine Abbildung

Diese Abbildung ist stetig bezüglich der Zariski-Topologie.

Zum Beweis, Alternativen Beweis erstellen