 Lorentz covariance of the Dirac operator

A spinor Lorentz matrix satisfies $S^{-1}{\gamma }^{\mu }S={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$. Combining this identity with the transformed derivative shows that $(i{\gamma }^{\mu }{\partial }_{\mu }^{\prime }-m){\Psi }^{\prime }=S(i{\gamma }^{\mu }{\partial }_{\mu }-m)\Psi$. Thus a Lorentz transformation carries every solution of the Dirac equation to another.