抽象代数（一）：群 —— 你与代数结构的初次相遇

为什么代数结构很重要#

我第一次接触抽象代数时，盯着一本教材的目录发呆了整整一个下午。目录上写着“群、环、域”，旁边配着一堆我完全看不懂的符号。我当时心里只有一个念头：这些字母和箭头到底在算什么？实数我会算，矩阵我会乘，函数我会求导，可“群”到底是个什么东西？它连个具体的数字都没有，凭什么能成为一门课的核心？

后来我才明白，我当时的困惑恰恰是学习这门课最正常的起点。抽象代数不研究“具体的数”，它研究的是“操作的规律”。在给出任何冷冰冰的定义之前，我想让你先在脑子里留住一幅画面：群就是一个集合，里面装着一堆元素。你可以随便挑两个元素把它们“组合”成第三个元素，组合出来的结果永远跑不出这个集合；你做的任何操作都可以“撤销”；而且你组合的时候，括号随便挪，结果都不变。这就是群的全部核心思想。本文剩下的几千字，只是把这一句话慢慢拆开、揉碎、配上例子，让你亲眼看到它是怎么运转的。

本科阶段的大部分数学课都在跟具体对象打交道：实数轴上的点、$[0,1]$ 区间上的连续函数、$n$ 维向量空间 $\mathbb{R}^n$ 。你算着算着，到某个时刻会突然发现一个奇怪的现象。整数做加法，和非零有理数做乘法，表面上风马牛不相及，但它们的“骨架”居然一模一样。两者都带着一个二元运算，这个运算满足结合律，都有一个“什么都不做”的单位元，而且每个元素都能找到对应的“撤销键”。抽象代数（abstract algebra）干的事情，就是把所有偶然的、表面的细节全部剥掉，只留下这种结构上的相似性。

群（group）是最简单、也最无处不在的代数结构。它藏在数学的每一个角落：数论里模 $n$ 的乘法单位群、几何里图形的等距群、拓扑里空间的基本群、物理里控制粒子对称性的李群（Lie group）、组合数学里作用在有限集上的置换群。我带过很多自学这门课的学生，那些后来真正开窍的人，都有一个共同的习惯：第一次读到公理时，他们不会急着背定义，而是立刻抓三四个自己熟悉的例子，挨个验证公理成不成立。代数不是背出来的，是算出来的。

从历史角度看，这个概念在十九世纪初由伽罗瓦（Galois）的工作凝结成型。他当时想搞清楚为什么五次方程没有根式解，结果意外发现“置换的组合规律”才是关键。阿贝尔（Abel）几乎在同一时间独立走到了相同的结论。后来凯莱（Cayley）把具体背景全部抽走，给出了今天教科书里用的抽象定义。从“解多项式方程”到“四条干巴巴的公理”，这是数学史上最漂亮的思想压缩之一。

在这篇文章里，我会带你正式定义群，建一个例子库，引入子群（subgroup）的概念，然后证明拉格朗日定理（Lagrange’s theorem）——这是群论里第一个真正有分量的结果。每一个结论我都会给出证明或者完整的数值演算。几乎每一节都会出现具体的数字例子；如果你第一次读的时候跳过了它们，你会错过这篇文章八成以上的价值。代数直觉不是天上掉下来的，是你亲手算出来的。

正式定义：四个公理#

先给你一个心理图景：想象你手里有一个带“组合”按钮的盒子。盒子里装着一堆元素。你随便按两个元素，盒子吐出第三个元素，而且吐出来的东西一定还在盒子里。盒子里有个特殊的元素，按它等于没按。每个元素都有一个专属的“撤销键”，按完撤销键，盒子回到初始状态。这就是群。

群（group）是一个集合 $G$ 配上一个二元运算 $\cdot : G \times G \to G$ ，必须满足下面四条规矩：

1. 封闭性（closure）：对所有 $a, b \in G$ ，元素 $a \cdot b$ 属于 $G$ 。这句话的意思就是：你在集合里随便挑两个东西组合，结果绝对跑不出这个集合，不会突然蹦出一个外来户。
2. 结合律（associativity）：对所有 $a, b, c \in G$ ，$(a \cdot b) \cdot c = a \cdot (b \cdot c)$ 。这句话的意思就是：你先组合前两个再跟第三个组合，和你先组合后两个再跟第一个组合，结果完全一样，括号可以随便挪，不用管运算顺序。
3. 单位元（identity）：存在一个元素 $e \in G$ 使得对所有 $a \in G$ ，$e \cdot a = a \cdot e = a$ 。这句话的意思就是：集合里藏着一个“透明人”，它跟谁组合都不改变对方，相当于加法里的 $0$ 或者乘法里的 $1$ 。
4. 逆元（inverse）：对每个 $a \in G$ ，存在 $a^{-1} \in G$ 使得 $a \cdot a^{-1} = a^{-1} \cdot a = e$ 。这句话的意思就是：每个操作都有对应的“撤销键”，按完撤销键，系统直接回到单位元状态。

当运算满足交换律，也就是对所有 $a, b$ 都有 $a \cdot b = b \cdot a$ 时，我们管 $G$ 叫阿贝尔群（abelian group），这个名字是为了纪念阿贝尔。根据具体场景，我通常会把运算写成乘法形式（$ab$ 代替 $a \cdot b$ ），或者加法形式（$a + b$ ，此时单位元写成 $0$ ，逆元写成 $-a$ ）。写法只是外衣，骨架完全一样。

为什么要把这四条规矩单独抽出来？因为一旦你证明了一个定理只依赖这四条公理，这个定理就能瞬间套用到成千上万个完全不同的系统上。后面要证的拉格朗日定理，对模 12 的整数成立，对正六边形的对称操作成立，对一副扑克牌的所有洗牌方式也成立。你只需要证一次，到处都能用。

单位元和逆元不仅存在，而且唯一。假设 $e$ 和 $e'$ 都是单位元。那么 $e = e \cdot e' = e'$ 。这句话的意思就是：第一个等号利用了 $e'$ 是单位元（跟谁乘都不变），第二个等号利用了 $e$ 是单位元，所以两个单位元其实是同一个东西。类似地，如果 $b$ 和 $c$ 都是 $a$ 的逆元，则 $b = b \cdot e = b \cdot (a \cdot c) = (b \cdot a) \cdot c = e \cdot c = c$ 。这句话的意思就是：你把单位元拆开成 $a$ 和它的逆元 $c$ ，利用结合律重新组合，$b$ 和 $a$ 先抵消成单位元，最后剩下 $c$ ，说明逆元也只能有一个。这两段两行证明值得你反复看几遍，它们是代数推理的标准模板。

例 1：$(\mathbb{Z}, +)$ 。 整数在加法下构成一个阿贝尔群。单位元是 $0$ ，$n$ 的逆元是 $-n$ 。封闭性和结合律直接继承自小学就学过的整数算术。你随便拿两个整数相加，结果还是整数；括号随便挪，和不变。

例 2：$(\mathbb{Q}^*, \times)$ 。 非零有理数在乘法下构成一个阿贝尔群。单位元是 $1$ ，$q$ 的逆元是 $1/q$ 。这里必须把 $0$ 踢出去，因为 $0$ 没有乘法逆元，你找不到一个数乘 $0$ 能等于 $1$ 。

例 3：平凡群（trivial group）。 集合 $\{e\}$ 配上运算 $e \cdot e = e$ 构成一个群。它是唯一一个（在同构意义下）只有一个元素的群。虽然看起来无聊，但它在证明里经常充当边界情况，不能忽略。

数值示例：手动验证 $\mathbb{Z}/4\mathbb{Z}$ 的公理。 取四个元素 $\{0, 1, 2, 3\}$ ，运算为模 4 加法。封闭性：$2 + 3 = 5 \equiv 1 \pmod 4$ ，结果 $1$ 还在集合里。单位元：$0$ ，因为 $0 + k \equiv k$ 。逆元：$-1 \equiv 3$ ，所以 $1$ 的逆元是 $3$ ；$2$ 的逆元是 $2$ 本身，因为 $2 + 2 = 4 \equiv 0$ ；$3$ 的逆元是 $1$ 。结合律直接从整数加法继承过来。四条公理，四行算术，全部验明正身。

反例 1：$(\mathbb{Z}, \times)$ 。 整数在乘法下构不成群。原因很简单：大多数元素根本没有逆元。整数 $2$ 在 $\mathbb{Z}$ 里找不到乘法逆元，$1/2$ 不是整数。封闭性和结合律都有，单位元 $1$ 也在，但逆元这条直接断裂。

反例 2：$(\mathbb{N}, +)$ 。 自然数 $\{0, 1, 2, \ldots\}$ 在加法下有单位元 $0$ ，但没有逆元。你找不到自然数 $n$ 使得 $1 + n = 0$ 。这在代数里叫幺半群（monoid），比群弱一口气，就差在“不能撤销”。

消去律（cancellation laws）。 在任何群里，如果 $ab = ac$ 则 $b = c$ （左消去律），如果 $ba = ca$ 则 $b = c$ （右消去律）。左消去律的证明：两边左边乘以 $a^{-1}$ 得到 $a^{-1}(ab) = a^{-1}(ac)$ 。这句话的意思就是：你在等式两边同时按下 $a$ 的撤销键。由结合律得 $(a^{-1}a)b = (a^{-1}a)c$ 。这句话的意思就是：括号挪一下，让 $a$ 和它的逆元先碰头。因此 $eb = ec$ ，从而 $b = c$ 。这句话的意思就是：$a$ 和逆元抵消成单位元，单位元不改变任何东西，等式直接瘦身成 $b = c$ 。右消去律完全对称。

消去律有一个非常实用的推论：在有限群的凯莱表（Cayley table）里，每一行和每一列都是群元素的一个完整排列。如果某一行重复了同一个元素，左消去律就被打破了；如果某一列重复了，右消去律就破了。这是识别“假群”最快的方法：把提议的乘法表写出来，扫一眼每一行是不是排列。很多初学者自己编的“群”，在第二行检查时就露馅了。

幂的记号： 对于 $a \in G$ 和 $n \in \mathbb{Z}$ ，归纳定义 $a^n$ ：$a^0 = e$ ，$a^n = a \cdot a^{n-1}$ 当 $n > 0$ 时，$a^n = (a^{-1})^{-n}$ 当 $n < 0$ 时。这句话的意思就是：正指数就是连乘，零指数回到单位元，负指数就是逆元的连乘。你可以验证 $a^{m+n} = a^m a^n$ 和 $(a^m)^n = a^{mn}$ 对所有 $m, n \in \mathbb{Z}$ 成立。这句话的意思就是：指数运算法则在任意群里都原封不动地保留，跟你中学学的完全一样。

循环群和模 $n$ 整数#

想象一个时钟。指针每次往前走一格，走到头就绕回起点。有些时钟只有有限个刻度，有些时钟的刻度无限延伸，永远走不到头。这就是循环群（cyclic group）的全部直觉。

循环群的定义非常干脆：群 $G$ 是循环群，当且仅当存在一个元素 $g \in G$ ，使得 $G$ 里的每个元素都是 $g$ 的幂：$G = \{g^n : n \in \mathbb{Z}\}$ 。这句话的意思就是：你只需要一个“生成元”，不断按组合键，就能遍历整个群。我们记作 $G = \langle g \rangle$ ，管 $g$ 叫生成元（generator）。

整数 $(\mathbb{Z}, +)$ 是循环群，由 $1$ （或者 $-1$ ）生成。你从 $0$ 开始，不断加 $1$ 或不断减 $1$ ，能踩遍所有整数。这是无限循环群。

模 $n$ 整数： 固定一个正整数 $n$ 。定义 $\mathbb{Z}/n\mathbb{Z} = \{0, 1, 2, \ldots, n-1\}$ ，运算为模 $n$ 加法。这是一个阶为 $n$ 的循环群，由 $\bar{1}$ 生成。这句话的意思就是：这就是一个 $n$ 刻度的时钟，每次加 $1$ ，加到 $n$ 就归零。

数值示例：验证 $\mathbb{Z}/6\mathbb{Z}$ 的公理。 元素是 $\{0,1,2,3,4,5\}$ 。模 $6$ 加法：$3 + 5 = 8 \equiv 2 \pmod{6}$ ，$4 + 4 = 8 \equiv 2 \pmod{6}$ ，$5 + 1 = 6 \equiv 0 \pmod{6}$ 。单位元是 $0$ 。$1$ 的逆元是 $5$ （因为 $1+5=6\equiv0$ ），$2$ 的逆元是 $4$ ，$3$ 的逆元是 $3$ （因为 $3+3=6\equiv0$ ）。结合律从 $\mathbb{Z}$ 继承。全部过关。

实例：$\mathbb{Z}/12\mathbb{Z}$ 的生成元普查。 元素 $\bar{k}$ 能生成整个 $\mathbb{Z}/12\mathbb{Z}$ ，当且仅当 $\gcd(k, 12) = 1$ 。这句话的意思就是：你的步长必须和总刻度互质，否则你会在某些刻度上死循环，永远踩不到其他位置。在 $\{0, \ldots, 11\}$ 中与 $12$ 互质的整数是 $1, 5, 7, 11$ 。所以 $\mathbb{Z}/12\mathbb{Z}$ 恰好有四个生成元。验证 $k = 5$ ：$5$ 的连续倍数模 $12$ 是 $5, 10, 15\equiv3, 20\equiv8, 25\equiv1, 30\equiv6, 35\equiv11, 40\equiv4, 45\equiv9, 50\equiv2, 55\equiv7, 60\equiv0$ 。这句话的意思就是：步长为 $5$ 时，你恰好踩遍所有十二个刻度才回到起点。对比 $k = 4$ ：$4, 8, 12\equiv0, 4, 8, 0, \ldots$ 三步就循环了。这句话的意思就是：因为 $\gcd(4, 12) = 4$ ，步长和刻度有公因数，你只能踩到 $0, 4, 8$ 三个位置，生成的是一个真子群。

定理：循环群的子群结构： 循环群的每个子群也是循环群。此外，如果 $G = \langle g \rangle$ 的阶为 $n$ ，那么对于 $n$ 的每个除数 $d$ ，恰好有一个阶为 $d$ 的子群，即 $\langle g^{n/d} \rangle$ 。这句话的意思就是：循环群的子群和它的阶数的因数是一一对应的，找子群等价于找因数。

证明思路。 设 $H \leq G = \langle g \rangle$ 。如果 $H = \{e\}$ ，它显然是循环群。否则，设 $m$ 是最小的正整数，使得 $g^m \in H$ 。我断言 $H = \langle g^m \rangle$ 。取任意 $g^k \in H$ 。写成带余除法 $k = qm + r$ ，其中 $0 \leq r < m$ 。那么 $g^r = g^k (g^m)^{-q} \in H$ 。这句话的意思就是：你把 $g^k$ 拆成 $g^{qm}$ 和 $g^r$ ，$g^{qm}$ 是 $g^m$ 的幂，属于 $H$ ，所以剩下的 $g^r$ 也必须属于 $H$ 。$m$ 的最小性迫使 $r = 0$ 。这句话的意思就是：如果 $r$ 不是 $0$ ，它就比 $m$ 还小且对应的幂在 $H$ 里，这跟 $m$ 是最小正整数矛盾。因此 $g^k = (g^m)^q \in \langle g^m \rangle$ 。当 $|G| = n$ 时，条件 $\langle g^m \rangle \leq G$ 强制 $m \mid n$ ，且 $|\langle g^m \rangle| = n/m$ 。设 $d = n/m$ 即得结果。整个证明的核心就是带余除法，没有花哨技巧。

为什么这个定理重要？循环群是每个有限阿贝尔群的基本积木块，后面的结构定理会把任意有限阿贝尔群拆成循环群的直积。理解循环群的子群，就等于拿到了阿贝尔群理论的入门钥匙。它也是通往初等数论的桥梁：$\mathbb{Z}$ 的子群正好是集合 $n\mathbb{Z}$ ，这跟正整数的整除格完全同构。

无限循环群与有限循环群的对比。 无限循环群 $\mathbb{Z}$ 对于每个非负整数 $n$ 恰好有一个子群：$n\mathbb{Z}$ 。子群 $n\mathbb{Z}$ 在 $\mathbb{Z}$ 中的指数为 $n$ （对于 $n \geq 1$ ），商群 $\mathbb{Z}/n\mathbb{Z}$ 是阶为 $n$ 的循环群。因此，每个循环群要么同构于 $\mathbb{Z}$ ，要么同构于某个 $n \geq 1$ 的 $\mathbb{Z}/n\mathbb{Z}$ 。这句话的意思就是：循环群只有两种长相，无限长的数轴，或者有限刻度的时钟，没有第三种。

自然的问题：给定两个循环群 $\mathbb{Z}/m\mathbb{Z}$ 和 $\mathbb{Z}/n\mathbb{Z}$ ，它们的直积 $\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ 何时再次成为循环群？答案是：当且仅当 $\gcd(m, n) = 1$ 。此时，$\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}/mn\mathbb{Z}$ （中国剩余定理）。具体检查：$\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z}$ 的阶为 $15$ ，元素 $(1, 1)$ 的加法阶为 $\text{lcm}(3,5) = 15$ ，因此它生成整个群。这句话的意思就是：两个时钟的刻度互质时，你同时拨动它们，要经过最小公倍数步才会同时回到起点，这段时间足够你遍历所有组合。对比：在 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ 中，每个元素的阶最多为 $2$ ，没有元素能生成所有四个位置。这句话的意思就是：刻度不互质时，你会提前同步归零，永远走不满整个直积空间。

单位群 $(\mathbb{Z}/n\mathbb{Z})^*$ 。 定义 $(\mathbb{Z}/n\mathbb{Z})^* = \{k \in \mathbb{Z}/n\mathbb{Z} : \gcd(k, n) = 1\}$ ，运算为模 $n$ 乘法。这是一个阶为 $\varphi(n)$ 的阿贝尔群，其中 $\varphi$ 是欧拉函数（Euler’s totient function）。例如，$(\mathbb{Z}/8\mathbb{Z})^* = \{1, 3, 5, 7\}$ 在模 $8$ 乘法下：

每个元素平方后都等于 $1$ ，因此这个群同构于 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ （克莱因四元群 Klein four-group），而不是 $\mathbb{Z}/4\mathbb{Z}$ 。注意表格对角线全是 $1$ ；这是克莱因四元群的结构指纹。这句话的意思就是：如果你发现一个四阶群里每个非单位元自乘都回到单位元，它绝对不是循环群，而是两个二阶群的直积。

小范围枚举：$n \le 10$ 时的 $(\mathbb{Z}/n\mathbb{Z})^*$ 。 计算每个 $n$ 的阶 $\varphi(n)$ 并判断群是否为循环群：

• $n = 2$ ：$\{1\}$ ，阶为 $1$ ，平凡。
• $n = 3$ ：$\{1, 2\}$ ，阶为 $2$ ，生成元为 $2$ （$2^1=2, 2^2=4\equiv1$ ）。
• $n = 4$ ：$\{1, 3\}$ ，阶为 $2$ ，生成元为 $3$ 。
• $n = 5$ ：$\{1,2,3,4\}$ ，阶为 $4$ ，生成元为 $2$ （$2^1=2, 2^2=4, 2^3=8\equiv3, 2^4=16\equiv1$ ）。
• $n = 7$ ：$\{1,2,3,4,5,6\}$ ，阶为 $6$ ，生成元为 $3$ （$3^1=3, 3^2=2, 3^3=6, 3^4=4, 3^5=5, 3^6=1$ ）。
• $n = 8$ ：阶为 $4$ ，但如上所述，它是克莱因四元群，不是循环群。
• $n = 9$ ：阶为 $6$ ，生成元为 $2$ （幂次为 $2, 4, 8, 16\equiv7, 14\equiv5, 10\equiv1$ ）。

高斯（Gauss）的一个定理指出 $(\mathbb{Z}/n\mathbb{Z})^*$ 是循环群当且仅当 $n \in \{1, 2, 4, p^k, 2p^k\}$ ，其中 $p$ 是奇素数。注意 $n = 8 = 2^3$ 是最小的非循环情况。这句话的意思就是：单位群什么时候能由一个元素生成，完全取决于模数 $n$ 的素因数分解长什么样，$2$ 的高次幂会破坏循环性。这给原本抽象的单位群结构提供了非常具体的数值质感。

对称群：二面体群和对称群#

想象你手里拿着一个实物，比如一个正三角形或者一个正方形。你把它放在桌上，写下所有能让它“看起来跟原来一模一样”的刚体操作（旋转、翻转），然后像拼积木一样把这些操作先后叠加。这一组操作本身就构成一个群。对称不是静态的图片，而是动态的操作集合。

对称群（symmetric group）$S_n$ 。 设 $X = \{1, 2, \ldots, n\}$ 。所有双射 $\sigma : X \to X$ 在复合运算下构成一个群，称为对称群 $S_n$ 。它的阶是 $n!$ 。这句话的意思就是：$n$ 个元素的所有可能洗牌方式放在一起，先洗一次再洗一次，结果还是某种洗牌方式，所有洗牌方式构成一个群。

我们用循环表示法（cycle notation）来写置换。置换 $\sigma \in S_4$ 定义为 $\sigma(1) = 2, \sigma(2) = 4, \sigma(3) = 3, \sigma(4) = 1$ ，可以写成 $(1\ 2\ 4)$ ，这是一个三循环，固定了 3。每个置换都可以唯一地（不考虑顺序）分解成不相交的循环，并且不相交的循环是可交换的。这句话的意思就是：你可以把复杂的洗牌拆成几个独立的小循环，互不干扰的循环谁先谁后无所谓。

实例：在 $S_4$ 中完整计算。 设 $\sigma = (1\ 2\ 3)$ 和 $\tau = (1\ 3)(2\ 4)$ 。计算 $\sigma \tau$ （先应用 $\tau$ ，再应用 $\sigma$ ）：

这句话的意思就是：$4$ 先被 $\tau$ 送到 $2$ ，再被 $\sigma$ 送到 $3$ 。

所以 $\sigma\tau = (2\ 4\ 3)$ 。现在计算 $\tau\sigma$ ：

所以 $\tau\sigma = (1\ 4\ 2)$ 。因为 $\sigma\tau \neq \tau\sigma$ ，群 $S_4$ 是非阿贝尔群。这句话的意思就是：操作的顺序很重要，先翻转再旋转，和先旋转再翻转，结果不一样。实际上，对于所有 $n \geq 3$ ，$S_n$ 都是非阿贝尔群。

置换的符号（sign of a permutation）。 每个置换都可以写成一系列换位（二循环）的乘积。换位的数量的奇偶性是一个不变量：如果一个置换可以写成偶数个换位的乘积，那么它是偶置换；否则是奇置换。定义映射 $\text{sgn} : S_n \to \{+1, -1\}$ 为 $\text{sgn}(\sigma) = (-1)^k$ ，其中 $\sigma$ 是 $k$ 个换位的乘积。这是一个良定义的群同态（group homomorphism）。它的核是交错群（alternating group）$A_n$ ，对于 $n \geq 2$ ，其阶为 $n!/2$ 。这句话的意思就是：不管你怎么拆置换，换手次数的奇偶性永远固定，偶置换占一半，奇置换占一半，偶置换自己关起门来也能构成一个群。

为什么符号重要？它是最简单的非平凡同态之一，而且无处不在：行列式的定义里藏着它，多项式方程的可解性（伽罗瓦理论 Galois theory）靠它划分阵营，物理学里它是玻色子和费米子的根本区别。

二面体群（dihedral group）$D_n$ 。 正 $n$ 边形的对称群是二面体群 $D_n$ ，其阶为 $2n$ 。它包含 $n$ 个旋转 $r^0, r^1, \ldots, r^{n-1}$ （其中 $r$ 是旋转 $2\pi/n$ ）和 $n$ 个反射 $s, rs, r^2s, \ldots, r^{n-1}s$ （其中 $s$ 是固定的反射）。这个群由 $r$ 和 $s$ 生成，满足以下关系：

这句话的意思就是：转 $n$ 次回到原点，翻两次回到原点，先翻、再转、再翻，等价于往反方向转。最后一个关系（等价于 $sr = r^{-1}s$ ）是关键：它说明通过反射共轭一个旋转会反转旋转方向。这使得 $D_n$ 在 $n \geq 3$ 时是非阿贝尔群。

实例：群 $D_3$ ： 等边三角形的对称操作。将 $D_3$ 识别为 $S_3$ 的一个子群：设 $r = (1\ 2\ 3)$ 和 $s = (1\ 2)$ （反射交换顶点 1 和 2，固定顶点 3）。则有：

• $e, r = (1\ 2\ 3), r^2 = (1\ 3\ 2)$ （旋转）
• $s = (1\ 2), rs = (1\ 2\ 3)(1\ 2) = (1\ 3), r^2 s = (1\ 3\ 2)(1\ 2) = (2\ 3)$ （反射）

验证：$sr = (1\ 2)(1\ 2\ 3) = (2\ 3) = r^2 s$ ，这确认了 $sr = r^{-1}s = r^2 s$ ，符合二面体关系。$D_3$ 的六个元素正好是 $S_3$ 的六个元素，因此 $D_3 \cong S_3$ 。这句话的意思就是：三角形的对称操作和三个元素的所有洗牌方式是一模一样的结构。这种同构仅适用于 $n = 3$ ；对于 $n \geq 4$ ，$D_n$ 是 $S_n$ 的真子群。

$D_4$ 的数值检查： 正方形的旋转角度为 $0, 90, 180, 270$ 度；四个反射分别位于两条对角线和两条边中点轴上。总共 $4 + 4 = 8$ 个元素，与 $|D_4| = 2 \cdot 4 = 8$ 匹配。连续两次反射总是得到一个旋转（偶数次镜像翻转），这与代数事实一致：旋转构成一个指数为 2 的子群。这句话的意思就是：翻两次等于没翻或者转了一下，反射永远成对出现，旋转自己就能关起门来成群。

一个重要反例：四元数群（quaternion group）$Q_8$ 。 并非所有 8 阶群都同构于 $D_4$ 或循环群的乘积。四元数群 $Q_8 = \{\pm 1, \pm i, \pm j, \pm k\}$ 有乘法规则 $i^2 = j^2 = k^2 = -1$ 和 $ij = k$ , $ji = -k$ , $jk = i$ , $kj = -i$ , $ki = j$ , $ik = -j$ 。这是一个 8 阶非阿贝尔群，但不与 $D_4$ 同构：在 $D_4$ 中，每个元素的阶都整除 4，并且有五个 2 阶元素，而在 $Q_8$ 中只有一个 2 阶元素（即 $-1$ ）。这句话的意思就是：阶数相同不代表结构相同，$Q_8$ 的“撤销键”分布和 $D_4$ 完全不同，直接排除了同构的可能。四元数群将在分类小阶群时再次出现。

区分相同阶数群的一个有用不变量是阶数分布（order profile）——各阶元素的数量。对于 $D_4$ ，阶数分布为 $(1, 5, 2, 0)$ ，对应阶数 $(1, 2, 4, 8)$ ，而 $Q_8$ 的分布为 $(1, 1, 6, 0)$ 。不同的分布排除了任何可能的同构。这句话的意思就是：数一数每个阶有多少个元素，就像查指纹一样，指纹对不上，群就不可能一样。这种记账方法是最简单且通常最快的方法来区分两个群。

子群和 Lagrange 定理#

子群可以想象成一个较大的群内部的一个“小俱乐部”。这个小俱乐部自己关门玩，用的还是大群的那套组合规则，而且俱乐部里的人互相组合、撤销，永远不出俱乐部的大门。拉格朗日定理（Lagrange’s theorem）则给这个俱乐部的大小定了一条铁律：俱乐部的人数必须整除大群的总人数。

子群（subgroup）是 $(G, \cdot)$ 的非空子集 $H \subseteq G$ ，并且在相同运算下本身也是一个群。记作 $H \leq G$ 。

子群判别准则： 非空子集 $H \subseteq G$ 是子群当且仅当对于所有 $a, b \in H$ ，有 $ab^{-1} \in H$ 。这句话的意思就是：你不需要挨个验证封闭性、单位元、逆元，只要确认“任意两个元素，第一个乘第二个的逆元，结果还在子集里”，这三条就自动全包了。

证明： 假设 $H \neq \emptyset$ 且对于所有 $a, b \in H$ 有 $ab^{-1} \in H$ 。选取 $a \in H$ ；那么 $e = aa^{-1} \in H$ 。这句话的意思就是：拿同一个元素乘它自己的逆元，单位元就被逼出来了。对于任意 $b \in H$ ，有 $b^{-1} = eb^{-1} \in H$ 。这句话的意思就是：单位元已经有了，拿单位元乘 $b$ 的逆元，逆元就留在 $H$ 里了。对于任意 $a, b \in H$ ，因为 $b^{-1} \in H$ ，所以 $ab = a(b^{-1})^{-1} \in H$ 。这句话的意思就是：逆元在 $H$ 里，逆元的逆元就是原元素，准则再套一次，封闭性也出来了。结合律从 $G$ 继承而来。证毕。

子群的例子：

• $n\mathbb{Z} = \{nk : k \in \mathbb{Z}\}$ 是 $(\mathbb{Z}, +)$ 的子群，对所有 $n \geq 0$ 成立。这句话的意思就是：所有 $n$ 的倍数自己构成一个加法俱乐部。
• 旋转 $\{e, r, r^2, \ldots, r^{n-1}\}$ 形成 $D_n$ 的子群，同构于 $\mathbb{Z}/n\mathbb{Z}$ 。这句话的意思就是：把反射踢掉，只留旋转，它们自己就能成群。
• $A_n \leq S_n$ （偶置换）。这句话的意思就是：所有偶置换关起门来，复合之后还是偶置换。
• 对于任何 $g \in G$ ，$\langle g \rangle = \{g^n : n \in \mathbb{Z}\}$ 是 $G$ 的子群。这句话的意思就是：单个元素不断自乘生成的轨迹，天然就是一个子群。

元素的阶： $g \in G$ 的阶，记作 $|g|$ 或 $\text{ord}(g)$ ，是最小的正整数 $n$ 使得 $g^n = e$ ，如果不存在这样的整数，则为 $\infty$ 。等价地，$|g| = |\langle g \rangle|$ 。这句话的意思就是：元素的阶就是它踩回起点需要的最少步数，也等于它生成的循环子群的大小。

命题： 如果 $|g| = n$ ，则 $g^k = e$ 当且仅当 $n \mid k$ 。

证明： 如果 $n \mid k$ ，设 $k = qn$ ，则 $g^k = (g^n)^q = e^q = e$ 。这句话的意思就是：步数是周期的整数倍，当然回到起点。反之，如果 $g^k = e$ ，设 $k = qn + r$ 且 $0 \leq r < n$ 。那么 $g^r = g^{k - qn} = g^k (g^n)^{-q} = e \cdot e = e$ 。这句话的意思就是：把 $k$ 拆成整周期加余数，整周期部分抵消成单位元，剩下余数部分也必须等于单位元。由 $n$ 的最小性，$r = 0$ 。这句话的意思就是：余数比周期小却能回到起点，除非余数根本就是 $0$ 。证毕。

拉格朗日定理（Lagrange’s Theorem）： 如果 $G$ 是有限群且 $H \leq G$ ，则 $|H|$ 整除 $|G|$ 。

证明使用了陪集（coset）的概念，陪集将群分成大小相等的 $H$ 的平移副本。

定义： 对于 $g \in G$ 和 $H \leq G$ ，包含 $g$ 的左陪集是 $gH = \{gh : h \in H\}$ 。右陪集是 $Hg = \{hg : h \in H\}$ 。这句话的意思就是：拿一个群元素 $g$ 去乘子群 $H$ 里的所有人，得到的一整批人就是一个陪集，相当于把俱乐部整体平移了一次。

左陪集的关键性质： (i) 每个 $G$ 中的元素都属于某个左陪集：$g \in gH$ （因为 $e \in H$ ）。这句话的意思就是：任何人乘单位元都是自己，所以每个人至少在自己的陪集里。 (ii) 两个左陪集要么完全相同，要么不相交。证明： 假设 $aH \cap bH \neq \emptyset$ 。那么存在 $h_1, h_2 \in H$ 使得 $ah_1 = bh_2$ ，因此 $a = bh_2 h_1^{-1} \in bH$ 。这句话的意思就是：两个陪集只要有一个人重合，平移的偏移量就能互相表示。对于任意 $ah \in aH$ ，有 $ah = bh_2 h_1^{-1} h \in bH$ ，所以 $aH \subseteq bH$ 。这句话的意思就是：$a$ 陪集里的每个人都能写成 $b$ 陪集的形式。对称地，$bH \subseteq aH$ 。证毕。

(iii) 每个左陪集的基数与 $H$ 相同。证明： 映射 $\varphi : H \to gH$ 定义为 $\varphi(h) = gh$ 是双射（由定义可知满射，由左消去律知单射）。这句话的意思就是：平移不会改变人数，只是给每个人换了个马甲。证毕。

拉格朗日定理的证明： $H$ 在 $G$ 中的不同左陪集划分了 $G$ （由 (i) 和 (ii) 得出）。令 $[G:H]$ 表示不同左陪集的数量（$H$ 在 $G$ 中的指数 index）。每个陪集有 $|H|$ 个元素（由 (iii) 得出）。由于陪集不相交且其并集是 $G$ ：

这句话的意思就是：大群的总人数等于“俱乐部人数”乘以“平移副本的个数”。特别地，$|H|$ 整除 $|G|$ 。证毕。

为什么这很重要：拉格朗日定理是群论中的第一个强有力的可除性约束。例如，在计算之前，它就排除了一个阶为 5 的子群存在于阶为 12 的群中。它还用两行给出了费马小定理（Fermat’s little theorem）的一个非平凡证明，这是抽象化带来实际价值的典型时刻。

推论 1： 任何元素的阶整除群的阶：如果 $G$ 是有限群且 $g \in G$ ，则 $|g|$ 整除 $|G|$ 。 证明： $|g| = |\langle g \rangle|$ ，且 $\langle g \rangle \leq G$ ，所以由拉格朗日定理，$|\langle g \rangle|$ 整除 $|G|$ 。证毕。

这句话的意思就是：单个元素踩回起点的步数，不可能超过总人数，而且必须是总人数的因数。

推论 2（费马-欧拉定理 Fermat-Euler）： 如果 $\gcd(a, n) = 1$ ，则 $a^{\varphi(n)} \equiv 1 \pmod{n}$ 。 证明： 剩余类 $\bar{a}$ 属于 $(\mathbb{Z}/n\mathbb{Z})^*$ ，其阶为 $\varphi(n)$ 。由推论 1，$\bar{a}^{\varphi(n)} = \bar{1}$ ，即 $a^{\varphi(n)} \equiv 1 \pmod{n}$ 。证毕。

这句话的意思就是：单位群的大小限制了里面每个元素的周期，周期到了必然回到 $1$ 。

费马-欧拉的数值验证： 取 $n = 9$ ，则 $\varphi(9) = 6$ 。选 $a = 2$ 。那么 $2^6 = 64 = 7 \cdot 9 + 1$ ，所以 $64 \equiv 1 \pmod 9$ 。定理预测了这一点，无需硬算指数。

