Spin 群

$n\ge2$ とする。単位ベクトル $u_1,\dots,u_{2k}\in S^{n-1}$（$k\ge0$）の積 $c(u_1)c(u_2)\cdots c(u_{2k})$ 全体を $\mathrm{Spin}(n)$ と書く。