Ebene integrale Kurve/Potenzreihenlösung/Lift in die Normalisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein irreduzibles Polynom und der integre Koordinatenring der ebenen Kurve . Es sei die Normalisierung von und es sei der Ringhomomorphismus zu einer nichtkonstanten formalen Potenzreihenlösung der Kurve. Zeige, dass es einen eindeutig bestimmten Ringhomomorphismus gibt derart, dass das Diagramm

kommutiert.