Pauli matrix multiplication law
= Pauli matrix multiplication law
{c}
The Pauli matrices satisfy
$$
\sigma_i\sigma_j=\delta_{ij}I+i\varepsilon_{ijk}\sigma_k.
$$
Consequently each squares to the identity, distinct Pauli matrices anticommute, and their products span $M_2(\mathbb C)$.