ネーターの定理
This shows we can extend Noether's theorem to larger Lie algebras in a natural way.