Ebene algebraische Kurve/Glatter Punkt/Lokaler Ring ist diskreter Bewertungsring/Fakt
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.