リー代数
はリー代数 の生成元である。