>>15
　(γ_k)^2 = η_kk = ±1,
　γ_j γ_k = −γ_k γ_j,　　(j≠k)
が成り立つから、32個の元
　{±(γ_0)^e0･(γ_1)^e1･(γ_2)^e2･(γ_3)^e3 | e_i = 0,1}
は積について閉じていて、乗法群をなす。
「Dirac群」

>>16
　α_k = [[O, σ_k] [σ_k, O]]
　β = [[I,O] [O,-I]]
もよく見る。

　α_k = γ_0 γ_k = - γ_k γ_0,
　β = γ_0 = -Q
の関係がある。
Qは (電荷)/e の演算子