主题
Search

李代数换位子序列


一个李代数 g 的换位子序列,有时也称为导出的序列,是子代数序列,通过递归定义为

 g^(k+1)=[g^k,g^k],
(1)

其中 g^0=g。子空间序列总是关于包含或维度递减的,当 g 是有限维时变得稳定。符号 [a,b] 表示 [A,B] 形式的元素的线性张成,其中 A in aB in b

当换位子序列在零子空间结束时,该李代数被称为可解的。例如,考虑严格上三角矩阵李代数,则

g^0=[0 a_(12) a_(13) a_(14) a_(15); 0 0 a_(23) a_(24) a_(25); 0 0 0 a_(34) a_(35); 0 0 0 0 a_(45); 0 0 0 0 0]
(2)
g^1=[0 0 a_(13) a_(14) a_(15); 0 0 0 a_(24) a_(25); 0 0 0 0 a_(35); 0 0 0 0 0; 0 0 0 0 0]
(3)
g^2=[0 0 0 0 a_(15); 0 0 0 0 0; 0 0 0 0 0; 0 0 0 0 0; 0 0 0 0 0],
(4)

并且 g^3=0。根据定义,g^k subset g_k,其中 g_k李代数降中心列中的项,正如上面的例子所示。

可解李代数相反,半单李代数具有恒定的换位子序列。其他李代数介于两者之间,例如,

 [gl_n,gl_n]=sl_n,
(5)

它是半单的,因为矩阵迹满足

 Tr(AB)=Tr(BA).
(6)

这里,gl_n 是一般线性李代数,而 sl_n特殊线性李代数


另请参阅

Borel 子代数, 群换位子序列, 李代数, 李代数表示, 李群, 幂零李群, 幂零李代数, 可解李群, 可解李群表示, 分裂可解李代数

此条目由 Todd Rowland 贡献

使用 Wolfram|Alpha 探索

请引用为

Rowland, Todd. "李代数换位子序列。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/LieAlgebraCommutatorSeries.html

主题分类