パウリ行列
The Pauli matrices obey the following commutation relations: