Pauli matrices
The following relations echo and generalize those of the Pauli matrices: