群论专题读本 · 其七

本册定位。 微积分里，导数 f′(x) 度量「输出随输入的变化」；f′ 恒等于零，f 就是常值函数。第一章群论里有一组概念与它惊人地同构：交换子 [x,y] = x⁻¹y⁻¹xy 度量「xy 与 yx 差多少」——元素可交换 ⟺ [x,y] = e；于是由一切交换子生成的子群 导群 G′ 是「非 Abel 性的总度量」，而 G′ = {e} ⟺ G 是 Abel 群，恰似「导数消失 ⟺ 常数」。更妙的是连锁反应：反复取导群得到导出列，终于 {e} 的群叫可解群（多项式求导有限次归零；五次方程无根式解正是 S₅ 的导出列永不归零）；换一种「求导」——每步与整个 G 换位——得到降中心列，终于 {e} 的群叫幂零群（Heisenberg 群是原型，其导群恰等于中心）。最后还有一个与「导数」真正同名的家伙：导子（derivation）D(ab) = D(a)b + aD(b)，矩阵的内导子 ad_A(B) = AB − BA 精确满足 Leibniz 律。文末按叙事链预告其八（刚性）：导群是「结构保持映射必保」的内蕴量（其五的特征子群一节已埋下 D₆′ = ⟨r²⟩ 的伏笔），本册属结构保持线 ④→⑦。

一两种「差」：从差商到交换子

f′ 的原始定义是差商的极限，它把「函数在 x₀ 附近变了多少」压缩成一个数。群论里的「乘法」没有极限可言，但「交换失败了多少」却有精确的代数版本。对两个元素 x, y，把乘积 xy 与 yx 比较：

xy = yx　⟺　x⁻¹y⁻¹xy = e

右边的 x⁻¹y⁻¹xy 就是交换子（commutator），记 [x, y]：它「检测交换律」，值为 e 时交换律恰在此处成立。脚本 A1 对 S₃ 全部 36 对、D₆ 全部 144 对元素逐一核验了

[x,y] = e ⟺ xy = yx

无一例外——这不是定义的同义反复，而是把「交换律」这一整条性质翻译成了「某个表达式恒等于单位元」的代数陈述，后者可以像多项式一样代入、展开、运算。

交换子为什么是「差」。 把 xy 看成「先 y 后 x」，yx 看成「先 x 后 y」：两条路从同一对元素出发，终点却未必相同。交换子 [x,y] 正是「先走 y⁻¹x⁻¹ 把 xy 的路退回起点，再走 yx 的路」——它把两条路线的偏差压缩成一个群元素。反过来由 [x,y] 可恢复偏差：

yx = xy·[y,x] 的某种「共轭版」（精确地说 gh = hg·[g⁻¹,h] 型恒等式，见注 1.1。）与微积分对照：差商是「输入的差」到「输出的差」的比值，交换子是「乘法顺序的差」本身——一个测连续变化，一个测离散秩序。

注 1.1（两条 Leibniz 型恒等式）。 交换子真正的「乘法展开公式」与导数乘积律 (fg)′ = f′g + fg′ 形似。脚本 A3a/A3b 在 S₃、D₆、Q₈ 上逐一验证了两条（^y t = y⁻¹ty 记右共轭）： [xy,z] = ^y[x,z]·[y,z]，　　[x,yz] = [x,z]·(z⁻¹[x,y]z) 第一条说「x 接上 y 再与 z 换位」可拆成「y 搬运过的 [x,z]」乘「[y,z]」——与 (fg)′ = f′g + fg′ 的每一项对应；第二条同理。这两条恒等式是第四节「导群正规」与第五节「降中心列」的引擎。

二导群 G′：交换子们的小宇宙

把 G 中一切交换子收集起来，得到一个集合；但它未必是子群——两个交换子的乘积通常不再是单个交换子（最小反例 96 阶；S₃、A₄ 这类小群恰好是例外，脚本 A5 验证了它们的交换子集本身就是子群）。所以必须取「生成」：

教材接口。 ① G′◁G 的证明只需两条：交换子的共轭仍是交换子（数值上即 C2：交换子集 ⊆ 导群），加上 §1.2 的子群判定。② Abel 化 G/G′ 是 §1.5 商群思想的典型应用：商掉「非交换的度量」，得到的是「最大 Abel 商」——任何把 G 打到 Abel 群去的同态都必须先穿过 G/G′。

定义 2.1（导群与 Abel 化）。 导群（derived subgroup，亦译换位子群）G′ = ⟨[x,y] : x, y ∈ G⟩。商群 G/G′ 称为 G 的 Abel 化（abelianization），记 G^ab。两条基本事实： ① G′ ◁ G，且 G/G′ 是 Abel 群（商中 [x̄, ȳ] = e 是定义式的直接推论）； ② 最小性：若 N ◁ G 使 G/N Abel，则 G′ ⊆ N。故 G′ 是「使商 Abel 的最小正规子群」——脚本 C1 在 S₃、A₄、S₄、D₆、Q₈ 上把这句话数值化：取全部「Abel 商核」正规子群之交，结果恰等于导群。

注 2.2（为什么「导」）。 对照表在这一刻成型：f′ ≡ 0 ⟺ f 常值　⇄　G′ = {e} ⟺ G Abel。导群就是群的「一阶导数」：它测出 G 离开「常值世界」（Abel 世界）多远。而 Abel 化 G/G′ 则是「把群打平到 Abel 世界后剩下的壳」——多项式里那是常数项，群论里那是「交换骨架」。

特征性。 导群比普通正规子群更稳固：任何自同构 σ 都把 [x,y] 送到 [σ(x),σ(y)]，故 σ(G′) = G′——导群是特征子群。脚本 C3 枚举了 D₆ 的全部 12 个自同构（复核其五公式 |Aut(D₆)| = 6·φ(6) = 12），逐一验证 σ(D₆′) = D₆′。这里与其五锁死：D₆′ = ⟨r²⟩ 正是其五「特征子群」一节用过的头号例子——当时它作为特征子群被验证，如今我们知道它之所以特征，是因为它是导群。

三导群账本：第一章群们的「导数表」

像做微积分练习一样，把熟知的群逐一求导。脚本 B 组全部数值枚举：

读账本的三个规律（B5/B6 验证）。 ① D_n′ = ⟨r²⟩：n 为奇数时 ⟨r²⟩ = ⟨r⟩，D_n′ 是 n 阶循环群，Abel 化 C₂；n 为偶数时 D_n′ 是 n/2 阶循环群，Abel 化 V₄——奇偶之分在导群里第一次显形（D₆′ 阶 3、D₈′ 阶 4 均数值命中）。② Q₈′ = Z(Q₈)：Q₈ 的导群与中心重合为 {±1}，Abel 化 V₄。③ 非 Abel 的「最小导」是 2 阶：|G′| ≥ 2 且导群阶小 ⟺ 群「接近 Abel」——同是 8 阶，D₄、Q₈ 的导群都只有 2 阶，而 S₄ 的导群 A₄ 大到 12 阶。导群的大小本身就是「不可交换性的总量」。

注 3.1（V₄ 的反复出场）。 A₄′ = V₄：三个双换位 (01)(23)、(02)(13)、(03)(12) 连同单位元，正是其六里 S₃ 的「2 元子集作用」、其五里 D₆ 的「对角线型稳定子」反复遇见的那只 4 阶群。它在导群账本里再次现身——这次作为 A₄ 的「导数」。

四反复求导：导出列与可解群

n 次多项式求导 n + 1 次后恒等于零——「反复求导终于归零」是可微函数世界里最熟悉的体验。群论照搬：对 G′ 再取导群，得到二阶导群 G″ = (G′)′，如此往复：

G ⊵ G′ ⊵ G″ ⊵ G‴ ⊵ ⋯　（导出列 derived series）

每一步都仍是正规子群（导群的特征性一层层传下去），且每级商 G^(k)/G^(k+1) 都是 Abel 群。如果这条列在有限步到达 {e}，G 就叫可解群（solvable）。脚本 D1 对 S₄ 跑出教科书般的数列：

S₄ → A₄ → V₄ → {e}　　|·| = 24 → 12 → 4 → 1

三步归零：S₄ 可解。而 D2 是反面的戏剧：

S₅ → A₅ → A₅ → A₅ → ⋯　　|·| = 120 → 60 → 60（永不归零）

A₅ 是单群（除自身与 {e} 外无正规子群），而单群的导群只能是自己——「求导永不归零的函数」。这正是一般五次方程无根式解的代数内核：方程的 Galois 群是 S₅，而 Galois 判据说「方程可根式解 ⟺ 其 Galois 群可解」。

