\operatorname{Spin}(3)\to\operatorname{SO}(3)
The binary octahedral group is most easily described concretely as a discrete subgroup of the unit quaternions, under the isomorphism
\operatorname{Spin}(3)\cong\operatorname{Sp}(1)
Explicitly, the binary octahedral group is given as the union of the 24 Hurwitz units
\{\pm1,\pmi,\pmj,\pmk,\tfrac{1}{2}(\pm1\pmi\pmj\pmk)\}
\tfrac{1}{\sqrt2}(\pm1\pm1i+0j+0k)
The binary octahedral group, denoted by 2O, fits into the short exact sequence
1\to\{\pm1\}\to2O\toO\to1.
The center of 2O is the subgroup, so that the inner automorphism group is isomorphic to O. The full automorphism group is isomorphic to O × Z2.
The group 2O has a presentation given by
\langler,s,t\midr2=s3=t4=rst\rangle
\langles,t\mid(st)2=s3=t4\rangle.
r=\tfrac{1}{\sqrt2}(i+j) s=\tfrac{1}{2}(1+i+j+k) t=\tfrac{1}{\sqrt2}(1+i),
with
r2=s3=t4=rst=-1.
The binary tetrahedral group, 2T, consisting of the 24 Hurwitz units, forms a normal subgroup of index 2. The quaternion group, Q8, consisting of the 8 Lipschitz units forms a normal subgroup of 2O of index 6. The quotient group is isomorphic to S3 (the symmetric group on 3 letters). These two groups, together with the center, are the only nontrivial normal subgroups of 2O.
The generalized quaternion group, Q16, also forms a subgroup of 2O, index 3. This subgroup is self-normalizing so its conjugacy class has 3 members. There are also isomorphic copies of the binary dihedral groups Q8 and Q12 in 2O.
All other subgroups are cyclic groups generated by the various elements (with orders 3, 4, 6, and 8).[2]
The binary octahedral group generalizes to higher dimensions: just as the octahedron generalizes to the orthoplex, the octahedral group in SO(3) generalizes to the hyperoctahedral group in SO(n), which has a binary cover under the map
\operatorname{Spin}(n)\toSO(n).
. Smith, Derek A. . John Horton Conway . On Quaternions and Octonions . AK Peters, Ltd . Natick, Massachusetts . 2003 . 1-56881-134-9.
CSU2(F3)