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.