Relation to the cohomology of the idealWe now look at the relative Lie algebra cohomology:
There is an ideal such that:
This ideal consists of those combinations of the covariant derivatives which vanish in the vacuum . It turns out that the relative cohomology (46) coincides with the cohomology of :The proof is in the paper.
We will therefore proceed to study .