Noether's theorem
これが一般のリー群に関するネーターの定理であるが、強連続１パラメータユニタリ変換群に関するネーターの定理と違い、さらにformula_650のリー括弧に関しても、以下の性質が言える事であるH13：