下中心列

下中心列从全群向幺元下降，每一步保留由更长交换子产生的部分。它是检测幂零类和组织交换子权重的规范列。 ^{[1, sec. 4C-4D]}

定义

\(\gamma_2(G)=G'\)。左范数交换子 \([x_1,\ldots,x_i]\) 属于 \(\gamma_i(G)\)。

核心结论

由定义归纳得到最小性。若 \(\gamma_{c+1}=1\)，反向读取各因子 \(\gamma_i/\gamma_{i+1}\) 在相应商中中心；与上中心列的比较给出幂零等价。完整交换子归纳见第 4C-4D 节。

结构性质

• 每个 \(\gamma_i(G)\) 是完全不变子群，受所有自同态保持。
• \([\gamma_i(G),\gamma_j(G)]\leq\gamma_{i+j}(G)\)。
• 商群满足 \(\gamma_i(G/N)=\gamma_i(G)N/N\)。
• 导出列满足 \(G^{(i)}\leq\gamma_{2^i}(G)\)，所以幂零推出可解。
• 残余幂零指 \(\bigcap_i\gamma_i(G)=1\)，不等于有限步幂零。

下中心列为交换子赋予权重，使 Hall–Witt 恒等式和收集过程可按层计算。

例子与边界

知识网络

上中心列从另一端逼近全群，幂零群主干词条证明等价，导出列用于可解性比较。

• 上中心列
• 幂零群
• 导出列

证明与来源

定义、交换子权重和幂零判据见原书第 4C-4D 节；更长恒等式由 Hall–Witt 与三子群引理支持。 ^{[1, sec. 4C-4D]}