パウリ行列
the Pauli matrices satisfy