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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.
Eine Lösung erstellen