上中心列和下中心列:中心逐层扩展与换位子的逐层收缩

用户9314

2025年4月9日修改

1. 核心定义

(1) 上中心列（Upper Central Series）

•
定义：群 G 的一个递增正规列：
其中每个 
 是满足：
即 
 是 G 的子群，使得在商群 
 中，
 是其中心（
表示中心）。​

(2) 下中心列（Lower Central Series）

•
定义：群 G 的一个递减正规列：
其中每个 
 是换位子群：
​

2. 核心区别

(1) 构造方向

•
上中心列：从平凡子群出发，逐步向外扩展，最终覆盖整个群 G。方向：
。​

•
下中心列：从整个群出发，逐步向内收缩，最终达到平凡子群。方向：
（若群是幂零群）。​

(2) 每一步的生成方式

•
上中心列：每一步的扩展是通过商群的中心实现的，强调中心的逐层扩展。  ​
◦
例如，
（中心），
 是使得 
 是 
 的中心。​

•
下中心列：每一步是通过换位子群生成的，强调换位子的逐层“剥除”。  ​
◦
例如，
（导群），
。​

(3) 应用场景

•
上中心列：用于定义幂零群的幂零级（Nilpotency Class），即最小的 n 使得 
。  ​
◦
所有阿贝尔群的幂零级为 1（因 
）。​

•
下中心列：用于衡量群的“非阿贝尔性”程度，其终止于平凡群的条件是群为幂零群。  ​
◦
幂零群的下中心列在有限步终止于 { e }，其长度与幂零级一致（知识库[1][2][3]提到）。​

(4) 稳定性条件

•
上中心列：若群没有中心（
），则上中心列在第一步就稳定（
）。  ​
◦
例如，完美群（
）的上中心列可能很快稳定（知识库[1][3]提到Grun引理）。​

•
下中心列：若群是阿贝尔群，则下中心列在第一步终止（
）。  ​
◦
若群无中心（如非阿贝尔简单群），下中心列可能很长（如非幂零群）。​

3. 核心联系

(1) 幂零群中的统一性

•
幂零群的定义：群 G 是幂零群当且仅当其上中心列在有限步终止于 G，或下中心列在有限步终止于 { e }。  ​
◦
幂零级：两列的长度相等，称为群的幂零级（知识库[1][3]提到）。​

•
​幂零群​

(2) 逐层互补性

•
上中心列的每一步是下中心列的超集：在幂零群中，对任意 
，有 
，其中 n 是幂零级。  ​
◦
例如，对于四元群 
（幂零级2）：  ​
▪
下中心列：
，
，
。  ​
▪
上中心列：
，
。  ​
▪
满足 
 和 
。​

(3) 稳定与终止条件

•
上中心列的终止：
。  ​

•
下中心列的终止：
。  ​

•
在幂零群中，两列的终止步数满足 
。​

上中心列和下中心列:中心逐层扩展与换位子的逐层收缩​