Affine Varietäten/K-Spektren als Funktor/Fakt/Beweis/Aufgabe/Lösung


Die Existenz der Abbildung ist klar, dem -Algebrahomomorphismus

wird einfach die Hintereinanderschaltung

zugeordnet. Das Urbild der offenen Menge ist dabei

Daher sind generell Urbilder von offenen Mengen wieder offen und die Abbildung ist stetig.