Spin⁡(6,R)\operatorname{Spin}(6,\mathbb R) is the generated by even products of vectors of squared length 1 in the of R6\mathbb R^{6} with relation v2=−∑jvj2v^2=-\sum_jv_j^2. Its conjugation action on vectors is the standard double covering of SO(6,R)\mathrm{SO}(6,\mathbb R).

Dimensions and structure

This group has real dimension 1515. Its tangent algebra is the skew-symmetric 6×66\times6 matrices. The group is .

The compact spin group in dimension six is SU(4). See .

References
  1. Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §31.2, Example 31.3 and Proposition 31.4; §31.3, Example 31.10, pp. 166–168.