Riemannsche Fläche/Meromorphe Funktion/Divisor/Holomorph und effektiv/Fakt

Es sei ${}f\neq 0$ eine meromorphe Funktion auf einer zusammenhängenden riemannschen Fläche ${}X$.

Dann ist ${}f$ genau dann holomorph, wenn der Hauptdivisor ${}\operatorname {div} {\left(f\right)}$ effektiv ist.

Einen Beweis erstellen