Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Gruppentheorie/Hauptsatz für endliche abelsche Gruppen/Fakt/Faktreferenznummer