The Pauli matrices are a set of three Hermitian, unitary matrices used by Wolfgang Pauli in his theory of quantum-mechanical spin. They are given by:
They satisfy the following commutation and anticommutation identities: