交错群 A₅ 的单性
数学小主题读本 · 其六 ｜ 从单群的定义到 An 的宇宙——一个 60 阶群为何拆不开 ｜ 九章格数学 PhiloMath
本册定位。 把一个整数拆成素数的乘积，拆到素数就停了——素数是乘法的原子。群论里也有同样的问题：把一个群沿着正规子群 做商，能拆就一直拆下去；拆不下去的那些群，就是群的「素数」——单群 。本册的主角 A5 （5 个文字上的偶置换全体，共 60 个元素）是最小的非交换单群 ，它在历史上恰好扮演过「拆不下去」的关键角色：Galois 证明五次方程没有根式解，最深处的一块基石正是 A5 的单性。本册从单群的定义出发（§1），备齐交错群与共轭类的全部工具（§2、§4），先用 A4 这个「拆得开」的反面教材热身（§3），再把 A5 的 60 个元素按共轭类彻底清点（§5），用一页纸的计数证明它的单性（§6）；随后把判据推广成一般形式（§7），证出 n ≥ 5 时 An 皆单A5 与正二十面体、五次方程与有限单群分类的关联。全册只假设读者读过一本入门群论教程的前半段（群、子群、陪集、Lagrange 定理），附录 A 汇总速查表，附录 B 给出一份可直接运行的核对脚本。
§1 单群：拆不动的原子「拆一个群」是什么意思？整数的拆法很明确：15 = 3 × 5，两个较小的数相乘得到较大的数。群论的「乘法」对应物是构造更大群 ：给定两个群 H 、K ，可以做直积 H × K ，它的阶是两边阶数的乘积。反过来问：给定一个大群 G ，它是不是某个更小的结构的「组装品」？判断的关键证据是一类特殊的子群——正规子群 。本节的任务，就是把这个「拆装」的画面写成严格定义，并给「拆不动」起好名字。
1.1 正规子群：共轭也搬不走的那部分
先回忆两条语言。其一，对 g ∈ G 与子群 H ≤ G ，集合 gH = {gh : h ∈ H } 称为 H 的一个左陪集 ；陪集把 G 分成大小相同（都等于 |H |）的互不相交的块，于是 Lagrange 定理说 |H | 整除 |G |。其二，映射 g ↦ ghg −1 称为共轭 ；共轭是群内部的「换个角度看」，ghg −1 与 h 有完全相同的群论性质（同阶、可逆性、彼此的乘法关系都一样）。
定义 1.1（正规子群） 设
G 是群，
N ≤
G 是子群。若对一切
g ∈
G 有
gNg −1 = N ，
则称
N 是
G 的
正规子群 （normal subgroup），记作
N ◁
G 。约定 {
e } 与
G 本身总是正规的，称为
平凡正规子群 。
定义里的等式可以逐字读两遍：gNg −1 ⊆ N 说「N 的每个元素共轭之后还在 N 里」，而反向包含由「共轭两次回到自身」自动得到——g −1 (gNg −1 )g = N 。所以验证正规性只需查一个方向。
例 1.2（四个初等例子）
若 G 是交换群，则 ghg −1 = h ，任何子群都正规。交换群的世界里「正规」不值钱。
An ◁ Sn ：共轭不改变置换的奇偶性（§2 将把它证成定理），故偶置换共轭后仍是偶置换。指数为 2 的子群必正规：此时左陪集只有 N 与 G ∖N 两块，而右陪集也只有这两块，故 gN = Ng 对一切 g 成立。An 在 Sn 中指数为 2，给了例子的第二个证明。
反例：S3 中取 H = {e , (12)}。取 g = (123)，则 g (12)g −1 = (23) ∉ H ，故 H 不正规。三个二阶子群都是「歪的」，只有 A3 = {e , (123), (132)} 端端正正地躺在中心。
1.2 商群：正规子群为什么值钱
正规子群的价值在于：只有对正规的 N ，陪集的集合才能继承 G 的乘法 。规定 g 1 N · g 2 N = (g 1 g 2 )N ，这个定义要合法，必须不依赖代表元的选取；而当且仅当 N 正规时它才不依赖（任取 n 1 ∈ N ，(g 1 n 1 N )(g 2 N ) 之所以能收拢成 (g 1 g 2 )N ，靠的正是 n 1 g 2 = g 2 (g 2 −1 n 1 g 2 )，括号里的元素仍在 N 里）。这样得到的群记作 G /N ，称为商群 ，其阶为 |G |/|N |。
把商群看作「塌缩」：G /N 是把 N 的全体元素压成单位元之后的 G 。正规子群 N 越大，塌得越狠。所以，正规子群就是群的「拆解缝」 ——沿着它，大群裂成两瓣：N （内核）与 G /N （外壳）。
定义 1.3（单群） 群 G 称为单群 （simple group），若 |G | > 1 且 G 的正规子群只有平凡的两个：{e } 与 G 自身。
单群就是没有拆解缝的群 ：它不能再沿着任何正规子群做商而变小。整数的素数对应物的类比在 Jordan–Hölder 定理中变成严格陈述：任何有限群都能拆成一条商群链 G = G 0 ▷ G 1 ▷ ⋯ ▷ G k e }，且链上每个商因子 G i G i +1 都是单群；这条链的商因子序列（计重数）不依赖拆法。换言之，有限群的世界由有限单群拼装而成 ——单群是唯一的「原材料」。
可拆的群：正规子群 N = 若干整块共轭类之并
C(e)
C(a)
C(b)
C(c)
C(d)
N = C(e) ∪ C(c)：由整块拼成，才可能正规
单群：除 C(e) 外，任何整块拼法都拼不出合法的 N
C(e)
C(a) ∪ C(c)
其余整类
两类拼法都会破坏 |N| 整除 |G| 或「整类进出」的规则 ⟹ N 只能是平凡解
图 1-1 本册的证明战略。正规子群必须由整块 共轭类拼成（§6 引理 6.1），且其阶必须整除群阶（Lagrange）。把「哪些整块组合能同时满足两条规则」逐一清点，就能判断单性——A5 的计数证明正是这套清点的完整执行。
1.3 交换的情形：素数阶循环群
在交换群里，所有子群都正规，于是「单」就等于「除了自身与单位元群外没有任何子群」。这样的群可以完全分类。
定理 1.4（交换单群） 交换群 G 是单群，当且仅当 G 同构于素数阶循环群 Cp （p 素数）。
证. （⟸）设 |G | = p 为素数。H ≤ G 时 |H | 整除 p （Lagrange），而 p 的正因数只有 1 与 p ，故 H = {e } 或 H = G 。G 无非平凡子群，更无非平凡正规子群。
（⟹）设交换群 G 单。取任一 g ≠ e ，由 g 生成的循环子群 ⟨g ⟩ 非平凡，故 ⟨g ⟩ = G ，G 是循环群。若 |G | = n 为合数，取 n 的真因数 d （1 < d < n ），则 g d n /d ，⟨g d n 之间的非平凡子群，与单性矛盾。故 n 为素数。∎
说明 1.5 定理 1.4 说清了「交换一侧」的全部单群：就是 C2 , C3 , C5 , C7 , …。而非交换 一侧的第一位成员，要到 60 阶才出现——A5 。这句话的反面（60 以下无非交换单群）是一个值得单独玩味的经典习题，本册 §6 的计数武器稍加改造即可拿下它（思考题 6.4）。
1.4 非交换的世界：为什么偏偏是 A₅
非交换单群的最小候选是谁？把显然的「拆得动」逐一排除。阶为素数幂的群有非平凡中心，中心是正规子群，故非单（除非循环，回到交换情形）；阶为 pq 型（p < q 素数）的群有正规的 Sylow 子群，也非单。沿着这条排除法走，会把候选一路逼到 60：而 60 = 2²·3·5 恰是 A5 的阶。这不是巧合——A5 就是那个「拆不动」的第一座堡垒。
与 A5 对照的，是它的「小兄弟」A4 （阶 12）。A4 里有四个「安然不动」的元素——恒等元与三个双对换组成的 Klein 四元群 V4 ，它正规于 A4 ，于是 A4 沿着 V4 这道裂缝塌缩成三阶循环群。同样是交错群，12 阶的拆得动、60 阶的拆不动，分界线为什么恰好画在 n = 5？这正是本册要给出完整答案的问题：§3 剖开 A4 ，§5–§6 证明 A5 单，§7–§8 把论证推到一切 n ≥ 5。
思想 「单性」初看是一个否定式定义（「没有」非平凡正规子群），否定的命题往往难证——你不能枚举所有子群。本册的核心手法是把它翻译成肯定式的清点 ：正规子群必定是共轭类的整块之并（§6 引理），于是「找正规子群」变成「在 handful 个共轭类里数账」。共轭类一旦清点完毕（§5），单性就只是一个有限算术问题。这是有限群论最漂亮的一类推理：把结构性问题压成计数问题 。
1.5 小结与第一组思考题
小结 1.6 本节建立了三件工具：① 正规子群 N ◁ G ，即共轭封闭的子群，它是商群 G /N 存在的充要条件；② 单群 = 只有两个平凡正规子群的群，即没有拆解缝的群；③ 交换单群恰是素数阶循环群，非交换单群的第一例是 60 阶的 A5 。下一节开始备料：交错群 An 的定义与生成。
思考题 1
证明：N ◁ G 当且仅当 N 的每个左陪集都是右陪集。（提示：由 gNg −1 = N 推 gN = Ng ，再反推。）
证明：群的中心 Z (G ) 与换位子群 [G , G ] 都是正规子群。再证：单群的换位子群要么是 {e }（此时群交换，回到素数阶循环），要么是 G 自身（此时群称为完全单群 的雏形——A5 属于后者，§7 的生成定理将顺手证出）。
设 N ◁ G 且 M ◁ N 。M 一定 ◁ G 吗？用 A4 ▷ V4 （§3）或 D4 里的反例给出否定答案；并证明「正规性有传递性」当 M 是 G 的特征子群时恢复。
用 Sylow 定理证明：阶为 pq （p < q ，p ∤ q − 1 时）的群必非单。这条排除法正是「最小非交换单群 ≥ 60」的起点。
§2 交错群：偶置换的宇宙单性定理的主角 An 由「偶置换」定义，而「奇偶」需要一个能严格证明的构造。本节备齐三件料：置换的轮换语言（2.1）、符号同态 sgn 的严格构造（2.2）、以及 |An | = n !/2 的计数（2.3）。2.4 再证本册反复使用的生成定理：一切 n ≥ 3 的 An 由 3-循环生成 ——它是 §8 一般单性证明的引擎。
2.1 轮换：置换的标准拼写
集合 {1, 2, …, n } 到自身的双射称为一个 n 元置换 ，全体记作 Sn 。双射的复合使 Sn 成群，阶 |Sn | = n !。Sn 的一个元素 σ 常写作两行记号，但更高效的语言是轮换 ：(a₁ a₂ ⋯ ak k k -循环。任一置换可唯一地写成互不相交 的轮换之积（交换次序无妨），各轮换的长度按不增次序列出，得到的组合称为 σ 的轮换型 。例如 (12)(345)(6) 型记作 (3,2,1)。轮换型是共轭不变量——这句话在 §4 会升级成定理。
以后固定一条书写约定：1-循环照写不误 。谈「轮换型 (3,1,1)」与「型 (3)」时是同一个置换，但显式写出不动点常让计数更清楚。
2.2 符号 sgn：一条被证明良定的定义
初等教程常说「σ 是偶的当且仅当它能写成偶数个对换的乘积」，但这句话默认了一件非平凡的事：对换个数的奇偶性不因写法而变 。把这一默认补成定理，是本节的第一项工作。
例 2.1（对换与轮换的换算） 一个 k -循环可拆成对换：(a₁ a₂ ⋯ ak k k − 1 个（注意复合次序：右边的先作用）。验证 k = 3：(13)(12) 把 1 ↦ 2 ↦ 3、2 ↦ 1 ↦ 3、3 ↦ 3 ↦ 1，正是 (123)。因此任何置换可写成对换之积。
定义 2.2（符号多项式） 取
n 个独立文字 x₁, …, x
n ，令
P = ∏1 ≤ i < j ≤ n (xi j
（全体「大减小」之积）。对 σ ∈
Sn ，规定 σ·P 为把每个 x
i 换成 x
σ(i ) 后所得的多项式。由每个 x
k 恰被代入一次，{x
σ(1) , …, x
σ(n ) } 与 {x₁, …, x
n } 是同一组文字，故 σ·P 与 P 含
完全相同的因式集合 ，差别只能在每个因式的正负号，于是 σ·P = ±P。
定义 2.3（符号同态） 对 σ ∈ Sn ，由 σ·P = ±P 唯一确定的符号记作 sgn(σ) ∈ {+1, −1}。sgn(σ) = +1 称 σ 为偶置换 ，sgn(σ) = −1 称奇置换 。全体偶置换记作 An ，称为交错群 （alternating group）。
定理 2.4（sgn 的基本性质） 对 σ, τ ∈ Sn ：(1) sgn(στ) = sgn(σ)sgn(τ)；(2) sgn 是从 Sn 到 {±1} 的群同态，核恰为 An ；(3) 每个 k -循环的 sgn 为 (−1)k −1
证. (1) 对每个数对 i < j ，因式 (xσ(i ) − xσ(j ) ) 在 τ·(σ·P) 与 (τσ)·P 中都出现（作为某个 (xa b An 即定义。
(3) 设 γ = (a₁ a₂ ⋯ ak k -循环，σ 为任一置换。比较 σγσ⁻¹ 对多项式的作用：把 σ 作用到 P 的每个因式上，P 中涉及 am m' m < m' ）的因式 (xam − xam' ) 在 γ 作用下的表现恰如「这 k 个文字在它们自己的转盘上转一格」，其余因式不动；直接对 k = 2 与 k = 3 核对（对换翻转一个因式，3-循环翻转两个），一般 k 时 γ·P 与 P 的差异是翻转恰 k − 1 个因式的符号——这 k − 1 个因式是 (xa₁ − xa₂ ), (xa₂ − xa₃ ), …, (xak − xak ) 沿转盘的相邻对（取 i < j 定向后的具体正负由 am 个数 不变）。故 sgn(γ) = (−1)k −1∎
说明 2.5 证明的关键一步值得重读：定义 sgn 用的是「σ·P = ±P」，这本身不需要任何选择 ；而对换个数的奇偶性是随后导出的定理 而非定义。先定义后计算，顺序摆正，良定性就不再是悬案。同样的多项式 P 还将在 §7 分裂判据中再次登场——它是贯穿交错群理论的一根暗线。
2.3 计数：Aₙ 恰有一半元素
定理 2.6 对 n ≥ 2，sgn : Sn → {±1} 是满同态，且 |An | = n !/2。此外 An ◁ Sn （同态的核）。
证. 满性：对换 (12) 的 sgn 为 −1，{+1, −1} 由恒等与 (12) 的像取遍。同态基本定理给出 |An | = |Sn |/2 = n !/2（也可直接算：偶置换数 = 奇置换数，因为乘 (12) 给出两族之间的一一对应）。核的正规性是同态的一般性质：g ker g −1 ⊆ ker 。∎
于是 A3 3 阶、A4 12 阶、A5 60 阶、A6 360 阶、A7 2520 阶。数字已经就位，接下来是结构。
思想 sgn 是 Sn 的一个「二值仪表」：它把整个群压成两个读数，而仪表的指针恰好被共轭保持。§6 的计数证明里会看到这条性质的用武之地：正规子群要「整类进出」，而共轭类的边界正是由共轭不变量——轮换型——画出来的。仪表、类型、整块，三者环环相扣。
2.4 生成定理：3-循环是 Aₙ 的全部家当
单性证明的 §8 部分，将反复使用「An 由 3-循环生成」。本小节把它证成定理。出发点是两条乘法口诀：两个对换，只要分享一个文字，乘起来就是一个 3-循环；两个不相交的对换，也能用两个 3-循环拼出来。
引理 2.7（共享文字） 对互异文字 a, b, c 有 (ab)(bc) = (abc)。（按 §2.1 的约定：右边的 (bc) 先作用。）
证. 逐文字核对：a ↦ a ↦ b；b ↦ c ↦ c；c ↦ b ↦ a。合成结果 a ↦ b ↦ c ↦ a 正是 (abc)。∎
引理 2.8（不相交对换） 对互异文字 a, b, c, d 有 (ab)(cd) = (acb)(acd)。
证. 先算右端各因式对文字的落点，再复合（先 (acd)，后 (acb)）：
a ↦(acd)↦ c ↦(acb)↦ b，即 a ↦ b；
b ↦(acd)↦ b ↦(acb)↦ a，即 b ↦ a；
c ↦(acd)↦ d ↦(acb)↦ d，即 c ↦ d；
d ↦(acd)↦ a ↦(acb)↦ c，即 d ↦ c。
合成结果恰为 (ab)(cd)。另注意右端两个 3-循环均为偶置换，偶 × 偶 = 偶，与左端（两个奇对换之积）一致。∎
定理 2.9（3-循环生成 Aₙ） 对一切 n ≥ 3，An 由它的全体 3-循环生成。
证. 设 σ ∈
An 。由定理 2.4(3)，σ 可写成偶数个对换之积：σ = t₁t₂⋯t
2m 。把对换
相邻配对 成
m 组 (t₁t₂)(t₃t₄)⋯(t
2m −1 t
2m )，只需证每组两个对换之积可写成 3-循环之积。设第
i 组为 (ab)(cd)，分两种情形：
情形一：{a, b} ∩ {c, d} ≠ ∅。 两个对换恰共享一个文字（对换是 2-循环，两个元素若都相同则乘积为恒等，可剔除）。由引理 2.7，交换与改名后 (ab)(cd) = (bc)(ba)?——不必：设共享文字为 b，即 (ab)(bc) 型（次序与命名按实际调整），引理 2.7 直接给出一个 3-循环。情形二：{a, b} ∩ {c, d} = ∅。 由引理 2.8，(ab)(cd) = (acb)(acd)，两个 3-循环之积。
每组化归为至多两个 3-循环，故 σ 可写成 3-循环之积。
∎ 说明 2.10 两条引理合起来的信息量：在 An 内部，任何两个偶置换的对换表述都能被 3-循环消化 。也可以说：3-循环在 An 的乘法结构中扮演「万能零件」。§8 的单性证明将展示这个零件的另一种用法——用换位子把正规子群里的元素「削短」成 3-循环。
例 2.11（小规模验收：A₃ 与 A₄） A3 = {e, (123), (132)}，恰由两个 3-循环构成——它本身就是循环群 C3 ，是交换单群（定理 1.4，p = 3）。A4 的 12 个元素按轮换型清点：恒等元 1 个、型 (3,1) 的 3-循环 4 × 2 = 8 个、型 (2,2) 的双对换 C(4,2)/2 = 3 个，合计 1 + 8 + 3 = 12 ✓。下一节将看到，正是这 3 个「老实」的双对换组成了 A4 的裂缝。
2.5 小结与思考题
小结 2.12 本节四件成果：① 轮换型作为置换的标准拼写；② sgn 用符号多项式 P 严格定义，对换个数的奇偶不变性是定理 2.4 的推论；③ |An | = n !/2 且 An ◁ Sn ；④ An （n ≥ 3）由 3-循环生成（定理 2.9）。
思考题 2
验证 (abc) = (13)(12)，并对照引理 2.7 检查复合次序约定。（提醒：两种约定都常见，全书统一「右边先作用」。）
证明 Sn 由对换生成，进而由相邻对换 (12), (23), …, (n −1 n ) 生成。
证明：n ≥ 3 时 An 由形如 (123), (124), …, (12n ) 这 n − 2 个特定的 3-循环生成。（提示：共轭 (12a) 用一个合适的偶置换搬运。）
对 n = 4 逐元素验证定理 2.9：把 A4 的全部 11 个非单位元写成 3-循环之积。
（Galois 视角预热）证明：若 σ, τ ∈ A5 且 στ = τσ，则存在 3-循环同时正规化二者所生成的子群。不必追求最简——体会「3-循环无处不在」的手感即可，§8 会把它精确化。
§3 A₄ 与 V₄：一道看得见的裂缝在证明「拆不动」之前，先解剖一个「拆得动」的：A4 。它只有 12 个元素，全部结构摊在桌面上；沿着裂缝 V4 一塌到底的过程完全可见。这个反面教材并非陪衬——它演示的「类并计数」手法，正是 §6 击倒 A5 的同一件武器，而且它给出的警讯（偶置换群未必单 ）界定了 §8 一般定理的必要性。
3.1 清点 A₄：四类分天下
由例 2.11，A4 的 12 个元素 = 1 恒等元 + 8 个 3-循环 + 3 个双对换。共轭类怎么分？用 §4 将正式建立的公式（类大小 = 群阶 ÷ 中心化子阶）先快速核算，再逐类验证。
例 3.1（逐类核算）
双对换类。 取 σ = (12)(34)。它的中心化子至少含 V4 = {e, (12)(34), (13)(24), (14)(23)}（这四个元素两两交换，验证是逐点的平凡练习），故类大小 ≤ 12/4 = 3。而 3 个双对换彼此共轭（在 S4 中共轭保持轮换型；具体地 (234)(12)(34)(234)⁻¹ = (13)(24)，留给读者逐数核验），故 3 个双对换恰为一类。3-循环类。 取 σ = (123)。它在 S4 中的中心化子是 ⟨(123)⟩（阶 3；S₄ 中型 (3,1) 类大小 = 4!/3 = 8），全是偶元素，故在 A4 中类大小 = 12/3 = 4。但 3-循环共有 8 个——8 = 4 + 4，一类裂成两半 。具体地：与 (123) 共轭的四个是 {(123), (134), (142), (243)}，剩下 {(132), (143), (124), (234)} 是另一类。例如 (132) 在 S4 中可由 (234) 共轭 (123) 得到（核验：(234)(123)(234)⁻¹ = (132)? 逐数：1 ↦ 1 ↦ 3 ↦ 2，即 1 ↦ 2；2 ↦ 3 ↦ 1，即 2 ↦ 1?——请代回定义式 gσg⁻¹(x) = g(σ(g⁻¹(x))) 逐点核算，作为共轭计算的第一次实弹练习），但 (234) 是奇 置换，在 A4 内部找不到这样的搬运工。
共轭类代表 轮换型 元素个数 典型元素 e (1,1,1,1) 1 恒等元 (12)(34) (2,2) 3 (12)(34), (13)(24), (14)(23) (123) (3,1) 4 (123), (134), (142), (243) (132) (3,1) 4 (132), (143), (124), (234)
A₄（12 元素）的四类与塌缩链
{e}
双对换 ×3
3-循环 ×4（含 (123)）
3-循环 ×4（含 (132)）
正规子群必须整类进出：{e} 与双对换类拼成 V₄（4 个元素，封闭成群）✓
若拼入任一 3-循环类（4 个），|N| = 1 + 3 + 4 = 8 不整除 12，违反 Lagrange ✗
A₄ / V₄ ≅ C₃
V₄ ≅ C₂ × C₂
图 3-1 A4 的类结构与其唯一非平凡正规子群。四块拼法中只有 {e} ∪ 双对换类 = V4 同过「整类进出」与「阶整除」两道关卡；任何含 3-循环的拼法都在算术上破产。这正是 §6 计数证明的缩小版预演。
3.2 V₄ 正规：三种证法，一个事实
定义 3.2（Klein 四元群） V4 = {e, (12)(34), (13)(24), (14)(23)}。它是 4 阶交换群，每个非单位元自乘为 e，同构于 C2 × C2 。
定理 3.3 V4 正规于 S4 ，因而也正规于 A4 。特别地 A4 不是单群。
证一（轮换型不变）. 共轭不改变轮换型（§4 定理 4.5 的特例，也可直接验算：g(a₁ a₂ ⋯ ak k V4 恰是「恒等元与全体型 (2,2) 元素」，轮换型是共轭不变量，故 V4 在一切共轭下不变。∎
证二（整类之并）. {e} 是一类，三个双对换是一类（例 3.1），V4 = 这两类之并；整类之并自动共轭封闭。∎
证三（方程观点）. σ ∈ V4 ∖{e} ⟺ σ² = e 且 σ 恰动 4 个文字；这两个条件都是共轭不变的。∎
说明 3.4（商群与塌缩链） |A4 /V4 | = 3，三阶群必循环，故 A4 /V4 ≅ C3 。于是 A4 的正规列 A4 ▷ V4 ▷ {e} 的商因子是 C3 与 C2 × C2 ——按 Jordan–Hölder（§1.2），A4 这个「分子」由 C3 和 C2 × C2 两块单群拼成。裂缝的存在一目了然。
例题 3.5（A₄ 无 6 阶子群：计数法首秀） 命题： A4 没有 6 阶子群。证： 反设 H ≤ A4 ，|H | = 6。指数 12/6 = 2 的子群必正规（例 1.2），而正规子群必须整类进出（§6 引理 6.1 的特例，此刻先用结论），故 |H | = 1 + 3α + 4β + 4γ，其中 α, β, γ ∈ {0, 1}（每类要么整个进来要么不进）。要 1 + 3α + 4(β + γ) = 6，即 3α + 4(β + γ) = 5，唯一可能是 α = β = γ = 0（和为 0）之外无解——逐一代入：α=1 时剩 2 无法由 4 的倍数凑出；α=0 时 4(β+γ) = 5 非整。矛盾。∎ 点评： 这个 12 阶小群上的三行算术，与 §6 中 60 阶 A5 上的清点是同一套拳法。也请注意它顺带回答了「Lagrange 的逆不成立」：6 整除 12，却没有 6 阶子群。
3.3 小结与思考题
小结 3.6 A4 有四个共轭类：1 / 3 / 4 / 4；V4 （= {e} ∪ 双对换类）正规于 S4 ，是 A4 唯一的非平凡正规子群；A4 非单，商为 C3 ；6 整除 12 却无 6 阶子群。值得预告的分界线： A4 的 3-循环类在 A4 内裂成两半，根源是搬运工（共轭元素）必须来自偶置换一侧；A5 中 5-循环类的裂分同理（§5），而 3-循环类却不再裂——因为此时搬运动作足够富余。这批现象将在 §7 统一成「分裂判据」。
思考题 3
逐点核验 (234)(12)(34)(234)⁻¹ = (13)(24)，以及 (234)(123)(243) 的完整作用。
证明 V4 是 A4 的唯一非平凡正规子群（对四类逐一验「整类进出 + 阶整除」）。
求 A4 的全部子群并验证：4 阶子群只有一个（V4 ），3 阶子群有四个。
证明：中心 Z (A4 ) 平凡。（提示：逐类检查谁与全部元素交换。）
把例题 3.5 的论证改写成一般判据：设有限群 G 的共轭类大小为 c₁, …, ck G 单」的完整计数条件。
§4 共轭类工具箱：类的大小算得清计数证明的原料是共轭类 。本节建立三件工具：类大小的一般公式（4.1）、对称群中类的完全刻画（4.2）、以及由此得到的显式计数公式（4.3）。§5 将用它们把 A5 的 60 个元素分毫不差地摆上台面。
4.1 中心化子：类大小的度量衡
定义 4.1（共轭类与中心化子） 对 G 中元素 σ，集合 cl(σ) = {gσg⁻¹ : g ∈ G } 称为 σ 的共轭类 ；集合 C G G : gσ = σg} 称为 σ 的中心化子 。它是 G 的子群（封闭性、单位元、逆元逐一验算）。
定理 4.2（类大小公式） 对有限群
G 与 σ ∈
G ，
|cl(σ)| = [G : C G G | / |C G
特别地，类大小整除群阶。
证. 构造映射 Φ : G → cl(σ)，g ↦ gσg⁻¹。它是满射（按定义）。两个元素 g₁, g₂ 给出同一共轭元 ⟺ g₁σg₁⁻¹ = g₂σg₂⁻¹ ⟺ g₂⁻¹g₁ σ = σ g₂⁻¹g₁ ⟺ g₂⁻¹g₁ ∈ C G C G G : C G C G G : C G ∎
说明 4.3（使用手册） 定理 4.2 把「类里有多少元素」换成「多少元素跟 σ 打得成平手」。例 3.1 中两次核算（V4 ⊆ 中心化子 ⟹ 类大小 ≤ 3；中心化子 = ⟨(123)⟩ ⟹ 类大小 = 4）正是本公式的两次实弹。在 An 中使用它时有一个关键细节 ：中心化子取在 An 内部，C An C Sn An ——偶性的过滤器可能把 Sn 中心化子砍掉一半，这正是共轭类「分裂」现象的机制（§5、§7）。
4.2 Sₙ 的共轭定理：轮换型决定一切
引理 4.4（共轭的作用公式） 对 g, σ ∈ Sn ，g(a₁ a₂ ⋯ ak k
证. 逐点验证：对 x = g(ai i i +1i i +1i +1k ∎
定理 4.5（Sₙ 共轭定理） σ, τ ∈ Sn 共轭 ⟺ σ 与 τ 有相同的轮换型。
证. （⟹）轮换型由「不动点个数、2-循环个数、3-循环个数……」这些可由乘法表读出 的信息组成，而共轭保持乘法结构：把不交轮换分解 σ = γ₁γ₂⋯γr k k i i ∎
4.3 显式计数：型 (i₁, …, ir ) 的类有多大
定理 4.6（Sₙ 类大小与中心化子阶） 设 σ ∈
Sn 的轮换型为：长
i 的轮换恰有 m
i 个（
i = 1, 2, …,
n ；m
i ≥ 0，∑
i m
i =
n ）。则
|C Sn i i mi · mi Sn n ! / ∏i i mi mi
证. g 中心化 σ ⟺ gσg⁻¹ = σ。由定理 4.5，gσg⁻¹ 是把 σ 的各轮换「搬运后再拼装」，于是 g 必须把 σ 的每个
i -循环支撑映到某个
i -循环支撑（长度必须保持）。分两层自由度数账：
轮换内部（旋转）。 固定一个 i -循环 (a₁ ⋯ ai i 种起点对齐，每种都给出同一共轭结果——每个 i -循环贡献 i 种自由度，共 i mi 。轮换之间（对调）。 同为长度 i 的 mi i
两种自由度独立相乘，得 |
C Sn (σ)| = ∏
i mi m
i !；类大小由定理 4.2 相除。
旁证： 类大小公式同时给出「该型元素个数」：全体该型元素是一个类，故元素个数 =
n !/∏
i mi m
i !——这正是组合教科书里「多重集合排列」公式的翻版，两条独立来源在此合流。
∎ 例 4.7（公式热身）
型 (3,1,1) 于 S5 ：|C | = 3¹·1! · 1²·2! = 6，类大小 = 120/6 = 20。✓（S5 中 3-循环恰 20 个：C(5,3) × 2。）
型 (2,2,1) 于 S5 ：|C | = 2²·2! · 1 = 8，类大小 = 120/8 = 15。✓（双对换 C(5,2)·C(3,2)/2 = 15。）
型 (5) 于 S5 ：|C | = 5，类大小 = 120/5 = 24。✓（5-循环 4! = 24 个。）
三个数字 20、15、24 将原封不动地进入 §5 的
A5 清点。
思想 本节的公式链条值得默背：轮换型（描写）→ 共轭定理（分类）→ 中心化子公式（计数）。到 §5 结束时，A5 的 60 个元素将被组织成 5 个共轭类、大小 1 / 12 / 12 / 15 / 20——然后 §6 只用初等数论就宣判它的单性。描写、分类、计数 ，这是处理一切有限对称系统的标准三板斧。
思考题 4
证明 C G Z (G ) ⟺ cl(σ) = {σ}。
用定理 4.6 核算 S4 的全部五个类的元素个数（应得 1, 6, 3, 8, 6），并与例 3.1 的 A4 结果对照，解释「8 个 3-循环在 A4 中裂成 4 + 4」的中心化子机理。
证明：类的元素两两共轭（共轭是类上的等价关系），且不同的类不相交；于是群被共轭类划分——这为 §6 的「类并清点」提供合法性。
（类方程）证明有限群阶 = 各共轭类大小之和，并导出「中心整除」的表述 |G | = |Z (G )| + ∑[G : C (σᵢ)]（对非中心类代表求和）。
§5 解剖 A₅：60 个元素的五间房计数证明需要一张精确的「房间清单」：60 个元素分成哪些共轭类、每类几个。本节完成清点。所有计算只用 §4 的公式与一条心法：S5 的共轭类搬进 A5 后可能裂开，裂不裂取决于中心化子里有没有奇元素「搭桥」
5.1 先数人头：A₅ 里住着谁
A5 的元素 = 偶置换。按轮换型过筛（k -循环的奇偶 = (−1)k −1
轮换型 奇偶 个数公式 个数 在 A₅ 中？ (1,1,1,1,1) 偶 1 1 ✓ (2,1,1,1) 奇 C(5,2) = 10 10 ✗ (2,2,1) 偶 15（例 4.7） 15 ✓ (3,1,1) 偶 20（例 4.7） 20 ✓ (3,2) 奇 20 20 ✗ (4,1) 奇 30 30 ✗ (5) 偶 24（例 4.7） 24 ✓
（表中个数均由定理 4.6 计算：型 (2,1,1,1) 为 5!/(2·1³·3!) = 10；型 (3,2) 为 5!/(3·2) = 20；型 (4,1) 为 5!/(4·1) = 30。）
核对 5.1 全类总和 10 + 15 + 20 + 20 + 30 + 24 + 1 = 120 = |S5 | ✓；A5 侧 1 + 15 + 20 + 24 = 60 = 5!/2 ✓。两笔账都闭合，清点无误。
5.2 核心问题：每一型在 A₅ 内裂不裂
同型的元素在 S5 里同属一类（定理 4.5）。但 A5 里的共轭只许用偶 搬运工 g，于是类可能裂开。判定的钥匙是定理 4.2 的 An 版本：|clA C A C A C S A5 。三种情形逐一解剖。
命题 5.2（3-循环：一类 20 个） A5 的全部 20 个 3-循环构成一个共轭类。
证. 设 σ = (abc)，剩余文字 d, e。S5 中心化子（定理 4.6，型 (3,1,1)）阶为 6，形如 ⟨(abc)⟩ × ⟨(de)⟩：即 (abc)i i i = 0,1,2）。这 6 个里 3 个是偶的（不带 (de) 者：e, (abc), (acb)），3 个是奇的（带 (de) 者）。故 |C A S5 侧的类大小 20 相同，不裂 。∎
命题 5.3（双对换：一类 15 个） A5 的全部 15 个双对换构成一个共轭类。
证. 设 σ = (12)(34)，余文字 5。中心化子阶 8（定理 4.6，型 (2,2,1)），枚举为 gσg⁻¹ 的对称骨架：D = {e, (12), (34), (12)(34), (13)(24), (14)(23), (1324), (1423)}（对四个文字 {1,2,3,4} 的全部「保持对结构 {12}{34} 或换成 {13}{24}/{14}{23}」的二面体作用；逐个验证 gσg⁻¹ = σ 需按引理 4.4 逐数核对，是又一次实弹练习）。清点奇偶：(12)、(34) 为奇对换；(1324)、(1423) 为 4-循环，sgn = (−1)³ = −1，奇；其余四个——e、三个双对换——均偶。4 奇 4 偶，故 |C A 不裂 。∎
命题 5.4（5-循环：分裂成两类，各 12 个） A5 的 24 个 5-循环分裂 为两个共轭类，每类 12 个。
证. 设 σ = (12345)。中心化子阶 5（定理 4.6，型 (5)），即 ⟨σ⟩ = {e, σ, σ², σ³, σ⁴}。五个都是 5-循环的幂，sgn(σi i 全偶 。故 C A C A 必裂 ，且 24 = 12 + 12，两类各半。事实上每一类恰含一类「手性」：cl((12345)) = {(1a)(…)} 型的全部正向轮换 12 个，而全部逆向（含 (13542)、(13245) 等平方起点的镜像拼写）12 个组成另一类；「手性」一词借自几何——正向与逆向的 5-循环像左手与右手，在 A5 这面镜子前互不相认（§9 会看到这面镜子正是正二十面体）。∎
5.3 总账：五类登场
类代表 轮换型 S₅ 类大小 |C_{A₅}| A₅ 类大小 是否分裂 e (1⁵) 1 60 1 — (123) (3,1,1) 20 3 20 否 (12)(34) (2,2,1) 15 4 15 否 (12345) (5) 24 5 12 + 12 是（两类）
S₅ 的偶型类搬进 A₅：只有 5-循环分裂
e: 1
20
3-循环
15
双对换
12
12
5-循环
12
15
20
24
S₅ 类 24 个 ⟶ A₅ 内 12 + 12（正向 / 逆向）
S₅ 类原样保留（20 / 15）
图 5-1 A5 的五间房：1 / 20 / 15 / 12 / 12。分裂只发生在 5-循环——因为它的中心化子 ⟨σ⟩ 里一个奇元素都没有（命题 5.4），而 3-循环与双对换的中心化子都有奇元素搭桥。
思想（分裂的机理一句话版） 「不裂」需要中心化子里有奇元素。3-循环占了 3 个文字，剩下 2 个富余文字上的对换 (de) 就是现成的奇搭桥工 ；双对换占 4 个文字，但它的二面体中心化子本身一半是奇；5-循环占满 5 个文字，一个富余都不剩，中心化子只有轮换自身的幂——全偶。§7 将把这条「富余文字决定分裂」的观察提炼成对一切 n 成立的判据。
§6 主定理：A₅ 是单群弹药已经备齐：五间房（§5）与两条规则——正规子群整类进出（本节引理 6.1）、阶必须整除群阶（Lagrange）。现在把 60 个元素的账算到底。
6.1 关键引理：正规子群是整块之并
引理 6.1（类并引理） 设
G 有限，
N ≤
G 。则
N ◁
G 当且仅当
N 是若干
完整的 共轭类之并，其中必含单位元类 {e}。此时
|N | = 1 + c1 + c2 + ⋯ + cj
其中 c₁, …, c
j 是
G 的若干非平凡共轭类的大小。
证. （⟹）设 N ◁ G 。e ∈ N ，故单位元类 {e} ⊆ N 。取任意 n ∈ N ，对任意 g ∈ G ，正规性给 gng⁻¹ ∈ N ，即 n 的整个共轭类 cl(n) ⊆ N 。于是 N 由它所触及的每一类整块 装下。
（⟸）设 N 是类之并且是子群。对 g ∈ G 、n ∈ N ：n 所在类整块含于 N ，而 gng⁻¹ 与 n 共轭、同属一类，故 gng⁻¹ ∈ N 。即 N ◁ G 。∎
说明 6.2 引理 6.1 把「寻找正规子群」从无边无际的 2⁶⁰ 个子集压缩成「在 4 个非平凡类里挑不挑、挑哪几块」——总共 2⁴ = 16 种拼法。结构问题就此变成算术问题 ；例 3.5（A₄ 无 6 阶子群）已经预演过一次。
6.2 主定理与计数证明
定理 6.3（A₅ 单性） A5 是单群。它是阶数最小的非交换单群。
证. 设
N ◁
A5 ，要证
N = {e} 或
N =
A5 。由引理 6.1 与 §5.3 类表（四块非平凡类：20 / 15 / 12 / 12，两个 12 各自独立取舍），存在 α, β, γ, δ ∈ {0, 1} 使
|N | = 1 + 20α + 15β + 12γ + 12δ，且 |N | 整除 60（Lagrange）。
第一步（模 3 定 α）：对上式取模 3——20 ≡ 2，15 ≡ 0，12 ≡ 0，而 |
N | 是 60 的因数、60 ≡ 0 (mod 3)，故 3 | |
N |（除 |N| = 1, 2, 4 的例外；这些只能来自系数全零，即 N = {e}，平凡解）。于是 1 + 2α ≡ 0 (mod 3)，得 2α ≡ 2 (mod 3)，由 α ∈ {0, 1} 解出
α = 1 。换言之：任何非平凡正规子群
必须整个吞下 20 个 3-循环 。
第二步（枚举收口）：代入 α = 1，剩三种自由度 β, γ, δ，|N| = 21 + 15β + 12(γ + δ)，可能值清点：
β γ + δ |N| 整除 60？ 0 0, 1, 2 21, 33, 45 否 1 0, 1, 2 36, 48, 60 36, 48 否；60 是
六个候选中唯一通过整除关卡的是 |N| = 60，对应 β = γ = δ = 1、
N = 全体四类之并 =
A5 。故非平凡正规子群只有
A5 自身，
A5 单。
「最小」的断言（60 以下无非交换单群）由 Sylow 定理的标准排除法完成，见思考题 6.4。
∎
十六种拼法走数轴：唯一幸存的是终点 60
0 20
40 60
80
60 的因数（金刻度）：2 3 4 5 6 10 12 15 20 30 60
21
33
36
45
48
60 ✓
候选值 = 1 + 20α + 15β + 12(γ+δ)；α = 1 由模 3 论证强制，余下 6 个候选仅 60 整除 60
图 6-1 计数证明的全景。蓝色点是 α = 1 之后剩出的全部拼法候选值（21, 33, 36, 45, 48），金色刻度是 60 的因数；候选与因数唯一交会处是绿色的 60——它意味着 N 装下了全部四类，即 N = A₅。
说明 6.4（证明的解剖） 三步各有分工：模 3 用了「3-循环类的大小 20 ≡ 2 (mod 3)」与群阶被 3 整除的失配，一举锁定最大的类；枚举 只用六个候选值逐一过 Lagrange 关卡；类并引理 则是全程的地基。若把同一套拳打向 A4 （类 1/3/4/4，阶 12），任何含 3-循环类的拼法给出 |N| = 8 或 9，均不整除 12——唯独 {e} ∪ 双对换类 = V4 通过（4 | 12），裂缝现身。同一算法，两个群，一活一死 ：单性从来不是「运气」，而是类结构算术的必然。
6.3 单性的即时红利
推论 6.5 (1) Z (A5 ) = {e}；(2) [A5 , A5 ] = A5 ；(3) A5 的正规列只有 A5 ▷ {e}，商因子就是 A5 自己——它不但是原子，还是完全单群 （非交换单群）的标准样本。
证. (1) 中心是正规子群（思考题 1.2），单性给中心为 {e} 或全群；后者推出 A5 交换，但 60 阶交换群有非平凡子群（60 非素数），与单性矛盾。(2) 换位子群是正规子群；若它为 {e}，则 A5 交换，同样矛盾。(3) 正规子群只有两个平凡者，列由此唯一。∎
6.4 小结与思考题
小结 6.6 类并引理（正规 ⟺ 整类之并）＋ 五类清点（1/20/15/12/12）＋ Lagrange = A5 单。证明全程未用任何超出「模 3 与枚举」的算术。留下的余音：模 3 一步的实质是「20 这块砖与 60 这个框架在 3 的刻度上错位一拍」——§7 的分裂判据与 §8 的一般证明将继续兑现这类算术错位。
思考题 6
把定理 6.3 的证明逐行重算一遍，但故意在第二步漏掉 β = 0 的三个候选，检验结论是否仍成立；再回答：模 3 一步能否省去（即直接枚举 16 种拼法）？两种写法的「证明成本」差在哪？
用类并计数证明：A6 单（§7.3 将给出 A6 的类表，可直接代用；穷举可交给附录 B 脚本）。
证明阶 60 的群若同构于 A5 ，则它的 Sylow 5-子群恰有 6 个。（结合 n₅ ≡ 1 (mod 5)、n₅ | 12 与单性。）
（进阶）用 Sylow 定理证明：阶小于 60 的群都不是非交换单群。这是「最小非交换单群是 A5 」的另一半。
证明：若 G 单且 |G | > 2，则 G 不能有指数 2 的子群；由此再证单群不能是二群直积。
§7 分裂判据：类何时一分为二§5 的解剖留下了三条观察：3-循环不裂（富余文字上有奇搭桥工）、双对换不裂（中心化子自带奇性）、5-循环裂（中心化子全偶）。本节把观察提炼成对一切 n 成立的判据——它是连接「A5 单」与「一切 An 单」的桥，也是看清 A4 、A6 、A7 类结构的一览表。
7.1 判据与证明
定理 7.1（分裂判据） 设 σ ∈
An （
n ≥ 2），其轮换型中
把 1-循环（不动点）也计入 ，记长度集合为 {k₁, …, k
r , 1, …, 1}。则 σ 在
An 中的共轭类与在
Sn 中同大（
不分裂 ），当且仅当 σ 的型
不满足 以下三条之一：
(a) 存在偶数长 的轮换；
(b) 存在两个长度相同的奇 轮换（1-循环的重复也算）；
(c) 存在两个不动点 （即 1-循环至少两个，已并入 (b)）。
换言之：
σ 分裂 ⟺ 它的全部轮换皆奇长、且长度两两互异（不动点至多一个） 。
证. 由定理 4.2，Sₙ 类大小 = n !/|C S n !/2)/|C A C A C S An 。两边相等 ⟺ |C A C S C S 奇元素 。于是判据归结为一个纯构造问题：什么时候能找到与 σ 交换的奇置换？
(⟸) 三种奇搭桥工。 (a) 若 σ 含偶长轮换 γ = (a₁ ⋯ a_{2k})，取 g = γ2k−1 （幂指数为奇）：sgn(g) = (−1)(2k−1)(2k−1) = −1，且 g 与 γ 交换、与其余轮换支撑不交，故 gσ = σg。(b) 若 σ 含两个同长奇轮换 γ = (a₁ ⋯ ak k k k k (⟹) 干净型的中心化子全是偶的。 设 σ 的全部轮换奇长且互异（不动点至多一个）。设 g ∈ C S 同长 轮换支撑；而长度互异，故每个支撑映到自身，即 g 在每个轮换 γi k i m m +ji j j (k−1)C S An ，C A C S ∎
说明 7.2（判据的三种读法） 第一读法（算术）：把轮换型写成 1-循环补齐的多重集，数一数有没有重复的奇数、有没有偶数。第二读法（搭桥）：中心化子是 σ 的「对称守卫队」，只要守卫队里混进一个奇元素，Sₙ 的类就不会在 Aₙ 里掉队分裂。第三读法（富余）：分裂需要的恰恰是 σ 「占满」了自己的支撑与长度清单——不给任何奇置换留搭桥的空隙。§5.2 的三个命题分别是 (c)+(b)、(a)+(b)、「干净型」的实例。
7.2 回头复核：A₄ 与 A₅ 全部对上
群 型 奇长互异？ 判据预测 实际（出处） A₄ (3,1) 是（3 与 1 互异） 裂：8 → 4+4 ✓（例 3.1） A₄ (2,2) 否（有偶长） 不裂：3 一类 ✓（例 3.1） A₅ (3,1,1) 否（1 重复） 不裂：20 一类 ✓（命题 5.2） A₅ (2,2,1) 否（偶长） 不裂：15 一类 ✓（命题 5.3） A₅ (5) 是（单奇长 5，无重复，无多余不动点） 裂：24 → 12+12 ✓（命题 5.4）
值得注意的是 A4 与 A5 的对照：(3,1) 在 A4 裂而 (3,1,1) 在 A5 不裂——同为 3-循环，差别全在富余不动点的个数。这解释了 §3 与 §5 的一切「手感」。
7.3 A₆ 与 A₇：判据的批量收成
把定理 4.6（类大小公式）与定理 7.1（分裂判据）联用，A6 、A7 的全部共轭类一表打尽。先筛偶型，再逐型计算。
A₆（阶 360） 型 S₆ 类大小 奇搭桥工 判据 A₆ 类大小 (1⁶) 1 — — 1 (2,2,1,1) 720/16 = 45 (56) 不裂 45 (3,1,1,1) 720/18 = 40 不动点对换 不裂 40 (3,3) 720/18 = 40 交换两轮换（3 对换，奇） 不裂 40 (4,2) 720/8 = 90 4-循环自身（奇） 不裂 90 (5,1) 720/5 = 144 无（{5,1} 互异奇） 裂 72 + 72
核对：1 + 45 + 40 + 40 + 90 + 72 + 72 = 360 ✓（共 7 类）。
A₇（阶 2520） 型 S₇ 类大小 奇搭桥工 判据 A₇ 类大小 (1⁷) 1 — — 1 (2,2,1,1,1) 5040/48 = 105 不动点对换 不裂 105 (3,1,1,1,1) 5040/72 = 70 不动点对换 不裂 70 (3,2,2) 5040/24 = 210 2-循环自身（奇） 不裂 210 (3,3,1) 5040/18 = 280 交换两 3-循环 不裂 280 (4,2,1) 5040/8 = 630 4-循环自身 不裂 630 (5,1,1) 5040/10 = 1008 不动点对换（1 重复） 不裂 504 (7) 5040/7 = 720 无（{7} 干净型） 裂 360 + 360
核对：1 + 105 + 70 + 210 + 280 + 630 + 504 + 360 + 360 = 2520 ✓（共 9 类）。
说明 7.3（A₆、A₇ 的单性：计数法还能走多远） 对 A6 执行 §6 的算法：|N| = 1 + 45α + 40β + 40β′ + 90γ + 72δ + 72δ′ 整除 360。附录 B 的脚本穷举全部 2⁶ = 64 种拼法，唯一幸存者又是 |N| = 360（全部整类）——A6 单；对 A7 的 2⁸ 种拼法同理。但手工穷举的代价随类数指数上涨 ：这不是证明 An 单的可推广路径，而恰恰是 §8 一般证明登场的理由——用一个对一切 n ≥ 5 统一的构造性论证取代逐群清点。
思考题 7
验证表 (4,2) 行：逐数核对 (abcd) 与 (abcd)(ef) 交换，并确认 (abcd) 是奇置换。
求 A8 中发生分裂的全部轮换型，并算出对应类的大小。（先把偶型列全，再用判据筛选；验算总账 1 + … + … = 20160。）
证明：σ 分裂 ⟺ 不存在奇置换 g 使 gσg⁻¹ 仍落在 σ 在 An 中的共轭类里。（把判据翻译成「搬运工语言」。）
用表核算：A6 中与 (123) 可交换的全部偶置换有多少个？（提示：|C A
（铺垫 §8）在 A6 类表中找出「最小支集」的非单位类；若 N ◁ A₆ 非平凡，N 中必含哪个类的元素？这个问题将在 §8 获得系统答案。
§8 一般定理：n ≥ 5 时 Aₙ 皆单计数证明（§6）在 A5 上干净利落，但它依赖「类只有五块」的运气——A7 已有九类、A10 更多，逐群穷举没有尽头。本节换一件武器：一个对一切 n ≥ 5 同时生效的构造性论证 。核心想法只有一句话：从正规子群里任取一个「动字最少」的元素，用换位子把它削短——削到最后必然削出一个 3-循环，而 3-循环已足以生成全部 。这个证明属于 Camille Jordan（1873），是 19 世纪群论的支柱之一。
8.1 两件兵器：换位子与最小支集
定义 8.1（支集与换位子） 对 σ ∈ Sn ，支集 supp(σ) = {x : σ(x) ≠ x}，其元素个数记 m(σ)。对 σ, τ 定义换位子 [τ, σ] = τστ⁻¹σ⁻¹（度量 τ 与 σ 「不交换的程度」：二者交换 ⟺ 换位子为 e）。
引理 8.2（换位子落进正规子群） 若 N ◁ G ，σ ∈ N ，τ ∈ G ，则 [τ, σ] ∈ N 。
证. 正规性给 τστ⁻¹ ∈ N ；N 是子群，σ⁻¹ ∈ N ，故 [τ, σ] = (τστ⁻¹)σ⁻¹ ∈ N 。∎
说明 8.3（战略地形） 引理 8.2 是「削短术」的合法性证书：N 外的任何元素 τ 都可以拿来削 N 内的 σ，削出的更短元素仍在 N 里。战术安排：设 N ≠ {e}，取 σ ∈ N ∖{e} 使 m(σ) 最小 。若能证明 m(σ) = 3（σ 是 3-循环），则由定理 2.9 与「3-循环类不裂」（型 (3,1,1,…) 的 1 有重复，判据 7.1），N 装下全部 3-循环，N = An 。于是全部工作化为：排除 m ≥ 4 ——对每个 m ≥ 4 的可能形状，显式算出一个支集更短的非单位换位子，与最小性矛盾。
8.2 第一幕：m = 3——终点站
命题 8.4 若 N ◁ An （n ≥ 5）含一个 3-循环，则 N = An 。
证. 3-循环是偶的；An 中 3-循环类的分裂与否由判据 7.1 裁定：型 (3,1,1,…) 有大量重复的 1-循环，不裂——全部 3-循环同属一类。类整块进出 N （引理 6.1），故 N 含全部 3-循环；再由生成定理 2.9，N ⊇ ⟨全部 3-循环⟩ = An 。∎
8.3 第二幕：m = 4——削出 3-循环
命题 8.5 设 N ◁ An （n ≥ 5），σ ∈ N ∖{e} 且 m(σ) = 4 最小。则不可能。
证. 动 4 个文字的偶置换只有型 (2,2)（4-循环是奇的），记 σ = (ab)(cd)。由
n ≥ 5 取新文字 x，令 τ = (cdx) ∈
An 。逐条计算 [τ, σ] = τστ⁻¹σ⁻¹：
由引理 4.4，τστ⁻¹ = (ab)(τ(c) τ(d)) = (ab)(dx)（a, b 不在 τ 的支撑上）；σ⁻¹ = σ。
[τ, σ] = (ab)(dx)·(ab)(cd)。(ab) 与后二因子支撑不交，可消去：(dx)(cd)。
逐点核算 (dx)(cd)（先 (cd) 后 (dx)）：c ↦ d ↦ x；x ↦ x ↦ d；d ↦ c ↦ c。得 (cxd)。
故 (cxd) = [τ, σ] ∈
N （引理 8.2），它是非单位元且 m = 3 < 4——与 m 的最小性矛盾。
∎
削短术流程：m ≥ 4 的每一种形状都通向矛盾
N ◁ Aₙ 非平凡，取 σ 使 m = m(σ) 最小
σ 的支集形状？
m = 3：σ 是 3-循环
3-循环一类不裂（判据 7.1）
⟹ N = Aₙ ✓（命题 8.4）
m = 4：σ = (ab)(cd)
换位子 τ = (cdx)：
[τ,σ] = (cxd)，支集 3 ✗
m ≥ 5（§8.4 三情形）
单轮换 / 双轮换 / 全对换
换位子支集 5 或 4 ✗
矛盾 ⟹ m 不可能 ≥ 4 ⟹ m = 3
⟹ N 装下全部 3-循环 ⟹ N = Aₙ（Jordan, 1873）
图 8-1 最小支集论证的路线图。红色支路上，每个换位子都被逐字算出（§8.3 与 §8.4），其支集严格短于 σ——最小性逐一否决；唯一的幸存者是 3-循环，而它直接把 N 撑成整个 Aₙ。
8.4 第三幕：m ≥ 5——三种形状，三种削法
设 m ≥ 5，把 σ 写成互不相交的轮换之积 σ = γ₁γ₂⋯γr k −1k₁ )，γ₂ = (b₁ b₂ ⋯ bk₂ )。
命题 8.6（情形一：单轮换） σ = (a₁ a₂ ⋯ am r = 1。不可能（除非 m = n = 5，该情形属 A5 ，已由定理 6.3 解决）。
证. 分两种几何处境。
(i) m < n（存在不动点 x）。 取 τ = (a₁ a₂ x) ∈
An 。由引理 4.4，
τστ⁻¹ = (τ(a₁) τ(a₂) ⋯ τ(am m
逐点核对 [τ, σ] = (τστ⁻¹)σ⁻¹：a₁ ↦(σ⁻¹)↦ a
m ↦(τστ⁻¹)↦ a₂，而 a₂ ↦ a₁ ↦ a₁；a₃ ↦ a₂ ↦ x，x ↦ x ↦ a₃；其余 a₄, …, a
m 逐点还原（a
i ↦ a
i −1 ↦ a
i ）。故
[τ, σ] = (a₁a₂)(a₃x)，
支集 4 < m，与最小性矛盾。
(ii) m = n（无不动点；n ≥ 6，因 n = 5 属 A5 ）。 取 τ = (a₁ a₂ a₄) ∈
An 。此时
τστ⁻¹ = (a₂ a₄ a₃ a₁ a₅ ⋯ an
逐点核对：a₁ ↦ a
n ↦ a₂，a₂ ↦ a₁ ↦ a₅，a₅ ↦ a₄ ↦ a₃，a₃ ↦ a₂ ↦ a₄，a₄ ↦ a₃ ↦ a₁；a₆, …, a
n 逐点还原。故
[τ, σ] = (a₁ a₂ a₅ a₃ a₄)，
一个 5-循环，支集 5 < n = m，矛盾。
∎ 命题 8.7（情形二：最长轮换 k₁ ≥ 3，至少两个轮换） σ 含 γ₁ = (a₁ ⋯ ak₁ )（k₁ ≥ 3）与 γ₂ = (b₁ ⋯ bk₂ )（k₂ ≥ 2）两个不交轮换。不可能。
证. 先排掉一个形状：k₁ = 3、k₂ = 2 时型为 (3,2)，奇偶性 (−1)²·(−1)¹ = −1，是奇置换，根本不在
An 中；故 m = k₁ + k₂ ≥ 6。取 τ = (a₁ a₂ b₁) ∈
An 。由引理 4.4，γ₁ ↦ (a₂ b₁ a₃ ⋯ a
k₁ )、γ₂ ↦ (a₁ b₂ b₃ ⋯ b
k₂ )，其余轮换不动：
τστ⁻¹ = (a₂ b₁ a₃ ⋯ ak₁ )(a₁ b₂ b₃ ⋯ bk₂ )γ₃⋯γr
逐点核对五个关键字母（其余字母——a₄,…,a
k₁ 、b₃,…,b
k₂ 、γ₃ 以后的支撑——全部逐点还原）：
字母 σ⁻¹ 送它到 τστ⁻¹ 再送到 净效果 a₁ ak₁ a₂ a₁ ↦ a₂ a₂ a₁ b₂ a₂ ↦ b₂ b₂ b₁ a₃ b₂ ↦ a₃ a₃ a₂ b₁ a₃ ↦ b₁ b₁ bk₂ a₁ b₁ ↦ a₁
（k₁ = 3 时 a₃ 恰是 γ₁ 的末字母、k₂ = 2 时 b₂ 恰是 γ₂ 的末字母，两处边界都已含在上表的取法里。）故
[τ, σ] = (a₁ a₂ b₂ a₃ b₁)，
一个 5-循环，支集 5 < m（m ≥ 6），矛盾。
∎ 命题 8.8（情形三：全部轮换都是 2-循环） σ 是偶数个不交对换之积。不可能。
证. σ = (a₁a₂)(b₁b₂)(c₁c₂)⋯，对换个数
r 为偶。r = 2 给 m = 4（命题 8.5 已排除），故 r ≥ 4、m ≥ 8。取 τ = (a₁ a₂ b₁) ∈
An 。由引理 4.4，τστ⁻¹ = (a₂ b₁)(a₁ b₂)(c₁c₂)⋯（前两个对换的四个字母被 τ 置换拼写，其余不动）。逐点核对：
a₁ ↦(σ⁻¹)↦ a₂ ↦ b₁；b₁ ↦ b₂ ↦ a₁；a₂ ↦ a₁ ↦ b₂；b₂ ↦ b₁ ↦ a₂；c₁, c₂, … 全部还原。故
[τ, σ] = (a₁b₁)(a₂b₂)，
一个双对换，支集 4 < m（m ≥ 8），矛盾。
∎ 定理 8.9（Jordan，1873） 对一切 n ≥ 5，交错群 An 是单群。
证. 设 {e} ≠ N ◁ An ，取 σ ∈ N ∖{e} 使 m(σ) 最小。σ 是偶置换，故 m ≠ 1, 2（支集 1 不可能，支集 2 的置换是对换，奇）。若 m = 3，命题 8.4 给 N = An 。若 m = 4，命题 8.5 导出矛盾。若 m ≥ 5，σ 的轮换分解必落入命题 8.6、8.7、8.8 三种情形之一（单轮换 / 最长轮换 ≥ 3 的多轮换 / 全对换），各自导出矛盾。故 N = An 。∎
说明 8.10（A₆、A₇ 的双保险） Jordan 定理断言 A6 、A7 单；§7.3 的类表配上附录 B 脚本的穷举从计数一侧独立复核了同一结论——构造性证明与计数证明在具体小群上互为印证。这种「一般定理管全部、具体清点管眼前」的双轨结构，是有限单群研究的常态。
8.5 应用：Sₙ 的正规子群一举数清
推论 8.11 对 n ≥ 5，Sn 的正规子群恰有三个：{e}、An 、Sn 。
证. 设 N ◁ Sn 。交 N ∩ An 是 An 的正规子群（两个正规子群之交正规），由 Jordan 定理它等于 {e} 或 An 。
若 N ∩ An = An ，则 An ⊆ N ⊆ Sn ，由 |An |/|Sn | = 2 知 N ∈ {An , Sn }。
若 N ∩ An = {e}，则 N 至多含一个奇元素（两个奇元素之差是偶元素，落在交里），即 |N | ≤ 2。若 |N | = 2，N = {e, τ}（τ 奇），正规性要求 τ 的整个共轭类 ⊆ N ；但奇元素所在类至少有 2 个元素（τ 的类大小 [Sₙ : C(τ)] ≥ n(n−1)/2 ≥ 10，或最粗地：取 g 使 gτg⁻¹ ≠ τ，因 τ ≠ e 的共轭类大小 = 群阶 ÷ 中心化子阶 > 1），矛盾。故 |N | = 1，N = {e}。∎
思想（分界线为什么画在 n = 5） 三处机制在 n = 4 与 n = 5 之间同时翻转。其一，3-循环类：A4 中型 (3,1) 是「互异奇长」的干净型，裂成 4 + 4，命题 8.4 的第一步就失守；A5 起富余不动点让 3-循环类永不裂。其二，双对换类：在 A4 中 {e} ∪ 双对换类 = V4 恰好封闭成群，裂缝现成；在 A5 中 1 + 15 = 16 不整除 60，同一拼法当场破产。其三，削短术的落点：m ≥ 5 的换位子一律给出支集 ≤ 5 的更短元素，这个「5 的下界」恰由 n ≥ 5 的富余文字供给。n = 5 不是约定，而是三条算术事实的交汇点。
8.6 小结与思考题
小结 8.12 Jordan 定理的证明是一部三幕剧：换位子把正规子群外的元素变成削短工具（引理 8.2）；最小支集把「可能形状」压缩到单轮换、多轮换、全对换三种；三种削法分别产出双对换（支集 4）、5-循环（支集 5）、双对换（支集 4），全部短于原支集——矛盾。终点站是 3-循环，而 3-循环生成交错群。推论 8.11 顺手清点了 Sn 的正规子群。
思考题 8
把命题 8.6(i) 的逐点核对写成完整表格（a₁, a₂, a₃, a₄, …, am
命题 8.7 的表格中，a₄（设 k₁ ≥ 4）为什么逐点还原？写出它的两步落点。
对 n = 5 执行命题 8.8：r ≥ 4 需要 8 个文字，故该情形在 A5 中根本不出现——验证这一点，并确认 §6 的计数证明恰好补上全部缺口。
证明 An （n ≥ 5）由形如 (12k )（3 ≤ k ≤ n ）的 n − 2 个 3-循环生成。（结合思考题 2.3 与命题 8.4 的类论证。）
（进阶）列出 60 的全部真因数，并逐一考查哪些在 A5 中有子群实现（24、20、12、10、6、5、4、3、2 各有没有？可与 C-ST-3《Sₙ 子群全录》的清单对照）。
§9 宇宙一瞥：从 60 个元素到单群的版图主定理证毕。本节走出证明，看 A5 在三个方向上的回声：几何（正二十面体）、代数（五次方程）、与全景（有限单群分类）。
9.1 正二十面体的旋转群恰是 A₅
定理 9.1 正二十面体（及正十二面体）的旋转对称群同构于 A5 。
证（梗概，三步）. 第一步（数）。 正二十面体有 12 个顶点、20 个面、30 条棱。旋转对称必固定中心，故由「顶点集合上的置换」决定；绕轴的旋转分三类：过一对相对顶点的 6 条五重轴（各给 72°, 144°, 216°, 288° 四个非平凡旋转，共 24 个）、过一对相对面中心的 10 条三重轴（各给两个旋转，共 20 个）、过一对相对棱中点的 15 条二重轴（各一个 180° 旋转，共 15 个）。合计 24 + 20 + 15 + 1 = 60 个旋转。
第二步（嵌入）。 把这 60 个旋转作用在「本体的某个五元结构」上——例如嵌入正二十面体的 5 个互相内接的正八面体（或等价地，12 个顶点按「对棱」配成 6 对后的特定五分组）——得到同态 Rot → S5 。作用是忠实的（固定全部五个结构的旋转必固定所有顶点与面，是恒等）。
第三步（认出）。 60 阶的像里，五重轴的 72° 旋转对应 5-循环（24 个，恰分两类各 12——「手性」再次现身）、三重轴对应 3-循环（20 个）、二重轴对应双对换（15 个）——与 §5.3 的类表逐行吻合。像是一个 60 阶、含全部三类典型元的 S5 子群；由计数（或直接由单性：像在 S5 中的正规核对应 Rot 的正规子群，而 Rot 显然有正规的……此处按 §6.3 的完备性收敛）得像 = A5 。∎
正二十面体沿一条五重轴的正交投影
前顶点（轴上）
背侧五边形
前侧五边形（5 点）
腰棱（10 条）
三维等长的 30 条棱在投影中长度各异（前视短缩）；两五边形半径相等。
图 9-1 沿五重轴看正二十面体：前后两个顶点都落在轴上（投影为中心的一点），它们各自的 5 个邻居组成两个半径相等的正五边形、互错 36°。30 条棱的邻接关系逐一核对于正文；60 个旋转对称到 A5 的 60 个元素按「五重 24 / 三重 20 / 二重 15 / 恒等 1」一一对应。
9.2 Galois 的幽灵：五次方程为什么解不开
本册开篇许诺过的联系现在可以兑现。Galois 理论把多项式方程的「根式可解性」翻译成其 Galois 群的「可解性」：方程可根式求解 ⟺ Galois 群存在一条正规列，其商因子全是素数阶循环群。而 n ≥ 5 时一般 n 次方程的 Galois 群是 Sn ，推论 8.11 说它的正规列别无选择——任何正规链必穿过 An ，而 An 单且非交换，商因子 An /1 = An 不是素数阶循环群。链条在 An 处卡死：不可解。 本册证明的 Jordan 定理，正是这枚历史性「不可能」的引擎。这条线索的完整展开，见本系列姊妹册《一元五次多项式方程的根式解》。
9.3 有限单群的完整版图
把「拆不动」的群全部找出来——这是 20 世纪数学最浩大的集体工程。有限单群分类定理 （1983 年宣布、2004 年补齐最后细节，全文逾万页）给出的答案是：有限单群只有四族。
族 成员 与本册的关系 素数循环群 Cp （p 素数）定理 1.4：交换一侧的全部 交错群 An （n ≥ 5）定理 8.9：本册的主角与主角的全体亲属 Lie 型群 16 族（如 PSL(2, q )） 另一世界：几何与算术联姻的对称 散在单群 26 个（Monster 最大） 例外清单；最小的 M₁₁ 与 A5 一样从置换群中现身
A5 在版图上的位置意味深长：它是最小的非交换单群 、交错族的第一员、也是唯一一个同时是正多面体旋转群的交错群。从 60 个置换出发，一条线索通向正二十面体的水晶，一条通向五次方程的坟场，一条通向万页的分类丰碑——这正是小主题的价值：一个足够精确的小问题，从来都不小。
9.4 全册回顾
总结 9.2 本册的路程：单群与正规子群的定义（§1）→ sgn 与交错群的严格构造、3-循环生成定理（§2）→ A4 与 V4 的反例解剖（§3）→ 共轭类工具箱（§4）→ A5 五类清点 1/20/15/12/12（§5）→ 计数证明 A5 单（§6）→ 分裂判据与 A6 、A7 类表（§7）→ Jordan 定理 n ≥ 5 皆单与 Sn 正规子群清点（§8）→ 三重回声（§9）。两条主线值得带走：「正规子群 = 整类之并」把结构问题变成计数问题 ；「换位子削短 + 最小支集」把无限族的单性一次证完 。
思考题 9
用立方体（8 顶点、6 面、12 棱）的旋转对称群（24 阶，同构 S4 ）验证同一套「数—嵌—认」三步，并与 A4 、S4 的单性状况对照。
正十二面体与正二十面体有相同的旋转群（对偶性），但一个有五重轴穿过面心、一个穿过顶点——用对偶解释为何两者给出同一个 60 阶群。
证明 A5 的每个真子群的指数至少是 5。（用单性与群作用：指数 k 的子群给出到 Sk 的同态，单性迫使核平凡或全群。）
查阅并简述：散在单群 M₁₁ 的阶为 7920 = 2⁴·3²·5·11，它也是置换群（S ₁₁ 的子群）。用本册的类并计数思路说明：为什么 M₁₁ 的单性证明远比 A5 艰难。
附录 A 速查表A.1 记号与约定
记号 含义 首见 Sn / An n 文字对称群 / 交错群（偶置换全体）§2.1 / §2.3 N ◁ G N 是 G 的正规子群（gNg⁻¹ = N）§1.1 cl(σ) σ 的共轭类 {gσg⁻¹} §4.1 CG (σ) σ 的中心化子 {g : gσ = σg} §4.1 supp(σ), m(σ) σ 的支集与其元素个数 §8.1 [τ, σ] 换位子 τστ⁻¹σ⁻¹ §8.1 (3,1,1) 型 轮换型（1-循环显式计入） §2.1
A.2 共轭类总表（A₄ 至 A₇）
群（阶） 类大小（按轮换型） 类数 分裂的型 单？ A₄ (12) 1〔(1⁴)〕· 3〔(2,2)〕· 4〔(3,1)〕· 4〔(3,1) 逆向〕 4 (3,1) 否（V₄ ◁ A₄） A₅ (60) 1〔(1⁵)〕· 20〔(3,1,1)〕· 15〔(2,2,1)〕· 12〔(5)〕· 12〔(5) 逆向〕 5 (5) 单 A₆ (360) 1〔(1⁶)〕· 45〔(2,2,1,1)〕· 40〔(3,1,1,1)〕· 40〔(3,3)〕· 90〔(4,2)〕· 72〔(5,1)〕· 72〔(5,1) 逆向〕 7 (5,1) 单 A₇ (2520) 1〔(1⁷)〕· 105〔(2,2,1³)〕· 70〔(3,1⁴)〕· 210〔(3,2,2)〕· 280〔(3,3,1)〕· 630〔(4,2,1)〕· 504〔(5,1,1)〕· 360〔(7)〕· 360〔(7) 逆向〕 9 (7) 单
总账核对：每行类大小之和分别等于 12、60、360、2520 ✓。分裂型恰是「奇长互异」的干净型——判据 A.3。
A.3 分裂判据卡片（定理 7.1）
σ ∈ An 的类分裂 ⟺ 其轮换型（1-循环计入）由两两互异的奇数长度构成（不动点至多一个）。
不分裂的三大「搭桥工」：偶长轮换的奇次幂 · 同长奇轮换间的交换映射（k 个对换，k 奇）· 不动点上的对换。三者都是与 σ 交换的奇置换；找不到搭桥工（干净型）时中心化子全偶，类大小减半、一分为二。
A.4 Jordan 定理证明分支速查（定理 8.9）
最小支集形状 削短师 τ 换位子 [τ, σ] 支集 结论 m = 3（3-循环） — — — 3-循环类不裂 ⟹ N = Aₙ m = 4：σ = (ab)(cd) (cdx) (cxd) 3 矛盾 m ≥ 5：单轮换，m < n (a₁a₂x) (a₁a₂)(a₃x) 4 矛盾 m ≥ 5：单轮换，m = n ≥ 6 (a₁a₂a₄) (a₁a₂a₅a₃a₄) 5 矛盾 m ≥ 5：多轮换，k₁ ≥ 3 (a₁a₂b₁) (a₁a₂b₂a₃b₁) 5 矛盾（m ≥ 6） m ≥ 8：全对换（r ≥ 4） (a₁a₂b₁) (a₁b₁)(a₂b₂) 4 矛盾
（记号：γ₁ = (a₁a₂⋯ak₁ )、γ₂ = (b₁b₂⋯bk₂ ) 为 σ 的前两个不交轮换；x 为支集外任一文字；k₁ = 3、k₂ = 2 的型 (3,2) 是奇置换，自动排除。）
A.5 单性判定流程（计数法操作手册）
给定有限群 G，判定单性的类并计数流程：
① 算出全部共轭类大小 c₁ = 1, c₂, …, ck
② 写出 |N| = 1 + 些许 ci k −1
③ 筛去不整除 |G| 的（Lagrange）；
④ 对幸存的 |N| 检验「对应类之并」是否真是子群（封闭性）；
⑤ 结论：若幸存者只有 1 与 |G|，则 G 单。
示例：G = A₅，第 ② 步只有 16 种组合，第 ③ 步后剩 60 一家（§6.2）；G = A₄，幸存者 4 = V₄，裂缝即裂缝在②③的夹缝里现形（§3）。全套流程的机器执行见附录 B。
附录 B 可运行核对脚本以下脚本只用 Python 标准库，完整复核本册的四条主干：符号同态与交错群的构造（§2）、A4 …A7 的共轭类与分裂判据（§3、§5、§7）、类并计数穷举与单性判定（§6）、以及 3-循环生成定理（定理 2.9）。直接运行即可逐行对拍正文。
# a5_check.py —— 交错群单性总核对：sgn · 共轭类 · 分裂 · 类并穷举
# 运行：python a5_check.py （仅用标准库，约数秒）
from itertools import permutations
from collections import defaultdict
from math import factorial
def sgn(p): # 置换 p 的符号（逆对数法）
inv = sum(1 for i in range(len(p)) for j in range(i)
if p[j] > p[i])
return -1 if inv % 2 else 1
def compose(q, p): # 先作用 p，再作用 q
return tuple(q[p[i] - 1] for i in range(len(p)))
def cyc_type(p): # 轮换型（长度不增排列）
n, seen, out = len(p), [False] * len(p), []
for i in range(n):
if not seen[i]:
m, j = 0, i
while not seen[j]:
seen[j], j, m = True, p[j] - 1, m + 1
out.append(m)
return tuple(sorted(out, reverse=True))
def all_3cycles(n): # 全体 3-循环 (1,2,k) 型生成元
g = list(range(1, n + 1))
gens = []
for k in range(3, n + 1):
c = list(range(1, n + 1)); c[0], c[1], c[k-1] = 2, k, 1
gens.append(tuple(c))
return gens
def inv(p): # 逆置换
r = [0] * len(p)
for i, x in enumerate(p):
r[x - 1] = i + 1
return tuple(r)
def conj_orbit(start, gens): # 共轭轨道（A_n 的共轭类）
seen, stack = {start}, [start]
while stack:
x = stack.pop()
for g in gens:
y = compose(compose(g, x), inv(g))
if y not in seen:
seen.add(y); stack.append(y)
return seen
def orbit(start, gens): # 生成闭包（BFS）
seen, stack = {start}, [start]
while stack:
x = stack.pop()
for g in gens:
for y in (compose(g, x), compose(x, g)):
if y not in seen:
seen.add(y); stack.append(y)
return seen
def an_classes(n): # A_n 的共轭类：按共轭轨道直接算
gens = all_3cycles(n)
rest = {p for p in permutations(range(1, n + 1))
if sgn(p) == 1}
cls = []
while rest:
o = conj_orbit(next(iter(rest)), gens)
rest -= o
cls.append(o)
return cls
def is_closed(S):
for x in S:
for y in S:
if compose(x, y) not in S:
return False
return True
def union_subgroups(n, cls): # 类之并穷举：整除关在前，封闭关在后
N = factorial(n) // 2
found = set()
for mask in range(1 << len(cls)):
S = set()
for b, o in enumerate(cls):
if (mask >> b) % 2:
S |= o
if len(S) == 0 or N % len(S):
continue
if len(S) in (1, N) or is_closed(S):
found.add(len(S))
return sorted(found)
print('== 共轭类与分裂（类大小按轮换型分列） ==')
for n in (4, 5, 6, 7):
cls = an_classes(n)
bytype = defaultdict(list)
for o in cls:
e = next(iter(o))
bytype[cyc_type(e)].append(len(o))
row = ', '.join('%s:%s' % (t, sorted(v, reverse=True))
for t, v in sorted(bytype.items()))
total = sum(map(len, cls))
print('A%d 共 %d 类，合计 %d： %s' % (n, len(cls), total, row))
print()
print('== 类并穷举出的子群阶 ==')
for n in (4, 5, 6, 7):
orders = union_subgroups(n, an_classes(n))
print('A%d 正规子群阶（类并可行者）：%s' % (n, orders))
print()
print('== 3-循环生成定理（定理 2.9） ==')
for n in (4, 5, 6, 7):
size = len(orbit(tuple(range(1, n + 1)), all_3cycles(n)))
print('A%d：生成闭包 = %d 元素（应 %d）'
% (n, size, factorial(n) // 2))
运行结果对照 脚本应报告：A₅ 共 5 类（1 / 20 / 15 / 12 / 12，(5) 型一分为二）、A₆ 共 7 类（(5,1) 型分裂）、A₇ 共 9 类（(7) 型分裂）；类并穷举给出的子群阶为 A₄ ：1, 4, 12（裂缝 V₄ 现形）、A₅ ：1, 60、A₆ ：1, 360、A₇ ：1, 2520（后三者单）；3-循环闭包恒为 n !/2。四条结果分别对应 §5.3、§7.3、§6.2 与定理 2.9。