Riemannsche Fläche/Divisorenklassengruppe/Definition

Divisorenklassengruppe

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

$\operatorname {Div} \,(X)/\operatorname {HDiv} \,(X)$

die Divisorenklassengruppe von ${}X$. Sie wird mit ${}\operatorname {DKG} {\left(X\right)}$ bezeichnet.