Ebene Kurve/y-x^3+x+2/Rationale Parametrisierung/Fortsetzung auf P^1/Aufgabe/Lösung
Ein Isomorphismus wird gegeben durch
Auf der Ringebene entpricht dem der Einsetzungshomomorphismus
Dieser ist offenbar surjektiv und wohldefiniert. Da man links direkt eliminieren kann, steht links der Polynomring , sodass eine Isomorphie vorliegt.
Man kann einen solchen Isomorphismus nicht zu einem Isomorphismus fortsetzen, da der projektive Abschluss der Kurve nicht isomorph zur projektiven Geraden ist. Dies liegt daran, dass der projektive Abschluss durch beschrieben wird und genau der unendlich ferne Punkte dazu kommt. Dieser Punkt ist aber in der affinen Umgebung der Nullpunkt auf der affinen Kurve , der die Multiplizität zwei besitzt und daher nicht glatt ist.