Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-309/4/c/solution

Using Cartan's second structure equation gives
Since , the independent nonzero lowered Riemann curvature tensor components are
with all others determined by the symmetries of the Riemann curvature tensor.

New to topics? Read the docs here!