Affine Varietäten/K-Spektren/Polynomring und affine Gerade/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Ein -Algebrahomomorphismus induziert einen -Algebrahomomorphismus , und zugleich wird auf ein bestimmtes Element abgebildet. Diese Daten definieren aber auch einen eindeutig bestimmten -Algebrahomomorphismus .

Zur bewiesenen Aussage