Ebene algebraische Kurve/Glatter Punkt/Lokaler Ring ist diskreter Bewertungsring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Körper, ein Polynom ohne mehrfache Faktoren und sei ein glatter Punkt der Kurve. Es sei der lokale Ring der Kurve im Punkt .

Dann ist ein diskreter Bewertungsring.

Zum Beweis, Alternativen Beweis erstellen