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.