# Tetrahedral symmetry

A regular tetrahedron has 12 rotational (or orientation-preserving) symmetries, and a symmetry order of 24 including transformations that combine a reflection and a rotation.

The group of all symmetries is isomorphic to the group S_{4}, the symmetric group of permutations of four objects, since there is exactly one such symmetry for each permutation of the vertices of the tetrahedron. The set of orientation-preserving symmetries forms a group referred to as the alternating subgroup A_{4} of S_{4}.

**Chiral** and **full** (or **achiral tetrahedral symmetry** and **pyritohedral symmetry**) are discrete point symmetries (or equivalently, symmetries on the sphere). They are among the crystallographic point groups of the cubic crystal system.

Seen in stereographic projection the edges of the tetrakis hexahedron form 6 circles (or centrally radial lines) in the plane. Each of these 6 circles represent a mirror line in tetrahedral symmetry. The intersection of these circles meet at order 2 and 3 gyration points.

* T*,

**332**, [3,3]

^{+}, or

**23**, of order 12 –

**chiral**or

**rotational tetrahedral symmetry**. There are three orthogonal 2-fold rotation axes, like chiral dihedral symmetry

*D*

_{2}or 222, with in addition four 3-fold axes, centered

*between*the three orthogonal directions. This group is isomorphic to

*A*

_{4}, the alternating group on 4 elements; in fact it is the group of even permutations of the four 3-fold axes: e, (123), (132), (124), (142), (134), (143), (234), (243), (12)(34), (13)(24), (14)(23).

The rotations by 180°, together with the identity, form a normal subgroup of type Dih_{2}, with quotient group of type Z_{3}. The three elements of the latter are the identity, "clockwise rotation", and "anti-clockwise rotation", corresponding to permutations of the three orthogonal 2-fold axes, preserving orientation.

A_{4} is the smallest group demonstrating that the converse of Lagrange's theorem is not true in general: given a finite group *G* and a divisor *d* of |*G*|, there does not necessarily exist a subgroup of *G* with order *d*: the group *G* = A_{4} has no subgroup of order 6. Although it is a property for the abstract group in general, it is clear from the isometry group of chiral tetrahedral symmetry: because of the chirality the subgroup would have to be C_{6} or D_{3}, but neither applies.

**T _{d}**,

***332**, [3,3] or 43m, of order 24 –

**achiral**or

**full tetrahedral symmetry**, also known as the (2,3,3) triangle group. This group has the same rotation axes as T, but with six mirror planes, each through two 3-fold axes. The 2-fold axes are now S

_{4}(4) axes. T

_{d}and O are isomorphic as abstract groups: they both correspond to S

_{4}, the symmetric group on 4 objects. T

_{d}is the union of T and the set obtained by combining each element of O \ T with inversion. See also the isometries of the regular tetrahedron.

**T _{h}**,

**3*2**, [4,3

^{+}] or m3, of order 24 –

**pyritohedral symmetry**. This group has the same rotation axes as T, with mirror planes through two of the orthogonal directions. The 3-fold axes are now S

_{6}(3) axes, and there is a central inversion symmetry. T

_{h}is isomorphic to T × Z

_{2}: every element of T

_{h}is either an element of T, or one combined with inversion. Apart from these two normal subgroups, there is also a normal subgroup D

_{2h}(that of a cuboid), of type Dih

_{2}× Z

_{2}= Z

_{2}× Z

_{2}× Z

_{2}. It is the direct product of the normal subgroup of T (see above) with C

_{i}. The quotient group is the same as above: of type Z

_{3}. The three elements of the latter are the identity, "clockwise rotation", and "anti-clockwise rotation", corresponding to permutations of the three orthogonal 2-fold axes, preserving orientation.

It is the symmetry of a cube with on each face a line segment dividing the face into two equal rectangles, such that the line segments of adjacent faces do not meet at the edge. The symmetries correspond to the even permutations of the body diagonals and the same combined with inversion. It is also the symmetry of a pyritohedron, which is extremely similar to the cube described, with each rectangle replaced by a pentagon with one symmetry axis and 4 equal sides and 1 different side (the one corresponding to the line segment dividing the cube's face); i.e., the cube's faces bulge out at the dividing line and become narrower there. It is a subgroup of the full icosahedral symmetry group (as isometry group, not just as abstract group), with 4 of the 10 3-fold axes.

The conjugacy classes of T_{h} include those of T, with the two classes of 4 combined, and each with inversion: