Генераторы симметрий в особенных теориях

Доказано, что для особенных невырожденных теорий всякая симметрия лагранжиана относительно неточечных преобразований лагранжевых переменных с незамкнутой (в общем случае) алгеброй в гамильтоновском формализме порождает соответствующие преобразования канонических переменных, генерируемые нётеровским зарядом относительно скобки Дирака. На поверхности всех связей эти преобразования оставляют гамильтониан инвариантным, а алгебра нётеровских зарядов оказывается замкнутой. Как следствие, установлено, что в калибровочных теориях общего вида всегда существует (если пренебречь возможными аномалиями) нильпотентный оператор БРСТ-заряда.