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 .