「多项式」对照（G 组词典第 4 行）。 次数 ≤ n 的多项式是「n + 1 阶导数恒零」的函数；可解群是「导出列有限步归 {e}」的群。S₃ 是「一次多项式」（6→3→1 两步），S₄ 是「二次多项式」（24→12→4→1 三步），S₅ 则根本不是多项式——它是「指数函数」：怎么求导都还是自己（的化身）。Galois 理论的壮举，是把这个函数论比喻变成了可判定的代数准则。

注 4.1（为什么叫 derived / solvable，历史见第八节）。 derived（导出）正是「逐级求导」的图像；solvable（可解）则来自「方程可根式求解」——两个名字分别从微积分与代数方程两个方向压向同一串子群列，本册的标题就是这次「撞名」的产物。

五第二种求导：降中心列与幂零群

导出列每步只与「当前子群内部」换位。若改为每步都与整个 G 换位，就得到另一条列：

γ₁(G) = G，　γ_n+1(G) = [γ_n(G), G] = ⟨[x,y] : x ∈ γ_n(G), y ∈ G⟩

称为降中心列（lower central series）。注意 γ₂ = [G,G] = G′：两条列共享「一阶导数」，然后分道扬镳。终于 {e} 的群叫幂零群（nilpotent）——名字来自幂零矩阵 N^k = 0 的图像：每与 G 换位一次，群就「被压低一级」，压低有限次后归零。

S₄ 的惊奇（D3/D4，本册最有教益的一个数值）。 直觉上「换位得越狠缩得越快」，但两条列恰好相反：导出列只许 A₄ 内部自相换位，A₄′ = V₄ 还缩得动（12→4）；降中心列却要让 A₄ 与整个 S₄ 换位，而 [A₄, S₄] 一算竟是整个 A₄（12 个）——列从此卡死。用脚本的话说：S₄ 的导出列 24→12→4→1 一路归零，降中心列 24→12→12 永远停在 A₄。区别的本质：γ 系列每一步都被「全群的不可交换性」拖着，而 G 的不可交换性（A₄）太大，拖不动了。

注 5.1（幂零群的经典事实，脚本外）。 幂零群的 Abel 化非平凡（中心非平凡是有限幂零群的必然），p-群皆幂零；反过来 Heisenberg 群 UT₃(F_p) 是「极小非 Abel p-群」的原型——它用最小的代价（阶 p³）实现了「非 Abel」：一切不可交换性都收缩进中心。下一节看它的精确结构。

六Heisenberg：导群 = 中心的那只群

固定素数 p，取 F_p 上 3×3 上三角幺模矩阵：

UT₃(F_p) = { [1 a c; 0 1 b; 0 0 1] : a, b, c ∈ F_p }

共 p³ 个元素，称为（有限）Heisenberg 群。脚本 E 组取 p = 3（27 阶），用 mod-3 整数矩阵乘法精确枚举。记生成元 A = I + E₁₂、B = I + E₂₃（上三角「超对角」上的两个基本位移），直接相乘得到最有名的交换子：

[A, B] = A⁻¹B⁻¹AB = I + E₁₃ =: C　（E2：数值命中）

两个「位移」的交换子，是把位移「接力传递」到右上角的那一格——这正是矩阵乘法的交换子几何。于是结构一目了然：

UT₃(F₃) 的解剖（E1 数值）。 中心 Z = {I + cE₁₃ : c ∈ F₃}（3 元，右上角一格）；导群 = 全部交换子生成的子群 = 中心（阶 3）。即

UT₃(F₃)′ = Z(UT₃(F₃))，　降中心列 27 → 3 → 1（幂零类 2）「导群 = 中心」是非 Abel 群能有的最极端布局：交换失败的量全部集中在中心里，既不外溢也不互相抵消——群论里「不可交换性的总量」与「可交换性的总额」在此重合。Abel 化 UT₃/Z ≅ C₃×C₃（两个参数 a, b 自由，9 元）。

注 6.1（为什么叫 Heisenberg，见 8.1）。 连续版（实矩阵）是量子力学对易关系 [x̂,p̂] = iħ 的群论实现；有限版在数论与表示论中处处可见。它的幂零类 2 意味着「三阶交换子全为零」——与幂零矩阵 N³ = 0 同构的图像。

七导子：与「导数」真正同名的家伙

「导群」只是比喻上的撞名；数学里还有一个概念与「导数」共享同一个拉丁词根 derivare（引出），并且逐字满足微积分的乘积律。设 A 是一个环（或李代数），映射 D : A → A 若满足

D(ab) = D(a)·b + a·D(b)　（Leibniz 律）

就叫 A 的一个导子（derivation）。取矩阵 X，定义内导子

ad_X(Y) = XY − YX = [X,Y]（矩阵交换子/李括号）

——注意这里 [X,Y] = XY − YX 是「差」而非 x⁻¹y⁻¹xy，但与群交换子共享记号与精神（第八节词源）。脚本 F 组在 mod-3 矩阵上数值验证了三条：

内导子三定理（F1–F3 全部成立）。 ① Leibniz 律：ad_X(YZ) = ad_X(Y)·Z + Y·ad_X(Z)（结合律使交叉项抵消）； ② 消失判据：ad_X(Y) = 0 ⟺ XY = YX——「导子为零 ⟺ 对象交换」，与 G′ = {e} ⟺ G Abel 是同一句哲学； ③ 同态性：ad_[X,Y] = ad_X∘ad_Y − ad_Y∘ad_X——矩阵括号先于导子括号，或反之，结果相同。第三条说 ad 把「矩阵的李括号」映成「导子的李括号」：它是其五里共轭自同构 Ad（x ↦ gxg⁻¹）的无穷小版本（微分一下 Ad 就得到 ad），也是「表示」思想的又一次预演。

注 7.1（量子对易）。 矩阵力学（Heisenberg–Born–Jordan, 1925）把可观测量写成矩阵，位置与动量的对易子 [x̂, p̂] = x̂p̂ − p̂x̂ = iħ 正是内导子的语言——「两个量不能同时精确测定」在此表现为交换子非零。G 组词典因此添上最后一行：物理学家的 [x̂,p̂] 与代数家的 [A,B] 是同一个括号。域扩张上的导子则通向微分 Galois 理论（Liouville 判据），那里「导子」从比喻变成了主角。

教材接口（结语）。 ① 特征性一段直接回收其五「特征子群」节：⟨r²⟩ = D₆′ 如今有了「为什么特征」的解释——导群在一切自同构下不动（C3 的 12 个 Aut(D₆) 全验证）。② Abel 化的万有性质「Hom(G, A) ≅ Hom(G/G′, A)（A 交换）」把第一章的同态语言升级为对象化语言——正则作用是 G-Set 的自由对象（其六），Abel 化是「打到 Abel 群」的自由对象，两处都是其九「自由对象 = 表示遗忘函子」的伏笔。③ 导群与降中心列只用 §1.2 子群、§1.3 正规子群与 §1.5 商群的语言，全部数值都落在第一章工具之内。本册（④→⑦ 结构保持线）用「求导」把第一章的小群们重新排了一遍序，其八将看到：导群这类内蕴量正是「刚性」的探针——代数结构越细，能保持它的映射越少。

八术语考古与阅读指引

8.1 名词与历史的来路

• commutator（交换子、换位子）。 commute 来自拉丁 commūtāre（com- 共同 + mūtāre 改变）：元素 x, y「可交换」即 xy = yx，交换子 [x,y] 度量这件事的失败。矩阵力学里同一单词译作「对易子」——量子文献与群论文献共享这个词根，正是第七节那句 [x̂,p̂] = iħ 的语言学注脚。
• derived group / derived series（导群、导出列）。 德语文献称导群 Kommutatorgruppe（交换子群），也确有数学家沿用 Ableitung 一词——那正是德语「导数」的字面词（微分 der Ableitung）。英文 derived subgroup 由此图像得名：像求导一样逐级取交换子生成的子群。「导群」这个中文译名把微积分比喻直译了出来，本册的标题即由此而来。
• abelianization（Abel 化）。 Niels Henrik Abel（1802–1829），挪威数学家：1824 年证明五次一般方程无根式解，交换群（Abel 群）以他命名。「Abel 化」G → G/G′ 是「把任意群送到 Abel 世界」的典范映射——它商掉一切非交换的痕迹，只留下交换骨架。
• solvable（可解）。 本义「可解开的」（拉丁 solvere 解开），数学里专指「代数方程可用根式求解」：Abel 证明五次无解、Galois 给出判据——方程可根式解 ⟺ Galois 群可解（导出列归 {e}）。「可解群」这个名字是 Galois 理论胜利后回赠给群论的；对 S₅ 的不可解，第四节的导出列 120→60→60 就是它的代数心电图。
• nilpotent（幂零）。 拉丁 nīl（无）+ potens（有力量的、幂）：幂零矩阵 N^k = 0「乘到某次方消失」。降中心列有限步归 {e} 的群沿用此名——每次与全群换位都「压低一级」，压低 γ₁ → γ₂ → … → {e} 有限次后群「消失为平凡」。
• Heisenberg 群。 Werner Heisenberg（1901–1976）：1925 年创立矩阵力学，位置-动量对易 [x̂,p̂] = iħ 是核心。连续 Heisenberg 群（3×3 实上三角幺模矩阵）把这个对易关系「整体化」成 Lie 群；有限版 UT₃(F_p) 在数论（p-adic、theta 函数）与表示论中无处不在——本册第六节展示的是它最单纯的面貌：导群 = 中心。
• derivation / derivative（导子、导数）。 拉丁 derivāre「引水、引出」（de- 自…引出 + rīvus 溪流）：derivative 是「被引出之物」。Gottfried Wilhelm Leibniz（1646–1716）给出微分记号与乘积律 (fg)′ = f′g + fg′——环与李代数上的「导子」沿用同一条律与同一个词，是「家族相似」最直白的语言学证据：同一个 deriv-，一头引出函数的斜率，一头引出矩阵的交换子。

