ネーターの定理
この式は、特別なラグランジアンの大域対称性を特徴付け、対称群はゲージ群と呼ばれる。数学用語では、構造群であり、特に(G-structure)の理論と呼ばれる。結局、ネーターの定理は、この変換群の不変性がカレント