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

Es sei ${}P\in C=V(F)\subset {\mathbb {A} }_{K}^{2}$ ein glatter Punkt einer ebenen irreduziblen Kurve. Zeige, dass der zugehörige lokale Ring ein diskreter Bewertungsring ist.

Zur Lösung, Alternative Lösung erstellen