推论 3： 阶为素数 $p$ 的群是循环群（同构于 $\mathbb{Z}/p\mathbb{Z}$ ）。 证明： 设 $|G| = p$ 。任选 $G$ 中的 $g \neq e$ 。那么 $|\langle g \rangle|$ 整除 $p$ 且大于 1，所以 $|\langle g \rangle| = p = |G|$ 。因此 $\langle g \rangle = G$ 。证毕。

这句话的意思就是：素数阶群没有真子群的空间，随便抓一个非单位元，它自己就能生成整个群。

注意：拉格朗日定理的逆命题一般不成立。 如果 $d$ 整除 $|G|$ ，不一定存在阶为 $d$ 的子群。交错群 $A_4$ 的阶为 12，且 $6 \mid 12$ ，但 $A_4$ 没有阶为 6 的子群。这句话的意思就是：因数只是必要条件，不是充分条件，群的结构可能“跳过”某些因数。西洛定理（Sylow theorems）将在第四篇文章中介绍，部分恢复了逆命题：对于每个整除 $|G|$ 的素数幂 $p^k$ ，确实存在阶为 $p^k$ 的子群。对于非素数幂的因子（如 $A_4$ 中的 $6 = 2 \cdot 3$ ），这种失败是真实的，不是技术上的缺陷。

阶与陪集：实例解析#

实例 1：$\mathbb{Z}/12\mathbb{Z}$ 的子群格#

12 的因数有 1, 2, 3, 4, 6, 12。根据循环群的子群定理，每个因数对应一个子群：

具体检查包含关系：$\{0,4,8\}$ 是否在 $\{0,3,6,9\}$ 中？试一下 $4 \in \{0,3,6,9\}$ —— 不行。所以这两个子群在格中不可比较。这句话的意思就是：子群的包含关系完全对应因数的整除关系，$3$ 不整除 $4$ ，对应的子群就互不包含。哈斯图中，$\{0\}$ 在最下面，$\{0,6\}$ 和 $\{0,4,8\}$ 在它上面（不可比较），然后是 $\{0,3,6,9\}$ 和 $\{0,2,4,6,8,10\}$ ，最后 $\mathbb{Z}/12\mathbb{Z}$ 在最上面。这个格反映了 12 的因数格。

实例 2：$S_3$ 的子群的陪集#

设 $H = \langle (1\ 2\ 3) \rangle = \{e, (1\ 2\ 3), (1\ 3\ 2)\}$ ，这是 $S_3$ 的一个三阶子群。指数 $[S_3 : H] = 6/3 = 2$ ，所以恰好有两个左陪集：

• $eH = H = \{e, (1\ 2\ 3), (1\ 3\ 2)\}$
• $(1\ 2)H = \{(1\ 2), (1\ 2)(1\ 2\ 3), (1\ 2)(1\ 3\ 2)\} = \{(1\ 2), (1\ 3), (2\ 3)\}$

这句话的意思就是：拿一个不在 $H$ 里的元素去乘 $H$ ，直接捞出剩下的一半人。这两个陪集将 $S_3$ 分成偶置换集合 $A_3 = H$ 和奇置换集合。右陪集：$H(1\ 2) = \{(1\ 2), (2\ 3), (1\ 3)\}$ 。同样的集合。当指数为 2 时，这种情况总是发生：二阶子群自动正规（normal subgroup）。这句话的意思就是：指数为 2 的子群，左陪集和右陪集永远重合，这也是为什么“正规”这个概念在指数 2 时自动满足，不需要额外验证。

实例 3：$D_4$ 中元素的阶#

二面体群 $D_4$ 的阶为 8。元素有：$\{e, r, r^2, r^3, s, rs, r^2s, r^3s\}$ 。

• $|e| = 1$
• $|r| = 4$ , $|r^2| = 2$ , $|r^3| = 4$
• $|s| = |rs| = |r^2s| = |r^3s| = 2$

验证 $|rs| = 2$ ：$(rs)(rs) = r(sr)s = r(r^{-1}s)s = (rr^{-1})(ss) = e$ 。这句话的意思就是：利用二面体关系把 $s$ 挪到右边，$r$ 和 $r^{-1}$ 抵消，$s$ 和 $s$ 抵消，两步回到原点。

根据拉格朗日定理，可能的子群阶为 1, 2, 4, 8。子群如下：

• 阶 1：$\{e\}$
• 阶 2：$\{e, r^2\}$ , $\{e, s\}$ , $\{e, rs\}$ , $\{e, r^2s\}$ , $\{e, r^3s\}$ （共五个）
• 阶 4：$\{e, r, r^2, r^3\} \cong \mathbb{Z}/4\mathbb{Z}$ ；$\{e, r^2, s, r^2s\} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ ；$\{e, r^2, rs, r^3s\} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$
• 阶 8：$D_4$ 本身

总共：$1 + 5 + 3 + 1 = 10$ 个子群——这个数目不能仅从拉格朗日定理预测，需要显式计算。这句话的意思就是：拉格朗日定理只告诉你“可能有哪些尺寸”，不告诉你“每个尺寸有几个”，具体数量得亲手枚举。

实例 4：$\mathbb{Z}/15\mathbb{Z}$ 中元素阶的普查#

阶 15 = 3 · 5，所以可能的元素阶为 1, 3, 5, 15。根据循环子群定理，阶为 $d$ （$d \mid 15$ ）的元素个数等于 $\varphi(d)$ 。计数：$\varphi(1) = 1, \varphi(3) = 2, \varphi(5) = 4, \varphi(15) = 8$ 。总数：$1 + 2 + 4 + 8 = 15$ ，与群的阶匹配。$\mathbb{Z}/15\mathbb{Z}$ 的八个生成元是 $\{1, \ldots, 14\}$ 中与 15 互质的八个整数：即 1, 2, 4, 7, 8, 11, 13, 14。这句话的意思就是：循环群里每个阶的元素数量被欧拉函数死死锁定，加起来正好等于总人数，一个不多一个不少。

实例 5：克莱因四元群 $V_4$ 的 Cayley 表#

取 $V_4 = \{e, a, b, c\}$ ，满足关系 $a^2 = b^2 = c^2 = e$ 和 $ab = c$ , $ba = c$ 。完整的乘法表如下：

注意到表格沿主对角线对称，确认了 $V_4$ 是 Abel 群。每一行和每一列都是 $\{e, a, b, c\}$ 的一个排列，这是每个 Cayley 表的特征（由消去律得出）。对角线全是 $e$ ，意味着每个非单位元的阶恰好为 2。这句话的意思就是：看表就能读出结构，对称说明可交换，对角线全 $e$ 说明人人自乘归零，这是克莱因四元群的身份证。

群同态：初步了解#

想象一下，同态（homomorphism）是两个群之间的函数，它尊重群的运算。可以把它看作是一种结构保持的翻译，就像连续映射尊重拓扑结构或线性映射尊重向量加法一样。你在这边组合完再翻译，和先翻译过去再在那边组合，结果一模一样。

群同态 $\varphi: G \to H$ 是一个满足 $\varphi(ab) = \varphi(a)\varphi(b)$ 的映射，对所有 $a, b \in G$ 都成立。这句话的意思就是：映射把 $G$ 里的乘法原封不动地搬到 $H$ 里，运算顺序和结果完全对应。

同态自动将单位元映射到单位元 ($\varphi(e_G) = e_H$ )，并将逆元映射到逆元 ($\varphi(a^{-1}) = \varphi(a)^{-1}$ )。这些基本事实将在第三篇文章中详细证明，但在这里先了解一下是有用的。这句话的意思就是：结构保持的映射不可能把“什么都不做”变成“做点什么”，也不可能把“撤销键”映射成别的乱七八糟的东西。

数值例子： 映射 $\varphi: \mathbb{Z} \to \mathbb{Z}/4\mathbb{Z}$ 由 $\varphi(n) = n \bmod 4$ 给出，是一个同态。验证：$\varphi(7 + 9) = \varphi(16) = 0$ ，而 $\varphi(7) + \varphi(9) = 3 + 1 = 4 \equiv 0$ 。匹配。$\varphi$ 的核（kernel）——映射到 0 的元素——是 $4\mathbb{Z}$ ，即 4 的倍数。像集是整个 $\mathbb{Z}/4\mathbb{Z}$ 。这句话的意思就是：取模运算天然保持加法结构，所有被 4 整除的数都被压扁成 0，它们构成核。

符号作为同态： 符号映射 $\text{sgn}: S_n \to \{+1, -1\}$ 是一个同态，映射到两个元素的乘法群。在 $S_3$ 上进行数值验证：$\text{sgn}((1\ 2)) = -1$ ，$\text{sgn}((1\ 2\ 3)) = +1$ （因为一个 3-循环是两个换位的乘积：$(1\ 2\ 3) = (1\ 3)(1\ 2)$ ），并且 $\text{sgn}((1\ 2)(1\ 2\ 3)) = \text{sgn}((1\ 3)) = -1 = (-1)(+1)$ 。一致。这句话的意思就是：置换的奇偶性在复合下直接变成 $\pm 1$ 的乘法，同态把复杂的置换运算压缩成了简单的正负号乘法。

同构（isomorphism）。 双射同态称为同构。通过同构相关的两个群在代数上本质上是相同的，只是元素标签可能不同。识别两个表面上不同的群是否同构是一个反复出现的主题。以下是一些已经遇到或暗示的同构：

• $D_3 \cong S_3$ （两者都是三角形的对称群）。
• $(\mathbb{Z}/8\mathbb{Z})^* \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ （通过检查乘法表已验证）。
• 当 $\gcd(m, n) = 1$ 时，$\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}/mn\mathbb{Z}$ 。

为什么这很重要。几乎所有的群论结果都只在同构的意义下成立。例如，有限单群的分类就是一个同构类列表，而不是具体的群。抽象代数的核心正是标签不重要——只有结构才重要。这句话的意思就是：代数不关心元素叫 $a$ 还是叫 $\alpha$ ，只关心它们怎么相互作用，结构一样就是同一个群。

计算反射： 当有人通过乘法表或生成元和关系给出一个有限群时，你的默认操作应该是：列出元素，计算它们的阶，计数可能子群的陪集，并检查共轭作用下的轨道结构。每一步都是机械的，但它们一起几乎可以在每个情况下确定群的同构类，比如阶小于 30 的群。任何标准教材中的练习（例如 Dummit 和 Foote 第一章）都会通过例子来训练这种反射。这句话的意思就是：拿到新群不要慌，按固定流程查户口，阶数、陪集、共轭类查一遍，它的真实身份就藏不住了。

下一步#

到这里，你已经亲手搭起了群的语言框架，算过了一堆具体的例子，也见证了拉格朗日定理如何用陪集把群切成等大的块。但陪集只是静态的切片，群真正的生命力在于“动”。下一篇文章，我会带你进入群作用（group action）的世界。想象你在魔方上转一面，或者把一副牌洗乱，群作用就是严格描述“群如何在外部集合上移动元素”的工具。你会看到轨道-稳定子定理（orbit-stabilizer theorem）如何把群的大小和它作用的范围联系起来，Burnside 引理如何优雅地数出对称意义下的不同染色方案，以及共轭类方程如何从外部行为反推群的内部结构。

你在这篇里见过的陪集，下一篇会自然长成轨道；你验证过的子群，会化身稳定子。我还会提前埋一个直觉：为什么不是所有子群都能用来做“群除法”？因为左陪集和右陪集必须严丝合缝地重合，商群的乘法才不会乱套，这就是正规子群（normal subgroup）存在的根本原因。等到系列后半段，我们会用这套语言直接切入伽罗瓦对应（Galois correspondence）：比如域 $\mathbb{Q}(\sqrt{2}, \sqrt{3})$ 的伽罗瓦群同构于 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ ，它的四个自同构分别把 $\sqrt{2}$ 和 $\sqrt{3}$ 独立地变号，子群格和中间域格完美反序对应。你会亲眼看到，抽象的群论最初就是为了解方程而诞生的。

带着这篇里练出的计算手感进入下一篇。遇到新定义，先问“它在具体例子里长什么样”，再动手算两步。代数不怕慢，就怕不碰纸笔。下一篇见。