Pauli matrices
上記3つに単位行列 を加えた4つの行列をパウリ行列と呼ぶこともある。