Riemannsche Fläche/Divisorenklassengruppe/Definition

Divisorenklassengruppe

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

$\mathrm{Div}(X)/\mathrm{HDiv}(X)$

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