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 .