リー代数
formula_6でＧのリー代数を表し、