Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Gruppentheorie/Kommutativ/Endlich erzeugt/Hauptsatz/Fakt/Faktreferenznummer