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