Kurs:Proseminar:Hauptsatz über endlich erzeugte abelsche Gruppen (Osnabrück 2011-2012)/Gruppenhomomorphismus/Surjektiv und Restklassengruppe/Fakt/Faktreferenznummer