Notes on basis-independent computations with the Dirac algebra

Walter Grimus

In these notes we first review Pauli's proof of his `fundamental theorem' that states the equivalence of any two sets of Dirac matrices $\{{\gamma }^{\mu }\}$. Due to this theorem not only all…