Projektive Gerade/C/Identität/Hauptdivisor/Beispiel

Die Identität auf der projektiven Geraden ${}{\mathbb {P} }_{\mathbb {C} }^{1}$, also die meromorphe Funktion ${}z$, besitzt den Hauptdivisor ${}0-\infty$, wenn wir mit ${}z$ die Variable auf ${}{\mathbb {C} }\subset {\mathbb {P} }_{\mathbb {C} }^{1}$ und mit ${}\infty$ den unendlich fernen Punkt bezüglich dieser Einbettung bezeichnen.