Manuscript X-G@1 · X-G.tex · lemma · 01566e14
Lemma: Off-shell free nilpotence
The normalized free BRST multiplet › Independent fields and the fermion · lines 549–559 · proof included or linked
X-G@1#lem:s0nil
The differential (eq:s0) is nilpotent on the independent fields and their graded polynomial differential algebra.
Proof. Its square vanishes on each generator. The square of an odd derivation is an even derivation, so it vanishes on the algebra generated by them.