Endliche Permutationsgruppe/n höchstens 4/Auflösbarkeit/Fakt