第5章：五大家族

前四章我们从"什么是群"出发，学会了用 Cayley 图、乘法表和循环图三种方式可视化群。本章是全书第一次系统性综述：五大经典群家族依次登场，覆盖了从最简单的循环群到最一般的对称群的完整谱系。

学完本章后，你将能回答以下问题：给定一个有限群，它"看起来像"哪个家族？它的生成元是什么？阶是多少？

后续章节：第6章将深入群内部，研究子群与陪集的结构。

五大经典群家族从简到繁排列如下。左侧两家（循环群 $C_n$、Abel 群）是交换群；右侧三家（二面体群 $D_n$、对称群 $S_n$、交错群 $A_n$）引入了非交换结构。$S_n$ 是最一般的情况，包含所有 $n$ 元置换。

graph LR
    subgraph Abelian["交换群 (Abelian)"]
        Cn["C_n
循环群
阶 = n"]
        Ab["Abel 群
直积分解"]
    end
    subgraph NonAbelian["非交换群"]
        Dn["D_n
二面体群
阶 = 2n"]
        An["A_n
交错群
阶 = n!/2"]
        Sn["S_n
对称群
阶 = n!"]
    end

    Cn -->|"特例"| Ab
    Cn -->|"旋转子群"| Dn
    Dn -->|"同构 n=3"| Sn
    Sn -->|"取平方元"| An

    style Cn fill:#e8f5e9
    style Ab fill:#e8f5e9
    style Dn fill:#fff3e0
    style An fill:#e3f2fd
    style Sn fill:#fce4ec
    

图 5.1：五大群家族的谱系关系。绿色为交换群，暖色为非交换群。箭头表示包含或导出关系。

循环群是最简单的群家族，具有以下核心性质：

• 阶：$|C_n| = n$。
• 交换性：所有循环群都是 Abel 群，因为 $a^i \cdot a^j = a^{i+j} = a^j \cdot a^i$。
• Cayley 图：单环结构，$n$ 个节点排列成圆环，一个箭头颜色。
• 乘法表：沿对角线呈平行条纹图案（"拉丁方"结构）。
• 循环图：一个大环连接所有 $n$ 个节点。
• 子群：$C_n$ 的每个子群都是循环的，阶整除 $n$。

无限循环群

当生成元 $a$ 的阶为无穷（即不存在 $k > 0$ 使得 $a^k = e$）时，$\langle a \rangle = \{\ldots, a^{-2}, a^{-1}, e, a, a^2, \ldots\}$ 构成无限循环群，记为 $C_\infty$。整数加法群 $(\mathbb{Z}, +)$ 就是一个无限循环群，生成元为 $1$。

Abel 群不是一个新的家族，而是一个性质类别：循环群是最简单的 Abel 群，但 Abel 群比循环群更广泛。

Abel 群的判定

• Cayley 图：如果 Cayley 图中任意两条不同颜色的箭头构成的"小方块"总是闭合的（即先沿红色再沿蓝色，和先沿蓝色再沿红色，到达同一个节点），则群是 Abel 的。
• 乘法表：沿主对角线对称。

有限 Abel 群基本定理

直积的构造方式：设 $A$ 和 $B$ 是群，$A \times B$ 的元素是有序对 $(a, b)$，运算为 $(a_1, b_1) \cdot (a_2, b_2) = (a_1 a_2, b_1 b_2)$。

例如 $V_4 \cong C_2 \times C_2$（Klein 四元群），而 $C_6 \cong C_2 \times C_3$。

元素列举

$D_n = \{e, r, r^2, \ldots, r^{n-1}, f, fr, fr^2, \ldots, fr^{n-1}\}$

• 外环（旋转）：$\{e, r, r^2, \ldots, r^{n-1}\}$，构成子群 $C_n \leq D_n$。
• 内环（翻转）：$\{f, fr, fr^2, \ldots, fr^{n-1}\}$，每个元素的阶为 2。

Cayley 图结构

$D_n$ 的 Cayley 图由两个同心环组成：

• 外环：$r$ 箭头连接 $e \to r \to r^2 \to \cdots \to r^{n-1} \to e$（顺时针）。
• 内环：$r$ 箭头连接 $f \to fr \to fr^2 \to \cdots \to fr^{n-1} \to f$（逆时针）。
• $f$ 箭头：连接外环和内环对应位置的元素。

graph TD
    subgraph Outer["外环（旋转）"]
        e["e"]
        r1["r"]
        r2["r²"]
        r3["r³"]
        r4["r⁴"]
    end
    subgraph Inner["内环（翻转）"]
        f0["f"]
        fr1["fr"]
        fr2["fr²"]
        fr3["fr³"]
        fr4["fr⁴"]
    end

    e -->|"r"| r1
    r1 -->|"r"| r2
    r2 -->|"r"| r3
    r3 -->|"r"| r4
    r4 -->|"r"| e

    f0 -->|"r⁻¹"| fr4
    fr4 -->|"r⁻¹"| fr3
    fr3 -->|"r⁻¹"| fr2
    fr2 -->|"r⁻¹"| fr1
    fr1 -->|"r⁻¹"| f0

    e -."f".-> f0
    r1 -."f".-> fr1
    r2 -."f".-> fr2
    r3 -."f".-> fr3
    r4 -."f".-> fr4

    style Outer fill:#e8f5e9,stroke:none
    style Inner fill:#fff3e0,stroke:none
    style e fill:#a5d6a7
    style r1 fill:#a5d6a7
    style r2 fill:#a5d6a7
    style r3 fill:#a5d6a7
    style r4 fill:#a5d6a7
    style f0 fill:#ffcc80
    style fr1 fill:#ffcc80
    style fr2 fill:#ffcc80
    style fr3 fill:#ffcc80
    style fr4 fill:#ffcc80
    

图 5.2：$D_5$ 的 Cayley 图结构。外环（绿色）为旋转元素，内环（橙色）为翻转元素，虚线表示 $f$ 箭头。注意内环的 $r$ 箭头方向与外环相反。

乘法表的四象限结构

$D_n$ 的乘法表按"旋转元素/翻转元素"分为四个象限：

这个四象限模式恰好是 $C_2$ 乘法表的放大版——这预览了第7章的商群概念：$D_n / C_n \cong C_2$。

循环图

$D_n$ 的循环图由一个 $n$ 元大环和 $n$ 个二元小环组成，所有小环通过恒等元 $e$ 连接到大环上。

置换的基本操作

• 复合：两个置换的复合仍然是置换（满足封闭性）。
• 逆元：每个置换都可逆——把箭头方向反转即可。
• 阶的快速增长：$|S_1| = 1$，$|S_2| = 2$，$|S_3| = 6$，$|S_4| = 24$，$|S_5| = 120$。

$S_n$ 与 $A_n$ 的关系

graph TD
    Sn["S_n
对称群
阶 = n!"]
    An["A_n
交错群
阶 = n!/2"]
    En["偶置换
(even permutations)"]
    On["奇置换
(odd permutations)"]

    Sn -->|"按奇偶分类"| En
    Sn -->|"按奇偶分类"| On
    En -->|"构成子群"| An

    An -->|"指数 = 2"| Sn
    An -->|"正规子群"| Sn

    style Sn fill:#fce4ec
    style An fill:#e3f2fd
    style En fill:#e3f2fd
    style On fill:#fff3e0
    

图 5.3：$S_n$ 与 $A_n$ 的关系。$S_n$ 按置换奇偶性分为两个等大小类，偶置换构成子群 $A_n$，指数为 2。

与柏拉图立体的联系

五种正多面体的对称群恰好对应 $S_n$ 和 $A_n$ 家族的重要成员：

证明思路

1. 对群 $G$ 的乘法表的每一列，构造一个置换 $p_i$：列 $i$ 记录了"右乘 $i$"对所有元素做了什么。
2. 这 $n$ 个置换 $\{p_1, p_2, \ldots, p_n\}$ 在复合运算下构成一个群。
3. 关键验证：$p_i \circ p_j$ 作用在恒等元 1 上的结果等于 $i \cdot j$，因此置换群的结构完全复制了原群。

本章的练习是检验你对五大群家族理解程度的最佳工具。以下列出关键练习方向：

基础类

• Exercise 5.1-5.3：循环群计算与 Abel 性判定。判断"每个循环群都是 Abel 的"但"并非每个 Abel 群都是循环的"。
• Exercise 5.6-5.8：画出 $C_9$、$D_4$、$C_{999}$ 的 Cayley 图、乘法表和循环图。

理解家族

• Exercise 5.18：证明 $S_1 \cong C_1$，$S_2 \cong C_2$。
• Exercise 5.19：列举 $S_3 = D_3$ 的元素并画出 Cayley 图。
• Exercise 5.25：正四面体的对称群是 $A_4$——尝试独立验证。

Cayley 定理

• Exercise 5.41：从乘法表中提取置换——亲手验证 Cayley 定理。
• Exercise 5.42：用 $S_3$ 中的置换能构造哪些群？（答案：$C_1$、$C_2$、$C_3$、$S_3$）。

进阶

• Exercise 5.37：两个不同构的 6 阶群是什么？（$C_6$ 和 $D_3 \cong S_3$）。
• Exercise 5.38：证明若群中每个元素阶为 2，则群是 Abel 的。提示：由 $a^2 = e$ 推出 $a = a^{-1}$，再利用 $(ab)^{-1} = b^{-1}a^{-1} = ba$。