Endliche Symmetriegruppe/Tetraeder aus numerischer Bedingung/Fakt
Es sei eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des vom Typ .
Dann ist die Tetraedergruppe
und damit isomorph zur alternierenden Gruppe .
Es sei
eine endliche
Untergruppe
der
Gruppe
der
eigentlichen, linearen Isometrien
des
vom Typ
.
Dann ist die
Tetraedergruppe
und damit isomorph zur
alternierenden Gruppe
.