# Binary Cubic Groups

• Q8 - the quaternion group
• 2T - the binary tetrahedral group
• 2O - the binary octahedral group
• 2I - the binary icosahedral group (unfinished)

The binary cubic groups are the preimages under the double cover SU(2) → SO(3) of the cubic groups T, O, and I. We also include the quaternion group Q8, which is in fact the double cover of the group of roations by $$\pi$$ about each of the Cartesian axes. If G is the cubic group in question, one writes 2G the binary version, then there is a short exact sequence,

$$\mathbb{Z}_2^c \longrightarrow 2G \longrightarrow G$$

where $$\mathbb{Z}_2^c =\{± I\}$$ is the centre of SU(2). In particular, any representation of G gives rise to a representation of 2G, via the homomorphism 2GG. Note that SU(2) ≅ Sp(1) (unit quaternions).

### Q8

$$Q_8$$ is the quaternion group and has order 8. It consists of the unit quaternions ±1, ±i, ±j, ±k. It is the double cover of the group D2, which is the subgoup of SO(3) consisting of the identity and the rotation by $$\pi$$ about each of the x- y- and z-axes (so $$Q_8$$ could be called the binary Klein group!). The character table is:

 Q8 1 -1 {±i} {±j} {±k} notes # 1 1 2 2 2 |Q8|=8 A0 1 1 1 1 1 trivial rep A1 1 1 1 -1 -1 A2 1 1 -1 1 -1 A3 1 1 -1 -1 1 H 4 -4 0 0 0 quaternionic type
• Notice that jij-1=-i, so i and -i are conjugate, as are j and -j, and k and -k.
• The 1-dimensional reps are all induced from the reps of D2 = Z2×Z2.
• The irreducible representation H is the natural action of Q8 on the space of all quaternions (hence its name). It is therefore of quaternionic type. It is also the underlying representation of the 2-dimensional complex irreducible representation given by Q8SU(2)

### 2T

Here TA4 is the group of all rotational symmetries of the tetrahedron. The binary group 2T is therefore denoted 2A4. It is (isomorphic to) SL(2; Z3). See Tony Phillips' pages and wikipedia for further details about this group. It contains Q8 as a normal subgroup. As unit quaternions, the elements are of the form

±1, ±i, ±j, ±k,   ½ (±1 ±i ±j ±k).

The elements of the form ½(1 ±i ±j ±k) are of order 6, while those of the form ½(-1 ±i ±j ±k) are of order 3. And of course ±i etc are of order 4, and -1 is of order 2.

Conjugation within the group permutes the coefficients of the 3 "imaginary" parts and changes an even number of signs, but does not change the real part of a quaternion. For example,

½(1 + i + j + k) is conjugate to ½(1 - i - j + k), and +i is conjugate to -i and to -k.

The conjugacy classes are therefore represented by:

1, -1, i, a = ½(1 + i + j + k), b = ½(1 + i + j - k), c = ½(-1 + i + j + k), d = ½(-1 + i + j - k), so a and b are of order 6 and c, d are of order 3.

Note that a² = d² = c, and b² = c² = d. Finally, Q8 is a normal subgroup.

 2T 1 -1 i a b c d notes # 1 1 6 4 4 4 4 |2T|=24 A0 1 1 1 1 1 1 1 trivial rep E 2 2 2 -1 -1 -1 -1 complex type T 3 3 -1 0 0 0 0 G 4 -4 0 -1 -1 1 1 complex type H 4 -4 0 2 2 -2 -2 quaternionic type
• A0 E and T arise from reps of T (see A4) via the double covering.
• A0 and T are absolutely irreducible (ie, of real type), E and G are of complex type and H is of quaternionic type
• E, G and H split over C, and have characters:
E = (1, 1, 1, ω, ω², ω², ω) ⊕ (1, 1, 1, ω², ω, ω, ω²), where ω = ½(-1+√3 i),
G = (2, -2, 0, ω, ω², -ω², -ω) ⊕ (2, -2, 0, ω², ω, -ω, -ω²), and
H = 2 (2, -2, 0, 1, 1, -1, -1) (2 copies of the same complex rep)
• The elements of this group considered as points in the unit sphere in R4 (space of quaternions) are the vertices of the convex regular 24-cell. The permutation representation on this set of points is the regular representation, equal to A0 + E + 3T +2G + H.
• H is the natural representation of this group acting on the quaternions.

### 2O

where O is the group of all rotational symmetries of the cube. O is isomorphic to S4, so 2O is often denoted 2S4, it has order 48. See wikipedia for details.

The binary tetrahedral group 2T is a normal subgroup, as is Q8. The remaining elements are all of the form (1/√2)(±1±i) etc.

The conjugacy classes are represented by 1, -1, i, and

a = ½(1 +i + j + k), c = ½(-1 +i + j + k),
e = (1/√2)(1+i), f = (1/√2)(-1+i), g = (1/√2)(i+j).
 2O 1 -1 i a c e f g notes # 1 1 6 8 8 6 6 12 |2O|=48 A0 1 1 1 1 1 1 1 1 trivial rep A1 1 1 1 1 1 -1 -1 -1 E 2 2 2 -1 -1 0 0 0 T1 3 3 -1 0 0 1 1 -1 T2 3 3 -1 0 0 -1 -1 1 H1 4 -4 0 2 -2 2√2 -2√2 0 action on quaternions H2 4 -4 0 2 -2 -2√2 2√2 0 L 8 -8 0 -2 2 0 0 0
• The reps A0, A1, E, T1 and T2 arise from the corresponding reps of the octahedral group; they are all absolutely irreducible (since they are for S4).
• The reps H1, H2 and L are all irreducible of quaternionic type. The corresponding complex irreducible reps have simply half the character.

### 2I

where I is the group of all rotational symmetries of the icosahedron. 2I has order 120.

I is isomorphic to A5, so 2I is often denoted 2A5 (a double cover of A5); it is isomorphic to SL(3,F5). See wikipedia for details.

The elements of 2I are ...

... Unfinished ...