パウリ行列
The following relations echo and generalize those of the Pauli matrices: