第4章：代数终于登场

前三章已经建立了一个以"动作"为核心的群论直觉：群是一组满足特定规则的动作，可以用 Cayley 图来可视化。本章完成一个关键跨越：从"看得见"到"算得清"。我们要学习如何把动作系统的组合关系编码为乘法表，然后借助乘法表去理解群的经典代数定义——四条公理（二元运算、结合律、单位元、逆元）。

学完本章，你将拥有两种等价但互补的群的视角：动作视角与代数视角。

前三章一直用"动作"来理解群。但数学家通常不说"动作"，而说"元素"（element）；不把组合说成"做 A 再做 B"，而说成"运算"（operation）。本章的目标是用这些更通用的术语重新描述群。

原因在于：很多重要的群并不能用直观的动作来表示。比如整数加法群 $\mathbb{Z}$——它没有"箭头"、没有"状态图"，但它仍然是一个合法的群。动作视角能帮助我们起步，但不足以覆盖群论的全部范围。

flowchart LR
    A["动作视角
（Cayley 图）"] -->|"编码组合关系"| B["乘法表"]
    B -->|"提取结构性质"| C["代数视角
（群公理）"]
    C -->|"等价描述"| A
    

图 4.1：从动作系统到乘法表再到代数定义的映射关系

在动作视角下，我们知道做动作 A 再做动作 B 等价于做某个动作 C。比如在 $V_4$（Klein 四元群）中，先做水平翻转 $R$ 再做垂直翻转 $B$，结果等于同时做两个翻转 $RB$。

这种组合关系是乘法表的来源。我们把群中的每个元素（动作）同时写在表的行头和列头，然后行列交叉处的格子填入"先做行对应的动作，再做列对应的动作"的结果。

以 $V_4$ 为例，它的元素有四个：$N$（无操作/恒等）、$R$（水平翻转）、$B$（垂直翻转）、$RB$（同时翻转）。组合规则可以由 Cayley 图读出，从而完整填充乘法表。

构造乘法表的过程并不复杂，但非常系统化：

1. 列出群的所有元素，同时写在行头和列头。
2. 用 Cayley 图作为"计算器"，查出每对元素的组合结果。
3. 把结果填入对应格子。

对于 $V_4$，完整乘法表如下：

表 4.1：$V_4$（Klein 四元群）的完整乘法表

乘法表的威力在于它揭示了 Cayley 图无法直接展示的信息——元素组合的模式。如果为每个元素指定一种颜色，然后将乘法表的每个格子按结果元素的颜色着色，就能直观看到群的结构模式。在 $V_4$ 的乘法表中，对角线上全都是 $N$，这意味着 $V_4$ 中每个元素都是自己的逆元（$g^2 = e$）。

flowchart TD
    subgraph 构造流程
      A["列出群元素"] --> B["用 Cayley 图查组合"]
      B --> C["填入乘法表"]
      C --> D["着色观察模式"]
    end
    subgraph 可见模式
      E["恒等行列 = 表头"]
      F["对角线 → 逆元信息"]
      G["对称性 → 交换律"]
    end
    C --> E
    C --> F
    C --> G
    

图 4.2：乘法表的构造流程与可观察的结构模式

乘法表让我们做好了准备，可以去阅读和理解群的标准定义了。这个定义不再依赖"动作"的直觉，而是完全用代数语言表述。

flowchart TB
    G["集合 G"]
    G --> Axiom1["公理 1：二元运算
a∗b ∈ G"]
    G --> Axiom2["公理 2：结合律
(a∗b)∗c = a∗(b∗c)"]
    G --> Axiom3["公理 3：单位元
∃e: e∗g = g∗e = g"]
    G --> Axiom4["公理 4：逆元
∀g ∃g⁻¹: g∗g⁻¹ = e"]
    Axiom1 --> Table["本质：乘法表存在"]
    Axiom2 --> Table
    Axiom3 --> Table
    Axiom4 --> Table
    Table --> Group["G 是一个群"]
    

图 4.3：群定义四条公理的关系图——它们共同保证乘法表具有特定的结构

结合律说的是：在连续组合多个元素时，括号放在哪里不影响结果。例如在 $S_3$ 中：

用括号来标注先后顺序：

这不是理所当然的。例如，整数的减法就不满足结合律：

但群运算永远满足结合律。在乘法表中，结合律表现为一个不那么直观但可以验证的结构性质：对任意三个元素 $a, b, c$，查表得到 $a \ast b$，再用结果查 $c$；与查 $b \ast c$，再用 $a$ 查结果——两者必须给出同一个格子。

逆元说的是：每个群元素都有一个"撤销操作"。做 $g$ 再做 $g^{-1}$，等于什么都没做（恒等 $e$）。

在 $V_4$ 中，每个元素都是自己的逆元：

但在 $S_3$ 中情况不同。例如 $r$ 的逆元是 $r^2$（旋转 $120°$ 的逆操作是再旋转 $240°$），而 $f$ 的逆元是 $f$ 本身。

在乘法表中，逆元的存在表现为：每一行和每一列都必须恰好包含一次恒等元 $e$。因为 $g \ast g^{-1} = e$ 意味着 $g$ 所在的那行、$g^{-1}$ 所在的那列一定是 $e$；而"恰好一次"保证了逆元的唯一性。

我们在第1章看到的动作定义（Definition 1.9）和本章的代数定义（Definition 4.2）描述的是同一件事。动作系统天然满足四条公理：动作的组合就是二元运算，连续动作天然结合律，"什么也不做"就是单位元，"撤销"就是逆元。

反过来，满足四条公理的集合 $G$ 也总可以被理解为一组动作（这是 Cayley 定理的内容，将在第5章中详细讨论）。

因此，两个定义是等价的，只是表述的"语言"不同：

Carter 在本章末尾布置了多组练习，核心方向有三：

1. 构造乘法表：给定一个 Cayley 图，写出乘法表（Exercises 4.1–4.5）。这是将可视化能力转化为代数计算能力的基础训练。
2. 从乘法表检验群公理：给定一个方阵，判断它是否是某个群的乘法表（Exercises 4.13–4.16）。核心技巧：检查每行每列是否恰好包含每个元素一次（Latin square 性质），再验证结合律。
3. 理解两种定义的等价性：对比 Definition 1.9 和 Definition 4.2，思考为什么它们描述同一件事（Exercises 4.17–4.20）。