提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。
☰本讲目录
◎学习目标
- 掌握群的中心 \(Z(G)\) 的定义，理解「中心是 \(G\) 的正规子群，且本身是交换群」；
- 理解上中心群列（upper central series）的递归构造 \(C_0 \triangleleft C_1 \triangleleft \cdots\)，并会用对应定理说明每个 \(C_n \trianglelefteq G\)；
- 掌握幂零群（nilpotent） 的定义：存在正整数 \(n\) 使 \(C_n = G\)；
- 理解幂零指数（nilpotency class） 的含义，它度量一个群「离交换群有多远」；
- 会判断典型例子：\(S_3\) 不是幂零群、\(Q_8\) 是幂零群且幂零指数为 2；
- 证明并记住「幂零群一定是可解群」，同时掌握「可解群未必幂零群」；
- 弄清可解群性质「若 \(K \trianglelefteq G\) 且 \(K\) 与 \(G/K\) 均可解则 \(G\) 可解」在幂零群中不成立的反例；
- 整理群类之间的包含关系：素数阶 \(\to\) 循环 \(\to\) 交换 \(\to\) 幂零 \(\to\) 可解。
1群的中心 \(Z(G)\) ⏱ 00:00
本讲要定义一个重要的概念——「幂零群（nilpotent group）」。它可以在某种程度上衡量一个群离交换群到底有多远。要理解它，先从群的「中心」说起。⏱ 00:20
定义 · 群的中心 ⏱ 00:29
群 \(G\) 的中心（center）记作 \(Z(G)\)（本讲也记作 \(C_1\)），是 \(G\) 中能与所有元素交换的那些元素构成的集合：
\[ Z(G) = \{\, x \in G \mid gx = xg \text{ 对所有 } g \in G \,\}. \]
即「群里所有元素都交换的那部分」。⏱ 00:39
两个基本事实 ⏱ 01:06
- 若 \(G\) 是交换群（Abel 群），则 \(Z(G) = G\)（所有元素彼此交换）。⏱ 01:06
- 中心 \(Z(G)\) 一定是 \(G\) 的正规子群（\(Z(G) \trianglelefteq G\)），并且中心本身是一个交换群——因为中心里的元素与 \(G\) 中所有元素都交换，自然与彼此也交换。⏱ 01:18
承上启下 ⏱ 01:37
既然 \(Z(G)\) 是 \(G\) 的正规子群，就可以考虑商群 \(G / Z(G)\)。有了商群，又可以继续考虑它的中心——这正是构造「上中心群列」的出发点。
2上中心群列（upper central series） ⏱ 01:51
取 \(G\) 的正规子群 \(Z(G)\)（即 \(C_1\)），用陪集（coset）的运算构造出商群 \(G / C_1\)。这个商群里的元素都是陪集 \(xC_1\) 的形式。我们再来考虑这个新群的中心，把它记作 \(C_2 / C_1\)（即 \(C_2\) 模掉 \(C_1\)）。⏱ 01:51
定理 · 上中心群列的正规性 ⏱ 02:12
由中心必为正规子群可知 \(C_2 / C_1 \trianglelefteq G / C_1\)；再由对应定理（商群的正规子群对应回原群中更大的正规子群）可知 \(C_2 \trianglelefteq G\)，且 \(C_1 \trianglelefteq C_2\)。于是得到一个正规群列：
\[ C_1 \triangleleft C_2 \triangleleft G, \qquad \text{且 } C_1 \trianglelefteq C_2,\ C_2 \trianglelefteq G. \]
继续递归 ⏱ 03:22
既然 \(C_2\) 也是 \(G\) 的正规子群，就可以继续构造商群 \(G / C_2\)，并把它对应的中心记作 \(C_3 / C_2\)。如此反复下去。
2.1 递归定义 ⏱ 04:29
定义 · 上中心群列与 \(n\) 次中心 ⏱ 04:37
把 \(C_1 = Z(G)\) 称为 \(G\) 的一次中心，\(C_2\) 称为 \(G\) 的二次中心，依此类推。一般地，设 \(C_{n-1} \trianglelefteq G\)，令
\[ \frac{C_n}{C_{n-1}} = Z\!\left( \frac{G}{C_{n-1}} \right), \qquad n = 1, 2, 3, \dots \]
并取起点 \(C_0 = \{e\}\)（平凡群）。则 \(C_n\) 称为 \(G\) 的 \(n\) 次中心；序列
\[ C_0 = \{e\} \le C_1 = Z(G) \le C_2 \le C_3 \le \cdots \]
就叫做 \(G\) 的上中心群列（upper central series）。⏱ 05:48
为什么每个 \(C_n\) 都是 \(G\) 的正规子群（点击展开）
用归纳法。基始 \(C_0 = \{e\}\)、\(C_1 = Z(G)\) 都是 \(G\) 的正规子群（已证）。⏱ 04:16
设 \(C_{n-1} \trianglelefteq G\)。则 \(C_{n-1}\) 的陪集构成商群 \(G / C_{n-1}\)。由「中心是正规子群」得 \(C_n / C_{n-1} \trianglelefteq G / C_{n-1}\)。
考虑由对应定理给出的自然同态 \(\pi: G \to G / C_{n-1}\)。商群中的正规子群 \(C_n / C_{n-1}\) 对应回 \(G\) 中的正规子群，而这个正规子群正是 \(C_n\)。故 \(C_n \trianglelefteq G\)。归纳成立。⏱ 03:44
于是 \(C_0 < C_1 < C_2 < \cdots\) 形成一条由正规子群构成的正规群列。写群列时要特别注意：它是「不断变大」的（\(C_1 \subset C_2 \subset \cdots\)），不要与可解群列「不断变小（取交换子群）」的方向混淆。⏱ 04:00
3幂零群（nilpotent group）的定义 ⏱ 07:29
上中心群列 \(C_0 < C_1 < C_2 < \cdots\) 随着 \(n\) 增大而增大，但它再怎么增大也不可能超过 \(G\) 本身。关键问题是：它能不能刚好「爬升」到 \(G\)？⏱ 07:36
定义 · 幂零群 ⏱ 08:26
若存在一个正整数 \(n\)，使得 \(G\) 的 \(n\) 次中心 \(C_n = G\)，则称 \(G\) 为幂零群（nilpotent group）。⏱ 10:32
为什么「不一定显然」 ⏱ 09:05
你可能会觉得「中心越来越大，最后总会到 \(G\)」，但不一定：中心群列可能在某一步之后就不再变大（例如 \(Z(G) = \{e\}\) 时，群列永远停在平凡群）。所以能否爬到 \(G\) 需要逐个判断，这正是下面举例的意义所在。⏱ 09:05
4幂零指数（nilpotency class） ⏱ 10:36
定义 · 幂零指数 ⏱ 10:36
使 \(C_n = G\) 成立的（最小）那个正整数 \(n\)，称为 \(G\) 的幂零指数（nilpotency class / index）。⏱ 10:36
怎么理解「幂零指数」 ⏱ 11:11
幂零指数其实就是在告诉你这个群离交换群有多远：
- 若 \(G\) 本身就是交换群（Abel 群），则 \(C_1 = G\)，幂零指数 \(n = 1\)；
- 幂零指数越大，说明要经过越多次「取中心」才能爬回 \(G\)，即离交换群越远；
- 若它根本不是幂零群，就永远没有这样一个 \(n\)，也就谈不上幂零指数。⏱ 11:55
例 · 交换群的幂零指数 ⏱ 11:21
若 \(G\) 是 Abel 群，则 \(Z(G) = G\)，即 \(C_1 = G\)，所以幂零指数 \(n = 1\)。它本身就交换，「离交换群」的距离为 0（一步即可）。⏱ 11:59
5例子：\(S_3\) 不是幂零群，\(Q_8\) 是幂零群 ⏱ 12:38
5.1 \(S_3\)：可解但非幂零 ⏱ 12:41
前面已知 \(S_3\) 是一个可解群。它的中心是什么呢？我们在上一讲严格证过：\(Z(S_3) = \{e\}\) 是平凡群（只有单位元）。⏱ 12:58
于是 \(C_1 = \{e\}\)。一旦 \(C_1\) 是平凡群：把 \(S_3\) 模掉 \(\{e\}\) 后得到的商群仍是 \(S_3\) 本身，再取它的中心还是 \(\{e\}\)。因此 ⏱ 13:11
\[ C_n = \{e\}, \quad \forall\, n. \]
无论怎么往上爬，上中心群列都永远停在平凡群，不可能升到 \(S_3\)。所以 ⏱ 13:24
结论 ⏱ 14:11
\(S_3\) 不是幂零群。由「\(S_3\) 是可解群但不是幂零群」可以直接得出一个重要的推论：可解群不一定是幂零群。⏱ 14:22
S\(_3\) 不是幂零群的验证（点击展开）
- 先求 \(Z(S_3)\)。设 \(\sigma \in Z(S_3)\)，则 \(\sigma\) 必须与 \(S_3\) 中每个元素交换。取 \((1\ 2)\)：与它交换的只有恒等与 \((1\ 2)\)；取 \((1\ 3)\)：与它交换的只有恒等与 \((1\ 3)\)。两者的交集只有单位元，故 \(Z(S_3) = \{e\}\)。
- 因此 \(C_1 = \{e\}\)。商群 \(S_3 / \{e\} \cong S_3\)，它的中心仍是 \(\{e\}\)，故 \(C_2 / C_1 = \{e\}\)，从而 \(C_2 = \{e\}\)。
- 归纳下去，对一切 \(n\) 都有 \(C_n = \{e\}\)，永远到不了 \(S_3\)。所以 \(S_3\) 不是幂零群。
5.2 \(Q_8\)：幂零且幂零指数为 2 ⏱ 17:04
现在看另一个例子——四元数群 \(Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}\)。它是可解群，事实上它也是幂零群。⏱ 17:04
第一步 · 求中心 ⏱ 17:31
\(Q_8\) 中哪个元素能与所有元素交换？恒元 \(1\) 当然可以；再看 \(-1\)：\((-1)i = i(-1) = -i\)，\((-1)j = j(-1) = -j\)，\((-1)k = k(-1) = -k\)，所以 \(-1\) 也与所有元素交换。而 \(i, j, k\) 两两不交换（例如 \(ij = k\) 但 \(ji = -k\)，相差一个 \(-1\)）。故
\[ Z(Q_8) = \{\pm 1\} = C_1. \]
第二步 · 爬到 \(C_2\) ⏱ 18:18
\(C_2\) 对应的是把 \(Q_8\) 模掉 \(C_1 = \{\pm 1\}\) 后的商群的中心。模掉 \(\{\pm 1\}\) 之后，元素之间的「正负」不再有区别（因为 \(-1\) 已经被当成陪集中的平凡元），原来的非交换性（如 \(ij\) 与 \(ji\) 只差一个 \(-1\)）就消失了，于是这个商群是交换的。因此它的中心就是它自身，对应回 \(Q_8\) 得
\[ C_2 = Q_8. \]
即 \(Q_8 / \{\pm 1\}\) 是一个交换群（同构于 Klein 四元群型 \(C_2 \times C_2\)），模掉 \(\pm 1\) 后正负无区别，商群的中心对应回整个 \(Q_8\)。⏱ 19:08
结论 ⏱ 20:12
\(Q_8\) 的二次中心 \(C_2 = Q_8\)，所以它是一个幂零群，且幂零指数为 2。它「离交换群」的距离就只差一个 \(\{\pm 1\}\)。⏱ 20:21
Q\(_8\) 是幂零群且指数为 2 的验证（点击展开）
- 求 \(Z(Q_8)\)：\(Q_8 = \{\pm1, \pm i, \pm j, \pm k\}\)。\(1\) 与所有元素交换。计算 \(-1\)：\((-1)i = -i = i(-1)\)、\((-1)j = -j = j(-1)\)、\((-1)k = -k = k(-1)\)，故 \(-1\) 也在中心。而 \(i,j,k\) 不交换（\(ij=k\)、\(ji=-k\)），故 \(Z(Q_8) = \{\pm 1\}\)。
- 构造商群：\(C_1 = \{\pm1\} \trianglelefteq Q_8\)，商群 \(Q_8/C_1\) 的阶为 \(8/2 = 4\)，元素为 \(\{1C_1,\, iC_1,\, jC_1,\, kC_1\}\)。
- 判断交换性：\(iC_1\) 的平方 \((iC_1)^2 = i^2 C_1 = -1 C_1 = C_1\)，即每个陪集都是二阶；又因为 \(ij = k\) 与 \(ji = -k\) 落在同一个陪集 \(kC_1\)（因 \(-k = (-1)\cdot k \in kC_1\)），所以 \(iC_1 \cdot jC_1 = jC_1 \cdot iC_1\)。故 \(Q_8/C_1\) 是交换群（同构于 Klein 四元群 \(C_2 \times C_2\)）。
- 取回中心：交换群的中心是它自身，故 \(Z(Q_8/C_1) = Q_8/C_1\)。对应回 \(Q_8\) 得 \(C_2 = Q_8\)。
- 因此 \(C_2 = Q_8\)，幂零指数为 2，\(Q_8\) 是幂零群。
6幂零群一定是可解群 ⏱ 14:41
命题 ⏱ 14:41
幂零群一定是可解群（soluble / solvable）。
幂零群必为可解群列的论证（点击展开）
思路：要证明一个群可解，只需给出它的一条可解群列——即一条正规群列，其相邻商群都是交换群。⏱ 15:02
证明：设 \(G\) 是幂零群，则存在 \(n\) 使 \(C_n = G\)。考虑上中心群列
\[ \{e\} = C_0 \triangleleft C_1 \triangleleft C_2 \triangleleft \cdots \triangleleft C_n = G. \]
它的每个商 \(C_k / C_{k-1}\)（\(k = 1, \dots, n\)）都是某个商群 \(G / C_{k-1}\) 的中心。而一个群的中心一定是交换群，所以每一个 \(C_k / C_{k-1}\) 都是交换群。⏱ 15:59
于是这条正规群列的所有相邻商群都交换，恰好构成 \(G\) 的一条可解群列。由可解群的定义（等价刻画）可知 \(G\) 是可解群。⏱ 16:24
三个结论要记住 ⏱ 20:32
- 幂零群一定是可解群（从上中心群列直接验证）；
- 可解群不一定是幂零群（反例：\(S_3\)）；
- 可解群也可能是幂零群（例：\(Q_8\)）。
7对比：可解群性质对幂零群不成立 & 群类关系 ⏱ 21:21
7.1 可解群的传递性（正例） ⏱ 21:30
性质 · 可解群的「合成」结论 ⏱ 21:39
若 \(K \trianglelefteq G\)，且 \(K\) 与 \(G/K\) 都是可解群，则 \(G\) 也是可解群。
（可解群列可以直接拼接：把 \(K\) 的可解群列与 \(G/K\) 的可解群列拼起来即可，证明在课本上，较易看懂。）⏱ 22:15
7.2 幂零群没有类似性质（反例） ⏱ 22:32
那么「若 \(K \trianglelefteq G\) 且 \(K\)、\(G/K\) 都是幂零群，则 \(G\) 是幂零群」这个类比结论对不对？不对。反例仍然用 \(S_3\)。⏱ 23:31
反例 ⏱ 24:39
取 \(H = \langle\,(1\ 2\ 3)\,\rangle\)（由一个三循环生成的子群），则：
- \(H \cong C_3\)（三阶循环群，交换），所以 \(H\) 是幂零（交换 \(\Rightarrow\) 幂零）；且 \(|H| = 3\)、\(|S_3| = 6\)，指数 \([S_3 : H] = 2\)，故 \(H \trianglelefteq S_3\)；⏱ 24:49
- 商群 \(S_3 / H\) 的阶为 \(6/3 = 2\)，必同构于 \(C_2\)（二阶群只有交换这一种结构），所以 \(S_3/H\) 是交换群，从而也是幂零群；⏱ 25:25
- 但 \(S_3\) 本身不是幂零群（第 5.1 节已证）。
7.3 群类关系整理 ⏱ 28:12
学了这么多群类（循环、交换、可解、幂零……），最后把它们的包含关系理一理。箭头方向「\(A \to B\)」表示「\(A\) 一定是 \(B\)」：⏱ 29:00
\[
\text{素数阶群} \;\to\; \text{循环群} \;\to\; \text{交换群} \;\to\; \text{可解群}, \qquad
\text{交换群} \;\to\; \text{幂零群} \;\to\; \text{可解群}.
\]
| 包含关系 | 说明 | 能否反向？ |
|---|---|---|
| 素数阶 \(\to\) 循环 | 素数阶群必为循环群（生成元的阶等于群阶） | 否（如 \(C_4\) 循环但非素数阶） |
| 循环 \(\to\) 交换 | 循环群必为 Abel 群 | 否（如 \(K_4\) 交换但不循环） |
| 交换 \(\to\) 可解 | 交换群的一阶交换子群列即平凡 | 否（如 \(S_3\) 可解但不交换） |
| 交换 \(\to\) 幂零 | 交换群 \(C_1 = G\)，幂零指数 1 | 否（如 \(Q_8\) 幂零但不交换） |
| 幂零 \(\to\) 可解 | 上中心群列即一条可解群列 | 否（如 \(S_3\) 可解但非幂零） |
写群列时的小提醒 ⏱ 21:04
可解群列（取交换子群）是「不断变小」的，而上中心群列（取中心）是「不断变大」的。写群列时一定要理清楚「开头是平凡群还是大群、方向是变小还是变大」，这是本讲和上一讲最容易写错的地方。
★重点回顾
1
群的中心 \(Z(G) = \{x \in G : gx = xg,\ \forall g \in G\}\)（记作 \(C_1\)）；它是 \(G\) 的正规子群，且本身是交换群。交换群满足 \(Z(G) = G\)。
2
上中心群列：\(C_0 = \{e\}\)，\(C_1 = Z(G)\)，递归地 \(C_n / C_{n-1} = Z(G / C_{n-1})\)，即 \(C_n\) 是 \(G\) 的 \(n\) 次中心。用对应定理可证每个 \(C_n \trianglelefteq G\)，形成正规群列 \(C_0 < C_1 < C_2 < \cdots\)（方向是不断变大）。
3
幂零群定义：存在正整数 \(n\) 使 \(C_n = G\)，则 \(G\) 为幂零群。
4
幂零指数：使 \(C_n = G\) 的最小正整数 \(n\)；它度量一个群离交换群有多远（交换群指数为 1，\(Q_8\) 指数为 2）。
5
例子：\(S_3\) 不是幂零群（\(Z(S_3) = \{e\}\)，故 \(C_n\) 恒为 \(\{e\}\)）；\(Q_8\) 是幂零群且指数为 2（\(Z(Q_8) = \{\pm1\} = C_1\)，\(Q_8/\{\pm1\}\) 是交换群，故 \(C_2 = Q_8\)）。
6
幂零群一定是可解群：上中心群列每个商 \(C_n/C_{n-1}\) 都是某商群的中心，中心必交换，构成可解群列。反过来不成立（\(S_3\) 可解但非幂零）。
7
可解群有「若 \(K \trianglelefteq G\) 且 \(K\)、\(G/K\) 均可解则 \(G\) 可解」，但幂零群没有类似性质。反例：\(H = \langle(1\,2\,3)\rangle \cong C_3 \trianglelefteq S_3\)，\(H\) 与 \(S_3/H \cong C_2\) 都幂零，但 \(S_3\) 不幂零。
8
群类关系：素数阶 \(\to\) 循环 \(\to\) 交换 \(\to\) 可解；交换 \(\to\) 幂零 \(\to\) 可解。即 交换 ⊂ 幂零 ⊂ 可解，循环 ⊂ 交换，素数阶 ⊂ 循环；这些包含均不可逆。
⚠易错点提醒
常见错误
- 把上中心群列的方向写反：上中心群列 \(C_0 < C_1 < \cdots\) 是「不断变大」的（取中心爬升）；可解群列（取交换子群）才是「不断变小」的。写群列时务必分清起点与方向。
- 误以为「中心越来越大就一定能到 \(G\)」：若 \(Z(G) = \{e\}\)（如 \(S_3\)），群列永远停在平凡群，不升。
- 把「可解」与「幂零」混为一谈：幂零 \(\Rightarrow\) 可解，但可解 \(\nRightarrow\) 幂零（反例 \(S_3\)）；可解且幂零也存在（\(Q_8\)）。
- 误以为可解群对「正规子群 + 商群」的合成性质在幂零群中仍成立：不成立（反例 \(H \trianglelefteq S_3\)，\(H\)、\(S_3/H\) 均幂零而 \(S_3\) 不幂零）。
- 算 \(Z(Q_8)\) 时漏掉 \(-1\)：\(Q_8\) 中不仅 \(1\)，\(-1\) 也与所有元素交换，故中心是 \(\{\pm1\}\) 而非 \(\{1\}\)。
- 混淆 Klein 四元群 \(K_4\)（\(S_4\) 中两个不相交对换的乘积）与四元数群 \(Q_8\)（\(\pm1, \pm i, \pm j, \pm k\)）：本讲例子是 \(Q_8\)，模掉 \(\{\pm1\}\) 后才同构于 \(K_4\) 型交换群。
- 包含关系全写反：记住「素数阶 \(\to\) 循环 \(\to\) 交换 \(\to\) 可解」以及「交换 \(\to\) 幂零 \(\to\) 可解」的方向，箭头都可单向。
✎自测与作业
- 验证 \(Z(Q_8) = \{\pm 1\}\)：逐一检查 \(\pm i, \pm j, \pm k\) 是否都在中心中，并说明为什么 \(i, j, k\) 不在（例如 \(ij = k \neq -k = ji\)）。
- 说明为何 \(S_3\) 的 \(C_n\) 恒为 \(\{e\}\)：先证 \(Z(S_3) = \{e\}\)，再由 \(S_3 / \{e\} \cong S_3\) 归纳说明对一切 \(n\)，\(C_n = \{e\}\)，故 \(S_3\) 不是幂零群。
- 写出「素数阶 / 循环 / 交换 / 幂零 / 可解」之间的包含关系（画出有向图），并逐条说明哪些包含不可逆（各给一个反例，如 \(S_3\) 可解非幂零、\(Q_8\) 幂零非交换）。
- 证明「若 \(G\) 是 Abel 群，则它的幂零指数为 1」，并据此说明 \(C_1 = G\)。
- 取 \(H = \langle(1\ 2\ 3)\rangle \le S_3\)，验证 \(H \trianglelefteq S_3\)、\(H \cong C_3\)、\(S_3/H \cong C_2\)，并说明这个例子为什么否定「幂零群对正规子群—商群的合成性」。
- （拓展）用对应定理完整写出「若 \(C_{n-1} \trianglelefteq G\)，则 \(C_n \trianglelefteq G\)」的归纳证明。
下一讲预告
第 24 讲将继续讨论群类之间的关系与相关习题（可解群 / 幂零群 / 单群之间的进一步刻画），可结合本讲的群类关系图准备。