Okay, first of all I need to define a representation of Dirac gamma matrices:
And finally, we have the anticommutator:
is the usual Minkowski metric in SR. (I_4 is the 4 x 4 identity matrix. This is usually suppressed.)
To add a bit of complexity (though I think it makes things more illustrative), these form a 4-vector:
Okay, to the point. We can derive certain simplifications to traces. For example:
The trace of an odd number of gamma matrices is 0.
I know the formula for . My question is this: How do I find the trace of 8 gamma matrices? The problem seems to be rather forbidding.