Finite symmetry group/Tetrahedron from numerical condition/Fact
< Finite symmetry group < Tetrahedron from numerical condition
Let be a finite subgroup of the group of proper linear isometries in of type .
Then is the
tetrahedral group,
and isomorphic to the alternating group .