# Peskin and Schroeder Equation 3.23

I've been trying (for a while) to prove that $S^{\mu\nu}:=\frac{i}{4}\left[\gamma^\mu,\,\gamma^\nu\right]$ is a representation of the Lorentz Lie algebra, that is, to prove that it satisfies the commutation relations of equation (3.17): $$\left[J^{\mu\nu},\,J^{\rho\sigma}\right]=i\left(\eta^{\nu\rho}J^{\mu\sigma}-\eta^{\mu\rho}J^{\nu\sigma}-\eta^{\nu\sigma}J^{\mu\rho}+\eta^{\mu\sigma}J^{\nu\rho}\right)$$ where $\gamma$ are the gamma matrices defined by the relation $\left\{\gamma^\mu,\,\gamma^\nu\right\}=2\eta^{\mu\nu}\mathbb{1}_{n\times n}$. Peskin says "by repeated use of the defining relation of the gamma matrices it is easy to verify that these matrices satisfy the commutation relations." But I failed at that: • You're on the right way! Just try again. Ideally, try to see how to use the anticommutation relation to create "chains" of four gamma matrices with equal ordering of the indices and opposite signs. Nov 23, 2013 at 12:04
• What does your symbol $\gamma^{\mu\nu\rho\sigma}$ stand for? Nov 23, 2013 at 12:32
• @user26143, that symbol was a shorthand for $\gamma^\mu\gamma^\nu\gamma^\rho\gamma^\sigma$.
– PPR
Nov 23, 2013 at 14:57