K-Spektrum/Algebraisch abgeschlossen/Punkt/Halm ist Lokalisierung/Fakt

Aus Wikiversity

Es sei eine reduzierte kommutative Algebra von endlichem Typ über einem algebraisch abgeschlossenen Körper . Es sei ein Punkt im -Spektrum mit zugehörigem maximalen Ideal .

Dann gibt es eine natürliche Isomorphie (von -Algebren)