K-Spektrum/Algebraisch abgeschlossener Körper/Algebraische (reguläre) Funktion auf offener Menge/Globaler Schnittring ist Koordinatenring/Fakt

Es sei ein algebraisch abgeschlossener Körper, eine reduzierte -Algebra von endlichem Typ und sei das -Spektrum von .

Dann ist