第2卷第6章阿贝尔群的眼泪

从集合上的二元运算逐条建立群公理，审计典型例子，构造最小群与二元素群，再以同构、交换律和单位根理解阿贝尔群与抽象结构。

学习目标

能把集合与二元运算写成结构 (G, ★)，逐项检查闭合性、结合律、单位元和逆元
能用运算表构造平凡群和二元素群，并说明为什么错误填表会失去逆元
能用保持运算的双射解释同构，区分结合律与交换律并判断一个群是否为阿贝尔群
能用模运算实验验证单位根、正多边形旋转与阿贝尔群之间的同一条结构证据链

先看见结构，而不是先记名字

第2卷第6章把数、几何变换和方程的解放进同一副“运算眼镜”。自然数整数有理数实数复数的集合是我们熟悉的数系阶梯，但群论不要求元素必须是数字：元素也可以是奇偶类别、单位圆上的点或一个旋转动作。

群论真正追问的是：给定集合 G，能否定义一个二元运算 ★，并让它稳定地留在 G 内？如果答案是肯定的，还要继续检查四条公理。这样，整数关于加法构成群、奇数关于加法不闭合、偶数关于加法构成群，以及整数加法群与整数乘法非群，就能用同一张检查表解释。

从集合到阿贝尔群：每一层都是可以逐项复查的结构契约。

一、从二元运算到四条公理

在集合 G 上定义 ★，就是给出函数：

★:G\times G\longrightarrow G,\qquad (a,b)\longmapsto a★b.

结果仍在 G 中叫作闭合性；也可以说“关于运算是闭集”。例如自然数关于加法闭合，而奇数关于加法不闭合，因为 1+3=4 已经离开奇数集合。闭合性只回答“结果有没有离开”，还不能单独保证是群。

群的四条公理把“像群”变成可审计的契约：

闭合性：a,b∈G 时 a★b∈G。
结合律：(a★b)★c=a★(b★c)。
单位元：存在 e∈G，使 a★e=e★a=a。
逆元：每个 a∈G 都有 a⁻¹∈G，使 a★a⁻¹=a⁻¹★a=e。

四条公理是必要条件；任一处失败，候选结构就不能称为群。

结合律允许我们省略多余括号，却不允许交换位置。整数加法、整数乘法、矩阵乘法和函数复合都满足结合律；减法一般不满足。检查群时，不能用“运算看起来熟悉”替代证明。

单位元依赖集合和运算这一整对数据：整数加法的单位元是 0，非零数乘法的单位元是 1。空集没有任何元素，所以没有单位元；元素个数最少的群只能是一个元素的平凡群 ({e},★)，其中 e★e=e。

逆元也必须留在当前集合。整数关于加法构成群，因为 a 的逆元是 -a；整数关于乘法不是群，因为 2 的逆元 1/2 不在整数中，0 也没有乘法逆元。偶数关于加法构成群，而奇数关于加法不闭合，这两个例子提醒我们要记录失败发生在哪一行。

二、运算表如何被公理制约

有限集合可以用运算表把每个输入对的输出写出来。平凡群只有一格：

`★`	`e`
`e`	`e`

设二元素群为 {e,a}。单位元公理先固定三格：e★e=e、e★a=a、a★e=a。为了让 a 有逆元，最后一格不能是 a，只能是 e：

`★`	`e`	`a`
`e`	`e`	`a`
`a`	`a`	`e`

这就是二元素群的唯一运算表。若把右下角填成 a，表面上仍闭合且 e 仍像单位元，但 a 的行和列都找不到 e，所以逆元公理失败。这里体现的是公理创造定义：不是先猜结构再找理由，而是制约逐格缩小选择。

有限运算表把抽象公理变成逐格可检查的约束。

三、同构：名字可以换，关系不能丢

抽象表 {e,a}、奇偶类别关于加法和 {+1,-1} 关于乘法，都有同一张二元素运算表。若两个群 (G,★) 与 (H,○) 之间有双射 φ，并且：

φ(x★y)=φ(x)○φ(y),

那么 φ 是同构。它把 e 对应到 +1，把 a 对应到 -1，并保持每一格运算。因此所有二元素群彼此同构；忽略元素名字后，本质上只有一个二元素群 C₂。

同构换掉元素名字，却不换掉运算关系。

“制约创造结构”的含义正在这里变清楚：公理不需要直接写出每一张表，却能逼出二元素群的形状；同构再告诉我们，具体名字和材质不是结构本质。抽象化不是把内容变模糊，而是保留可复用的运算关系。

四、交换律、阿贝尔群与单位根

结合律与交换律不同：前者是 (a★b)★c=a★(b★c)，后者是 a★b=b★a。一个群若还满足交换律，就叫阿贝尔群。整数加法群、偶数加法群和二元素群都是阿贝尔群，但矩阵乘法群可能只满足结合律而不满足交换律。

考虑 n 次单位根：

\mu_n=\{1,\zeta_n,\zeta_n^2,\ldots,\zeta_n^{n-1}\},\qquad \zeta_n=e^{2\pi i/n}.

复数乘法下，指数按模 n 相加：ζⁱζʲ=ζⁱ⁺ʲ (mod n)。结果仍在集合中，单位元是 1，逆元是 ζⁿ⁻ⁱ，结合律和交换律继承自复数乘法，所以 n次单位根构成阿贝尔群。几何上，单位根与正多边形顶点重合，乘以 ζ 就是旋转 2π/n。

模数xy

当前运算

2 + 4 ≡ 0 (mod 6)

单位元：0 · x 的逆元：4

公理快照

✓ 闭合性：结果仍在候选集合

✓ 交换律：x★y = y★x（通过）

提示：乘法模合数时，某些元素可能没有逆元。

改变运算和元素，观察“闭合、交换、单位元、逆元”四个证据如何同步变化。

这个模运算实验把定义变成可运行的检查器：选择加法模 n 或非零剩余类乘法，改变两个元素，观察闭合性、交换律、单位元和逆元的结果。它也说明从阿贝尔群定义解释椭圆曲线语句时，我们至少可以读出：曲线上的点（加上无穷远点）有一个二元运算，结果仍是点，有单位元、每点有逆元、运算满足结合律并且可交换。

五、存在、无矛盾与抽象化

无矛盾性是存在的基石：如果一组公理互相冲突，就不存在同时满足它们的对象；构造出 ({e,a},★) 的合法模型，则至少证明二元素群公理可以被满足。这个模型还让“所有二元素群彼此同构”有了可检查的样本，而不是一句口号。

单位根的复数乘法、正多边形旋转和子群层次是同一个结构的三种视角。

在更大的群中，子群是对同一个运算保持闭合并且自身满足群公理的子集合；它让我们可以从局部结构逐层观察整体。把加法中的 0、乘法中的 1、复数旋转的单位根都抽象为单位元，把 +、× 和函数复合都抽象为二元运算，就能把一次证明迁移到许多模型。

官方概念锚点回收如下：自然数整数有理数实数复数的集合、二元运算、闭合性、关于运算是闭集、结合律、单位元、逆元、群的四条公理、公理创造定义、整数关于加法构成群、奇数关于加法不闭合、偶数关于加法构成群、整数加法群与整数乘法非群、元素个数最少的群、平凡群、运算表、二元素群的唯一运算表、同构、所有二元素群彼此同构、制约创造结构、交换律、结合律与交换律不同、阿贝尔群、n次单位根构成阿贝尔群、单位根与正多边形顶点、从阿贝尔群定义解释椭圆曲线语句、无矛盾性是存在的基石和抽象化，都已经在本章的定义、反例、表格、图和实验中各自落到可复查的证据上。

分步验收：让制约生成结构

分步1 / 4

1. 定义：给集合接上运算

写出一个候选 (G,★)，先测试二元运算和闭合性，再把结果填入四公理检查表。特别标记奇数加法和整数乘法各自的第一处失败。