Glatte Kurve/Hauptdivisor/Gruppenhomomorphismus/Fakt

Es sei ${}C$ eine irreduzible glatte Kurve über einem algebraisch abgeschlossenen Körper ${}K$ mit Funktionenkörper ${}Q(C)$.

Dann ist die Zuordnung

$Q(C)^{\times }\longrightarrow \operatorname {Div} \,(C),\,f\longmapsto \operatorname {div} {\left(f\right)},$

ein Gruppenhomomorphismus.

Einen Beweis erstellen