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

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 .

Dann stiftet die Abbildung

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

Zum Beweis, Alternativen Beweis erstellen