Trace Theorems

We must now digress and establish useful properties of traces of products of Dirac matrices. These properties will allow us to calculate cross-sections without ever looking directly at a Dirac matrix or spinor. They are derived from the commutation algebra of the $\gamma$'s and are valid independently of the choice of representation for the $\gamma$'s.