Binary tetrahedral group

From Wikipedia, the free encyclopedia

In mathematics, the binary tetrahedral group is an extension of the tetrahedral group T of order 12 by a cyclic group of order 2.

It is the binary polyhedral group corresponding to the tetrahedral group, and as such can be defined as the preimage of the tetrahedral group under the 2:1 covering homomorphism

\mathrm{Sp}(1) \to \mathrm{SO}(3).\,

where Sp(1) is the multiplicative group of unit quaternions. (For a description of this homomorphism see the article on quaternions and spatial rotations.) It follows that the binary tetrahedral group is discrete subgroup of Sp(1) of order 24.

Contents

[edit] Elements

Explicitly, the binary tetrahedral group is given as the group of units in the ring of Hurwitz integers. There are 24 such units given by

\{\pm 1,\pm i,\pm j,\pm k,\tfrac{1}{2}(\pm 1 \pm i \pm j \pm k)\}

with all possible sign combinations.

All 24 units have absolute value 1 and therefore lie in the unit quaternion group Sp(1). The convex hull of these 24 elements in 4-dimensional space form a convex regular 4-polytope called the 24-cell.

[edit] Properties

The binary tetrahedral group, denoted by 2T, fits into the short exact sequence

1\to\{\pm 1\}\to 2T\to T \to 1.\,

This sequence does not split, meaning that 2T is not a semidirect product of {±1} by T. In fact, there is no subgroup of 2T isomorphic to T.

The center of 2T is the subgroup {±1}, so that the inner automorphism group is isomorphic to T. The full automorphism group is isomorphic to S4 (the symmetric group on 4 letters).

The binary tetrahedral group can be written as a semidirect product

2T=Q\rtimes\mathbb Z_3

where Q is the quaternion group consisting of the 8 Lipschitz units and Z3 is the cyclic group of order 3 generated by ω = −½(1+i+j+k). The group Z3 acts on the normal subgroup Q by conjugation. Conjugation by ω is the automorphism of Q that cyclically rotates i, j, and k.

One can show that the binary tetrahedral group is isomorphic to the special linear group SL(2,3) — the group of all 2×2 matrices over the finite field F3 with unit determinant.

[edit] Presentation

The group 2T has a presentation given by

\langle r,s,t \mid r^2 = s^3 = t^3 = rst \rangle

or equivalently,

\langle s,t \mid (st)^2 = s^3 = t^3 \rangle.

Generators with these relations are given by

s = \tfrac{1}{2}(1+i+j+k) \qquad t = \tfrac{1}{2}(1+i+j-k).

[edit] Subgroups

The quaternion group consisting of the 8 Lipschitz units forms a normal subgroup of 2T of index 3. This group and the center {±1} are the only nontrivial normal subgroups.

All other subgroups of 2T are cyclic groups generated by the various elements, with orders 3, 4, and 6.

[edit] See also

[edit] References