Spin group

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable action Glossary of group theory List of group theory topics
Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

In mathematics the spin group, denoted Spin(n),^[1][2] is a Lie group whose underlying manifold is the double cover of the special orthogonal group SO(n) = SO(n, R), such that there exists a short exact sequence of Lie groups (when n ≠ 2)

${\displaystyle 1\to \mathbb {Z} _{2}\to \operatorname {Spin} (n)\to \operatorname {SO} (n)\to 1.}$

The group multiplication law on the double cover is given by lifting the multiplication on ${\displaystyle \operatorname {SO} (n)}$.

As a Lie group, Spin(n) therefore shares its dimension, n(n − 1)/2, and its Lie algebra with the special orthogonal group.

For n > 2, Spin(n) is simply connected and so coincides with the universal cover of SO(n).

The non-trivial element of the kernel is denoted −1, which should not be confused with the orthogonal transform of reflection through the origin, generally denoted −I.

Spin(n) can be constructed as a subgroup of the invertible elements in the Clifford algebra Cl(n). A distinct article discusses the spin representations.