Komplex-projektive Gerade/Divisorenklassengruppe/Z/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir zeigen, dass jeder Divisor vom Grad ein Hauptdivisor ist. Es sei also ein Divisor mit . Wir können annehmen, dass die Ordnung am unendlich fernen Punkt gleich ist, so dass die relevanten Punkte sich in

befinden. Wir trennen nach Nullstellen- und Polstellendivisor und schreiben

mit disjunkten endlichen Mengen und und mit , wobei wegen der Gradvoraussetzung die beiden Teildivisoren den gleichen Grad besitzen. Wir betrachten die rationale Funktion

Diese besitzt in den Punkten aus die vorgegebenen Ordnungen. Sie kann als meromorphe Funktion auf der gesamten projektiven Geraden aufgefasst werden und hat im unendlich fernen Punkt wegen der Gleichgradigkeit von Zähler und Nenner den Wert als Limes und somit dort die Ordnung .