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

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 .

Dann stiftet die Abbildung

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