关于n次导出群G⁽ⁿ⁾与下中心列Gⁿ生成元的技术问询

首先明确你给出的两个核心定义：

• n次导出群：G^(0) = G，递归定义为 G^(n+1) = [G^(n), G^(n)]（即前一次导出群的换位子群）
• 下中心列第n项：G^0 = G，递归定义为 G^(n+1) = [G^n, G]（即前一项与原群的换位子群）

接下来直接回答你提出的两个等式是否成立：

一、给定等式的正确性 #

1. 二次导出群 G^(2) 的等式 #

这个等式完全成立。
根据导出群的定义，G^(2) = [G^(1), G^(1)]，而G^(1) = [G, G]是由所有二元换位子[x₁,x₂]生成的子群。换位子群的本质就是由其母群中所有元素的换位子生成，因此[G^(1), G^(1)]必然是由所有两个G^(1)中元素的换位子生成——也就是所有形如[[x₁,x₂],[x₃,x₄]]（其中x₁,x₂,x₃,x₄ ∈ G）的元素生成的子群，和你给出的生成集完全一致。

2. 下中心列第二项 G^2 的等式 #

这个等式同样成立。
按照定义，G^2 = [G^1, G]，G^1 = [G, G]是二元换位子生成的子群。[G^1, G]就是由所有G^1中的元素与G中元素的换位子生成的，也就是[[x₁,x₂],x₃]这类形式的元素。这里需要提一句：虽然存在[x₁,[x₂,x₃]]这种不同嵌套方式的换位子，但通过换位子恒等式（比如[a,[b,c]] = [[a,c],b]⁻¹[[a,b],c]⁻¹[[b,c],a]⁻¹），这类换位子都可以转化为[[x₁,x₂],x₃]及其逆元的乘积，所以你给出的生成集足以生成整个G^2。

二、n>2时的推广结论 #

我们可以把上述结论自然地递推到更高阶的情况：

1. 高阶导出群 G^(n) #

n次导出群是(n-1)次导出群的换位子群，即G^(n) = [G^(n-1), G^(n-1)]。递推下来，G^(n)可以由所有2ⁿ元的嵌套换位子生成，具体形式为：
$$[[\dots[[x_1,x_2],[x_3,x_4]],\dots],[x_{2^n-1},x_{2n}]]$$
其中每个x_i ∈ G。简单来说，每一次导出操作都是把前一次的生成元两两取换位子，因此生成元涉及的群元素数量每次翻倍。

2. 高阶下中心列 G^n #

下中心列的第n项满足G^n = [G^(n-1), G]，递推可得它由所有**(n+1)元的左-normed换位子**生成，也就是形如：
$$[[\dots[[x_1,x_2],x_3],\dots],x_{n+1}]$$
的元素生成，其中每个x_i ∈ G。和二阶情况类似，其他嵌套方式的换位子都可以通过换位子恒等式转化为左-normed换位子的乘积，因此这个生成集是完备的。

三、对你研究动机的补充 #

你提到希望表述G^n = \{e\}和G^(n) = \{e\}相关的命题，结合上面的生成元结论，可以得到非常直观的等价条件：

• G^n = \{e\}（即群G的幂零类≤n）当且仅当所有(n+1)元的左-normed换位子都是单位元；
• G^(n) = \{e\}（即群G的可解长度≤n）当且仅当所有2ⁿ元的嵌套换位子都是单位元。

这种把抽象子群平凡化条件转化为具体换位子等式的表述，对证明幂零群、可解群的相关性质会很有帮助。

内容的提问来源于stack exchange，提问作者Walter Simon