- #1

- 57

- 0

Not a Homework problem, but I think it belongs here.

Consider four dirac matrices that obey

[tex] M_i M_j + M_j M_i = 2 \delta_{ij} I [/tex]

knowing the property that [tex] Tr ABC = Tr CAB = Tr BCA [/tex] show that the matrices are traceless.

[tex] Tr MN = Tr NM [/tex]

The square of each dirac matrix is a unit matrix according to the definition above. For i,j unequal

[tex]M_i M_j = - M_j M_i [/tex]

Since these matrices are equal their traces should be equal

[tex] Tr M_i M_j = - Tr M_j M_i =- Tr M_i M_j [/tex]

implying [tex] Tr M_i M_j = Tr M_j M_i = 0 [/tex] for [tex] i \neq j [/tex]

So far, I have not been able to prove that each of these dirac matrices individually as a vanishing trace. I tried

[tex] Tr M_i M_j = \sum_k \sum_r (M_i)_{kr}(M_j)_{rk} = 0 [/tex]

but can't conclude anything. This is embarrasing, as this seems pretty basic. Can someone help?

## Homework Statement

Consider four dirac matrices that obey

[tex] M_i M_j + M_j M_i = 2 \delta_{ij} I [/tex]

knowing the property that [tex] Tr ABC = Tr CAB = Tr BCA [/tex] show that the matrices are traceless.

## Homework Equations

[tex] Tr MN = Tr NM [/tex]

## The Attempt at a Solution

The square of each dirac matrix is a unit matrix according to the definition above. For i,j unequal

[tex]M_i M_j = - M_j M_i [/tex]

Since these matrices are equal their traces should be equal

[tex] Tr M_i M_j = - Tr M_j M_i =- Tr M_i M_j [/tex]

implying [tex] Tr M_i M_j = Tr M_j M_i = 0 [/tex] for [tex] i \neq j [/tex]

So far, I have not been able to prove that each of these dirac matrices individually as a vanishing trace. I tried

[tex] Tr M_i M_j = \sum_k \sum_r (M_i)_{kr}(M_j)_{rk} = 0 [/tex]

but can't conclude anything. This is embarrasing, as this seems pretty basic. Can someone help?

Last edited: