Riemannsche Fläche/Divisorengruppe/Gruppenhomomorphismus/Fakt

Es sei ${}X$ eine zusammenhängende riemannsche Fläche mit dem Körper ${}{\mathcal {M}}{\left(X\right)}$ der meromorphen Funktionen.

Dann ist die Zuordnung

${\mathcal {M}}{\left(X\right)}^{\times }\longrightarrow \operatorname {Div} \,(X),\,f\longmapsto \operatorname {div} {\left(f\right)},$