Die Divisorenklassengruppe der projektiven Geraden P C 1 {\displaystyle {}{\mathbb {P} }_{\mathbb {C} }^{1}}
ist Z {\displaystyle {}\mathbb {Z} } .