Kommutative Ringtheorie/K-Spektrum/Algebraisch abgeschlossen/Idempotente Elemente und randlose Mengen/Fakt

Sei ein algebraisch abgeschlossener Körper und sei eine reduzierte kommutative -Algebra von endlichem Typ.

Dann stiftet die Abbildung

eine Bijektion zwischen den idempotenten Elementen in und denjenigen Teilmengen aus , die sowohl offen also auch abgeschlossen sind.