Pauli matrices
として、定義される。ここで4元ベクトル に対し、パウリ行列 により、2次正方行列