Graded BRST Ward identity
= Graded BRST Ward identity
{title2=$\langle[Q_{\mathrm{BRST}},\mathcal O\}\prod_iG_i\rangle=0$}
An invariant path-integral measure and <BRST symmetry> action imply this identity when every separated insertion $G_i$ is <BRST-closed>. The bracket is the <graded commutator>, so it becomes an anticommutator for an odd $\mathcal O$. The arbitrary operator need not itself be closed. Exact insertions therefore decouple from physical correlators.