让g成为一个免费的李代数,并带有基本家庭(x1,…,xn,…)。令gn表示由x1,…,xn生成的g的子代数,令bn表示gn包含xn的理想最小的。
(a) 证明 bn 是由 gn 生成的子模
(ad(xi1)∘⋯∘ad(xik))(xn), 其中
k⩾0 和
ih⩽n 代表所有
h。
(b) 证明gn=gn−1⊕bn;推导出 g 是 bn 的直和对于 n⩾1。
(c) 使用(a)和(b)证明K-模g是由元素[xi1,[xi2,…,[xik−1,xik]…]]生成的,其中k⩾0和ih⩽ik代表h<k。