An exact classical quotient criterion

The same statement applies to a subalgebra of ${\mathcal{B}}_{{\mathcal{R}}_{\mathrm{cl}}}$, with $\mathcal{Q}$ in place of $s$, provided all operations are defined there.

If a ghost-number-zero correction $a$ is added to a classical action, it changes the master residual by $sa$. The exact action-compatibility equation is

on the specified relative domain. Such a correction is not permitted merely because the equation can be written: its admissible support, normalization, and action-preservation requirements must be fixed first.