Endlich erzeugte K-Algebren/K-Spektrum/Isomorph zu Einbettung/Fakt/Beweis/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Körper und sei eine endlich erzeugte kommutative -Algebra mit -Spektrum . Es sei eine Restklassendarstellung von mit dem zugehörigen Restklassenhomomorphismus

und dem Nullstellengebilde . Zeige, dass die die Abbildung

eine Bijektion zwischen und stiftet, die bezüglich der Zariski-Topologie ein Homöomorphismus ist.

Zur Lösung, Alternative Lösung erstellen