Pauli matrices
パウリ行列 のトレース (Tr) は となり、行列式 (det) は となる。