Noether identities
In mathematics, Noether identities characterize the degeneracy of a Lagrangian system. Given a Lagrangian system and its Lagrangian L, Noether identities can be defined as a differential operator whose kernel contains a range of the Euler–Lagrange operator of L. Any Euler–Lagrange operator obeys Noether identities which therefore are separated into the trivial and non-trivial ones.