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

Es 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.