The Pauli matrices are

where

where is the usual antisymmetric tensor

The following identity is satisfied.

where is the identity matrix.