Pauli matrices
また相異なるパウリ行列同士の積は次の関係を満たす。