Ricci decomposition

The Weyl tensor has the additional symmetry that it is completely traceless:

One may check that the Ricci decomposition is orthogonal in the sense that

Terminological note. It would be symbolically clean to present this orthogonality as saying

If n > 4, then there is an orthogonal decomposition into (unique) irreducible subspaces