Lemma 20.8
Kurs:Körper- und Galoistheorie (Osnabrück 2011)/Vorlesung 20 Endliche Permutationsgruppe/n mindestens 5/Unauflösbarkeit/Direkt/Fakt