Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Endliche Permutationsgruppe/n höchstens 4/Auflösbarkeit/Fakt/Faktreferenznummer