Kurs:Proseminar:Hauptsatz über endlich erzeugte abelsche Gruppen (Osnabrück 2011-2012)/Untergruppen von Z^m/Endlich erzeugt/Fakt/Faktreferenznummer