The electromagnetic stress–energy tensor has several algebraic properties: {{unordered list T^{\mu\nu} = T^{\nu\mu} T^{\alpha}{}_{\alpha} = 0. {{math proof T^{\mu}{}_{\mu} = \eta_{\mu\nu}T^{\mu\nu} Using the explicit form of the tensor, T^{\mu}{}_{\mu} = \frac{1}{\mu_0}\left[\eta_{\mu\nu}F^{\mu\alpha}F^{\nu}{}_{\alpha} - \eta_{\mu\nu}\eta^{\mu\nu}\frac{1}{4}F^{\alpha\beta}F_{\alpha\beta}\right] Lowering the indices and using the fact that {{tmath|1= \eta^{\mu\nu}\eta_{\mu\nu} = \delta^{\mu}_{\mu} }}, T^{\mu}{}_{\mu} = \frac{1}{\mu_0} \left[F^{\mu\alpha} F_{\mu\alpha} - \delta^{\mu}_{\mu} \frac{1}{4} F^{\alpha\beta} F_{\alpha\beta}\right] Then, using {{tmath|1= \delta^{\mu}_{\mu} = 4 }}, T^{\mu}{}_{\mu} = \frac{1}{\mu_0}\left[F^{\mu\alpha} F_{\mu\alpha} - F^{\alpha\beta} F_{\alpha\beta}\right] Note that in the first term, \mu and \alpha are dummy indices, so we relabel them as \alpha and \beta respectively. T^{\alpha}{}_{\alpha} = \frac{1}{\mu_0}\left[F^{\alpha\beta} F_{\alpha\beta} - F^{\alpha\beta} F_{\alpha\beta}\right] = 0 }} T^{00} \ge 0 }} The symmetry of the tensor is as for a general stress–energy tensor in
general relativity. The trace of the energy–momentum tensor is a
Lorentz scalar; the electromagnetic field (and in particular electromagnetic waves) has no
Lorentz-invariant energy scale, so its energy–momentum tensor must have a vanishing trace. This tracelessness eventually relates to the masslessness of the
photon. == Conservation laws ==