Riemannsche Fläche/Holomorphe Abbildung/Zurückgezogener Divisor/Divisorenklassengruppe/Fakt
Eine nichtkonstante holomorphe Abbildung
zwischen zusammenhängenden riemannschen Flächen
induziert über das Zurückziehen von Divisoren einen Gruppenhomomorphismus
![{\displaystyle \operatorname {DKG} {\left(Y\right)}\longrightarrow \operatorname {DKG} {\left(X\right)},\,[D]\longmapsto [\varphi ^{*}(D)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7c0ba0f0afaf42a3d359e25c71b2178b95d6123)