Glatte Kurven/Morphismus/Vorgeschobener Divisor/Definition

Vorgeschobener Weildivisor

Zu einem nichtkonstanten Morphismus

$\phi :C_1⟶C_2$

zwischen glatten Kurven über einem algebraisch abgeschlossenen Körper und einem Weildivisor  $D=\sum _P{n}_P\cdot P$  auf $C_1$ nennt man

${\phi }_{\ast }D:=\sum _{P\in C_1}{n}_P\phi (P)=\sum _{Q\in C_2}\left(\sum _{P\in {\phi }^{-1}(Q)}{n}_P\right)Q$

den vorgeschobenen Weildivisor.