8.2 三句话总结

① 交换子 [x,y] = x⁻¹y⁻¹xy 度量「交换的失败」（[x,y] = e ⟺ xy = yx）；导群 G′ 由全部交换子生成，是使商 Abel 的最小正规子群（C1 数值：∩{N◁G : G/N Abel} = G′），且 G′ = {e} ⟺ G Abel——「导数消失 ⟺ 常数」。 ② 两种求导分道扬镳：导出列 G ⊵ G′ ⊵ G″ ⊵ ⋯ 归 {e} ⟺ 可解（S₄：24→12→4→1；S₅ 卡在 120→60→60——五次方程无根式解的内核）；降中心列 γ_n+1 = [γ_n,G] 归 {e} ⟺ 幂零（D₄、Q₈、UT₃(F₃) 均 8/27→2/3→1 类 2；而 S₄ 的 γ 列 24→12→12 卡死在 A₄——数值提醒两条列不等价）。 ③ 与「导数」真正同名的导子 D(ab) = D(a)b + aD(b)（Leibniz 律）由内导子 ad_A(B) = AB − BA 逐字实现，且 ad_[X,Y] = ad_X∘ad_Y − ad_Y∘ad_X（李代数同态）；量子对易 [x̂,p̂] = iħ 与代数括号 [A,B] 是同一个交换子。

8.3 阅读指引

• 本科入门（导群、可解与幂零群的标准章节）：J. A. Gallian, Contemporary Abstract Algebra, 9th ed.（Cengage）——「Subgroups」习题的交换子、「Solvable Groups」一章：S₃/S₄ 的可解链与 A₅ 单性都是标准练习。
• 抽象代数标准参考（导出列与降中心列的系统处理）：D. S. Dummit & R. M. Foote, Abstract Algebra, 3rd ed.（Wiley）——「Solvable and Nilpotent Groups」小节完整展开本册第四、五节，含交换子恒等式清单与 Heisenberg 群例。
• 群论进阶（交换子与导群的严格理论）：J. J. Rotman, An Introduction to the Theory of Groups, 4th ed.（Springer GTM 148）——导群恒等式、可解/幂零判据的完备处理；「commutators 未必成子群」的经典反例讨论见 I. M. Isaacs, Finite Group Theory（AMS, 2008）习题与注记（最小例 96 阶）。
• Galois 与方程论视角：M. Artin, Algebra, 2nd ed.（Pearson）——以 Galois 理论收束全书：可解群与根式可解方程的对应，以及第七节导子（derivations）在域扩张中的角色。
• 量子力学对易子的一页史料：Heisenberg 1925 矩阵力学论文的重印与导读见 B. L. van der Waerden（编）, Sources of Quantum Mechanics（Dover）——[x̂,p̂] = iħ 的代数出身。
• 历史注记：Abel、Galois、Leibniz 与「可解/幂零/导子」术语沿革，见 I. Kleiner, A History of Abstract Algebra（Birkhäuser 2007）相关章节。

《代数学基础（下·第 2 版）》第一章补充读物 群论专题读本·其七 ｜ 九章格数学 ｜ 2026