0020132人目の素数さん
2021/02/21(日) 11:46:03.68ID:IgcJnK58(γ_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 の演算子