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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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)

Zum Beweis, Alternativen Beweis erstellen