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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es 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.