Hi all,(adsbygoogle = window.adsbygoogle || []).push({});

I'm interested in proving/demonstrating/understanding why the Dirac gamma matrices, plus the associated tensor and identity, form a complete basis for [itex]4\times4[/itex] matrices.

In my basic QFT course, the Dirac matrices were introduced via the Dirac equation, and we proved various properties. After doing this, we were presented with this table:

[tex]

\begin{tabular}{|c|c|c|} \hline

Form of element &Transforms as &\# of components\\ \hline

$\mathds{I}$ &scalar & 1 \\

$\gamma^\mu$ & vector & 4 \\

$\sigma^{\mu\nu}$ & tensor & 6 \\

$\gamma^5\gamma^\mu$& pseudo-vector & 4 \\

$\gamma^5$ & pseudo-scalar & 1 \\ \hline

\end{tabular} [/tex]

and told that these elements formed a complete basis for [itex]4\times4[/itex] matrices. I've used this fact, and am now employing it in studying the effective weak Hamiltonian as part of an introduction to particle phenomenology. I'm now interested in understanding why it is true.

I've looked through these forums and my searching hasn't turned up a complete answer, or enough of a hint to figure it out. One suggestion I found involved showing the gammas form a Clifford algebra, which can be represented by the matrices over the quaternions. The suggestion was then that the move to matrices over the complex numbers involved the addition of the [itex]\gamma^5 [/itex], but I don't know how to work out the detail here.

I'm happy to be directed to textbooks/online sources.

Thanks.

P.S. I'm a grad student, so while I don't have homework I guess I'll mention in the interests of full disclosure that this isn't any sort of assignment for credit, but rather something I want to grasp to further my understanding of a subject I am new to.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof that gamma matrices form a complete basis

**Physics Forums | Science Articles, Homework Help, Discussion**