Contracted Bianchi Identity and the Einstein Tensor

Statement

Deriving the contracted Bianchi identity and showing the Einstein tensor is the unique divergence-free combination of Ricci curvature and metric.

Depends on

Riemann Tensor from the Covariant Commutator

Used by

PU-403/L09