Endliche Symmetriegruppe/Würfel und Oktaeder aus numerischer Bedingung/Fakt
Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des vom Typ .
Dann ist isomorph zur Permutationsgruppe und konjugiert zur Würfelgruppe.
Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des vom Typ .
Dann ist isomorph zur Permutationsgruppe und konjugiert zur Würfelgruppe.