抽象代数（三）：商群与同态 —— 结构压缩的艺术

我盯着那张画满箭头的凯莱图（Cayley graph），脑子里只有一个念头：这也太乱了。一个只有几十个元素的群，乘法表就已经像一团解不开的毛线；要是元素多达几百万，对称性描述得写满十几页纸，我该怎么抓住它的核心？后来我才明白，数学家面对庞然大物时，从不硬刚。他们有一套极其优雅的“压缩术”：把群内部结构相似的整块元素捏成一个点，生成一个更小的群。这个新群虽然丢了细节，却死死咬住了原群的骨架。这篇笔记就是我摸索这套压缩术的记录，核心工具是正规子群（normal subgroup）、商群（quotient group）、群同态（group homomorphism），以及把它们缝在一起的三大同构定理（isomorphism theorems）。

如果群是对称性的原子，那么商群就是你故意眯起眼睛、模糊视线后看到的世界。你主动忽略某些微观差异，剩下的宏观结构反而清晰浮现。这个比喻不是随便说说：关于商群的每一条定理，本质上都在精确回答“压缩时丢了什么、留下了什么”。

为什么要压缩结构？#

想象我手里托着一个标满城市的地球仪。如果我只关心“这座城市属于哪个国家”，我就会把同一个国家里的所有城市“压缩”成一个点。国家集合天然继承了城市的一些结构：你可以按大陆分组，按南北半球划分，甚至按邻国关系画图。商群（quotient group）就是把这个地理直觉搬进代数里。

拿整数加法群 $\mathbb{Z}$ 开刀。这是一个无限群，一次性处理它的所有元素根本不现实。但我有个从小用到大的 tricks：模 $n$ 运算。算模 5 的时候，我直接宣布：凡是相差 5 的倍数的整数，统统视为同一个东西。集合 $\{0, 1, 2, 3, 4\}$ 配上模 5 加法，立刻变成一个乖巧的有限群 $\mathbb{Z}/5\mathbb{Z}$ 。

这句话的意思是：把无限长的整数轴按长度为 5 的区间切段，每段揉成一个点，点之间的加法就是段头数字相加后再取余数。

刚才发生了什么？我拿一个无限群，通过“把相差某个子群（$5\mathbb{Z}$ ）元素的数视为等价”这一刀，切出了一个有限群。结果更小、更干净，而且依然是个群。这就是商构造（quotient construction），代数学里最锋利的思想手术刀之一。

但刀不能乱砍。不是随便抓个子群就能做模运算。如果你挑了个脾气不合的子群，切出来的陪集（coset）根本拼不成群：乘法会失去定义，同一个陪集用不同代表元去算，结果居然不一样。能扛住这一刀的子群有个特殊脾气：它们必须是正规的。搞懂正规性为什么是门槛，是我接下来的首要任务。

先看几何直觉。在正方形的对称群 $D_4$ （八个元素）里，四个旋转构成子群 $R = \{e, r, r^2, r^3\}$ 。如果我把所有旋转压缩成一个点，所有反射压缩成另一个点，我直接得到一个二阶群，本质上就是 $\mathbb{Z}/2\mathbb{Z}$ 。这抓住了一个粗糙但深刻的事实：反射和旋转在宏观上“根本不是同一类操作”，至于具体转了 90 度还是 270 度，在这个粗糙视角下不重要。旋转子群恰好在 $D_4$ 里是正规的，所以压缩才合法。

这句话的意思是：把被映射压扁成零的方向全部剔除后，剩下的维度正好等于映射实际覆盖的空间维度。这就是秩-零度定理的代数骨架。同样的逻辑完美平移到群论：群同态的核永远是正规子群，把核压缩掉之后，剩下的结构同构于像。

正规子群（Normal Subgroup）#

我一开始死活想不通：为什么不是所有子群都能拿来压缩？直觉卡壳的地方在于“共轭”（conjugation）。想象你在玩魔方，转一下顶层（群作用（group action）的具体例子：想象在魔方上转一面，整个魔方的状态被重新排列），某个局部结构如果转完之后形状变了，说明它依赖你观察的角度。正规子群就是那种“无论从哪个共轭角度去看，形状都不变”的子群。如果你用群里的任意元素去共轭搅动它，它作为集合纹丝不动。正是这种“视角无关性”，保证了陪集乘法不会算出矛盾的结果。

这句话的意思是：拿群里的任意元素把 $N$ 里的每个元素“左乘右逆”搅拌一遍，捞出来的集合还是 $N$ 自己，一个元素都没跑出去。

这意味着 $N$ 在共轭下绝对封闭：你不可能通过共轭操作逃出 $N$ 的边界。

下面这四个条件完全等价，挑哪个用取决于手头有什么牌：

1. $N \trianglelefteq G$ （即对所有 $g$ 有 $gNg^{-1} = N$ ）。
2. 对所有 $g \in G$ 有 $gN = Ng$ （左陪集等于右陪集）。
3. $N$ 是某个从 $G$ 到其他群的群同态（group homomorphism）的核（kernel）。
4. 每个 $N$ 的左陪集同时也是右陪集。

条件 (2) 实战中最常用。但千万注意：$gN = Ng$ 说的是集合相等，绝不意味着对每个 $n$ 都有 $gn = ng$ 。元素不需要交换，只需要整体集合对齐。

例子 1：$\mathbb{Z}$ 中的 $n\mathbb{Z}$ 。 因为整数加法群 $\mathbb{Z}$ 是交换群，$g+n-g = n$ 永远成立，所以每个子群自动正规。$5\mathbb{Z} \trianglelefteq \mathbb{Z}$ ，实际上任意 $n\mathbb{Z}$ 都是正规子群。

例子 2：$S_n$ 中的 $A_n$ 。 交错群（alternating group）$A_n$ 在对称群 $S_n$ 里是正规的。随便取 $\sigma \in S_n$ 和 $\alpha \in A_n$ ，算符号：$\text{sgn}(\sigma \alpha \sigma^{-1}) = \text{sgn}(\sigma) \text{sgn}(\alpha) \text{sgn}(\sigma^{-1}) = \text{sgn}(\alpha) = 1$ 。共轭不改变置换的奇偶性，所以 $\sigma\alpha\sigma^{-1}$ 依然落在 $A_n$ 里。

反例 1：$S_3$ 里的非正规子群。 取 $H = \{e, (1\ 2)\}$ 。左陪集 $(1\ 3)H = \{(1\ 3), (1\ 3)(1\ 2)\} = \{(1\ 3), (1\ 2\ 3)\}$ 。右陪集 $H(1\ 3) = \{(1\ 3), (1\ 2)(1\ 3)\} = \{(1\ 3), (1\ 3\ 2)\}$ 。左边吐出 $(1\ 2\ 3)$ ，右边吐出 $(1\ 3\ 2)$ ，集合对不上，$H$ 绝对不是正规的。这就是“不是所有子群都正规”的直观铁证：换个视角（共轭），子群直接变形移位。

数值例子：$S_3$ 中 $\langle (1\ 2\ 3) \rangle$ 的陪集对齐。 设 $N = \{e, (1\ 2\ 3), (1\ 3\ 2)\}$ 。拿 $(1\ 2)$ 去乘： 左陪集 $(1\ 2)N = \{(1\ 2), (1\ 2)(1\ 2\ 3), (1\ 2)(1\ 3\ 2)\} = \{(1\ 2), (2\ 3), (1\ 3)\}$ 。 右陪集 $N(1\ 2) = \{(1\ 2), (1\ 2\ 3)(1\ 2), (1\ 3\ 2)(1\ 2)\} = \{(1\ 2), (1\ 3), (2\ 3)\}$ 。 两个集合完全重合，$N$ 在 $S_3$ 中正规。指数 $[S_3:N] = 6/3 = 2$ ，完美契合指数-2 规则。

数值反例：非正规子群的共轭漂移。 继续看 $H = \{e, (1\ 2)\} \le S_3$ 。算共轭 $(1\ 3)H(1\ 3)^{-1} = (1\ 3)\{e, (1\ 2)\}(1\ 3) = \{e, (1\ 3)(1\ 2)(1\ 3)\} = \{e, (2\ 3)\}$ 。结果根本不是 $H$ ，而是跑到了另一个二阶子群。$S_3$ 里共有三个二阶子群 $\{e,(1\ 2)\}, \{e,(1\ 3)\}, \{e,(2\ 3)\}$ ，它们通过共轭互相转换，没有一个能稳住阵脚，所以全不正规。

正规性的实战检验清单：

• 指数 2 检验： 只要 $[G : N] = 2$ ，$N$ 闭着眼睛都是正规的。
• 中心检验： 中心 $Z(G) = \{z : zg = gz \text{ 对所有 } g\}$ 永远正规。
• 核检验： 只要能写出一个同态 $\varphi$ 使得 $N = \ker \varphi$ ，直接通关。
• 换位子检验： 换位子子群（commutator subgroup）$[G, G] = \langle g^{-1}h^{-1}gh \rangle$ 永远正规，且任何包含它的子群也自动正规。 $ [G, G] = \langle g^{-1}h^{-1}gh \mid g,h \in G \rangle $ 这句话的意思是：把群里所有“不交换的偏差”收集起来生成的子群，天生具有共轭不变性，是衡量群离交换有多远的标尺。

指数-2 检验的实战演练： $A_n$ 在 $S_n$ 里指数为 2，所以 $A_n \trianglelefteq S_n$ 。$D_n$ 的旋转子群指数为 2，所以在 $D_n$ 里正规。$\mathbb{R}^n$ 中保定向的等距变换构成全体等距变换的指数-2 子群，因此正规。规律极其稳定：任何“偶 vs 奇”、“定向 vs 反向”的二分切割，切出来的那一半必然是正规子群。

我曾在 $S_3$ 上硬算过一次非正规子群的陪集乘法，结果直接撞墙。取 $H = \{e, (1\ 2)\}$ ，它不正规。左陪集有 $H, (1\ 3)H = \{(1\ 3), (1\ 2\ 3)\}, (2\ 3)H = \{(2\ 3), (1\ 3\ 2)\}$ 。如果我强行定义陪集乘法 $(aH)(bH) = (ab)H$ ，选代表元 $(1\ 3)$ 和 $(2\ 3)$ 相乘得 $(1\ 3)(2\ 3) = (1\ 3\ 2)$ ，结果落在 $(2\ 3)H$ 。但换个代表元：$(1\ 2\ 3) \in (1\ 3)H$ ，$(1\ 3\ 2) \in (2\ 3)H$ ，两者相乘 $(1\ 2\ 3)(1\ 3\ 2) = e$ ，结果居然掉回 $H$ 。同一个陪集块相乘，换个人代表就跳出不同的块，运算彻底失去定义。这就是为什么正规性不是数学家故意设卡，而是陪集乘法能站稳脚跟的物理底线：$gN=Ng$ 保证了代表元漂移时，误差全被 $N$ 内部吸收，不会泄漏到外部陪集，良定义（well-defined）才真正落地。

检验失效的反例： 看 $S_4$ 里的 $\sigma = (1\ 2)$ 。循环子群 $\langle \sigma \rangle = \{e, (1\ 2)\}$ 阶为 2，但在 $S_4$ （阶 24）里的指数是 12，根本不是 2。指数-2 检验用不上。事实上它确实不正规：$(1\ 3)(1\ 2)(1\ 3)^{-1} = (2\ 3) \notin \langle \sigma \rangle$ 。指数不够小，保护伞就撑不起来。

为什么正规性在商群之外依然要命。 正规子群是代数结构的承重墙。一个群叫单群（simple group），当且仅当它没有非平凡的真正规子群。单群在有限群论里的地位，等同于质数在整数里的地位。有限单群分类（耗资约一万页证明，2000 年代彻底收官）列出了所有单群，而 Jordan-Hölder 定理断言：任何有限群都能像搭积木一样，通过连续正规扩张从单群拼出来。

正规性重要的第二个理由藏在正规化子（normalizer）$N_G(H) = \{g \in G : gHg^{-1} = H\}$ 里。这是 $G$ 中能让 $H$ 保持正规的最大子群。每个子群在自己的正规化子里都是正规的，所以“$H$ 在 $G$ 中是否正规？”等价于“$N_G(H)$ 是否等于整个 $G$ ？”这个概念会在下一篇的 Sylow 理论里挑大梁。

具体计数：正规子群有多稀缺。 小群的正规子群往往少得可怜。$S_3$ 只有 3 个：$\{e\}, A_3, S_3$ 。$S_4$ 只有 4 个：$\{e\}, V_4, A_4, S_4$ 。$A_5$ 仅剩 2 个：$\{e\}, A_5$ ，它正是最小的非交换单群。随着 $n$ 增大，正规子群名单断崖式缩水，这是有限群论里最反直觉的结构现象之一。

商群构造（Quotient Group Construction）#

想象我挑好了一个正规子群 $N$ 。接下来我把每个陪集 $gN$ 狠狠压成一个点。这些压扁的点自动组成一个新群 $G/N$ ，运算规则直接从 $G$ 继承。$G/N$ 里的点本质是等价类，$g_1 \sim g_2$ 当且仅当 $g_1 g_2^{-1} \in N$ 。

这句话的意思是：商群的元素不是原群的单个元素，而是原群中一簇一簇的陪集块。

运算规则定为 $(g_1 N)(g_2 N) = (g_1 g_2)N$ 。 这句话的意思是：拿两个陪集块相乘，只需各抽一个代表元相乘，结果所在的陪集块就是乘积，且结果不依赖你抽了谁。

这个定义能站稳脚跟，全靠 $N$ 是正规的。假设 $g_1 N = g_1' N$ 且 $g_2 N = g_2' N$ 。我必须证明 $(g_1 g_2)N = (g_1' g_2')N$ 。把代表元拆开：$g_1' = g_1 n_1$ ，$g_2' = g_2 n_2$ ，其中 $n_1, n_2 \in N$ 。那么 $g_1' g_2' = g_1 n_1 g_2 n_2$ 。关键魔术在这里：$n_1 g_2 = g_2 (g_2^{-1} n_1 g_2)$ 。因为 $N$ 正规，$g_2^{-1} n_1 g_2$ 必然落在 $N$ 里，记作 $n_3$ 。于是 $g_1' g_2' = g_1 g_2 n_3 n_2 \in g_1 g_2 N$ 。$\checkmark$ 如果 $N$ 不正规，$g_2^{-1} n_1 g_2$ 会逃出 $N$ ，整个等式链直接断裂，陪集乘法失去定义。

在 $G/N$ 里验证群公理极其顺畅。单位元是 $eN = N$ 。$gN$ 的逆元是 $(gN)^{-1} = g^{-1}N$ 。结合律直接从 $G$ 原封不动继承。

阶数公式：$|G/N| = [G:N] = |G|/|N|$ （当 $G$ 有限时）。 这句话的意思是：商群的大小等于原群大小除以被压缩掉的正规子群大小，陪集块的数量就是商群的阶。

一个极其好用的计数反射：当 $|G/N|$ 很小时，$G/N$ 里每个元素的阶必然整除 $|G/N|$ 。比如 $|G/N| = 2$ ，那么每个陪集的平方都是单位陪集，翻译回原群就是：对每个 $g \in G$ 都有 $g^2 \in N$ 。这种“通过商群拿到原群元素幂次的硬上界”的技巧，在初等群论里出场率极高。

例子 1：$\mathbb{Z}/4\mathbb{Z}$ 的陪集视角。 取 $G = \mathbb{Z}$ ，$N = 4\mathbb{Z}$ 。陪集为 $0 + 4\mathbb{Z}, 1 + 4\mathbb{Z}, 2 + 4\mathbb{Z}, 3 + 4\mathbb{Z}$ 。算加法：$(2 + 4\mathbb{Z}) + (3 + 4\mathbb{Z}) = 5 + 4\mathbb{Z} = 1 + 4\mathbb{Z}$ 。商群刚好 4 个元素，运算就是标准的模 4 加法。

例子 2：$D_4 / \langle r^2 \rangle$ 。 $\langle r^2 \rangle = \{e, r^2\}$ 是 $D_4$ 的中心，中心永远正规。商群阶数 $8/2 = 4$ 。四个陪集：$\{e, r^2\}, \{r, r^3\}, \{s, r^2 s\}, \{rs, r^3 s\}$ 。算乘法：$\{r, r^3\} \cdot \{r, r^3\} = \{r^2, r^4, r^4, r^2\} = \{r^2, e\}$ ，正好是单位陪集。每个非单位陪集平方都是单位元，这说明 $D_4/\langle r^2 \rangle \cong V_4$ （Klein 四元群）。

例子 3：$S_3/A_3$ 。 $A_3 = \{e, (1\ 2\ 3), (1\ 3\ 2)\}$ 指数为 2，必然正规。两个陪集：$A_3$ （偶置换）和 $(1\ 2)A_3$ （奇置换）。陪集乘法表：偶·偶=偶，偶·奇=奇，奇·奇=偶。这完全就是 $\mathbb{Z}/2\mathbb{Z}$ 的加法逻辑。

例子 4：$\mathbb{Z}^2/\langle (1, 1) \rangle$ 。 取 $G = \mathbb{Z}^2$ ，$N = \{(k, k) : k \in \mathbb{Z}\}$ 。每个陪集 $(a, b) + N$ 由差值 $a - b$ 唯一锁定，差值可以是任意整数。所以 $\mathbb{Z}^2/N \cong \mathbb{Z}$ 。后文我会用同态重新严格算一遍。

例子 5：$\mathbb{Z}^2/\langle (2, 0), (0, 3) \rangle$ 。 取 $N = 2\mathbb{Z} \times 3\mathbb{Z}$ 。商群直积为 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$ ，阶数 6。因为 $\gcd(2,3) = 1$ ，中国剩余定理直接给出 $\cong \mathbb{Z}/6\mathbb{Z}$ 。具体类为 $(\bar{0}, \bar{0}), (\bar{1}, \bar{0}), (\bar{0}, \bar{1}), (\bar{1}, \bar{1}), (\bar{0}, \bar{2}), (\bar{1}, \bar{2})$ ，刚好六个。

为什么这招极其重要： 商群构造是拓扑学中商空间的代数双胞胎。它也是所有代数结构里“模掉（mod out）”操作的底层协议：环、模、向量空间全用同一套逻辑。正规性要求，就是代数版的“子空间必须在等价关系下封闭”。

学习避坑指南： 初学者常在商群上栽跟头，因为商群的元素（陪集）本身是集合，不是单点。一旦你彻底接受“$gN$ 在商群里就是一个不可分割的原子对象”，概念迷雾瞬间散开。我强烈建议动手写一遍 $\mathbb{Z}/4\mathbb{Z}$ 的乘法表，每个格子填显式集合如 $\{1, 5, -3, 9, \ldots\}$ 。写完三行，抽象定义就会在纸上长出骨头。

群同态（Group Homomorphism）#

心理图像：同态是两个群之间的“结构翻译官”。它不关心元素长什么样，只死守一条铁律：翻译后的乘积，必须等于乘积的翻译。它是比较群结构、抽取公共骨架的唯一正确工具。

群同态（group homomorphism） 是满足 $\varphi(g_1 g_2) = \varphi(g_1)\varphi(g_2)$ 对所有 $g_1, g_2 \in G$ 成立的函数 $\varphi: G \to H$ 。 这句话的意思是：先在原群里做乘法再映射，和先映射再在目标群里做乘法，结果完全一致，运算顺序可以交换。

同态自带几个铁律：$\varphi(e_G) = e_H$ （证明：$\varphi(e_G) = \varphi(e_G \cdot e_G) = \varphi(e_G)\varphi(e_G)$ ，两边消去即得）。并且 $\varphi(g^{-1}) = \varphi(g)^{-1}$ （证明：$\varphi(g)\varphi(g^{-1}) = \varphi(g g^{-1}) = \varphi(e) = e$ ，逆元被完美保留）。

一个极易忽略的推论：同态在“整除意义”下保阶。如果 $g \in G$ 的阶为 $n$ ，则 $\varphi(g)$ 在 $H$ 中的阶必然整除 $n$ 。（理由：$\varphi(g)^n = \varphi(g^n) = \varphi(e) = e$ 。）但阶可以缩水：在非单射同态里，$\varphi(g)$ 的阶可能严格变小。最直白的例子：投影 $\mathbb{Z} \to \mathbb{Z}/4\mathbb{Z}$ 把 $1$ （无限阶）拍成了 $1$ （四阶）。

接下来是核（kernel）与像（image）。

• $\ker \varphi = \{g \in G : \varphi(g) = e_H\}$ —— $G$ 的子群，且天然是正规的。
• $\text{im}(\varphi) = \{\varphi(g) : g \in G\}$ —— $H$ 的子群（一般不正规）。 $ \ker \varphi = \varphi^{-1}(\{e_H\}), \quad \text{im}(\varphi) = \varphi(G) $ 这句话的意思是：核是所有被映射压成单位元的原像集合，像是映射实际能覆盖到的目标群区域。

例子 1：自然投影： 对任意 $N \trianglelefteq G$ ，映射 $\pi: G \to G/N$ 定义为 $\pi(g) = gN$ 。这是满同态，核正好是 $N$ 。

例子 2：符号同态： $\text{sgn}: S_n \to \{\pm 1\}$ 。偶置换映到 $1$ ，奇置换映到 $-1$ 。核是 $A_n$ 。

例子 3：指数映射： $\varphi: \mathbb{Z} \to G$ ，固定 $g \in G$ ，令 $\varphi(n) = g^n$ 。像是循环子群 $\langle g \rangle$ 。核分两种：若 $|g| = \infty$ ，核为 $\{0\}$ ；若 $|g| = k$ ，核为 $k\mathbb{Z}$ 。

数值例子 1：模约化： $\varphi: \mathbb{Z}/12\mathbb{Z} \to \mathbb{Z}/4\mathbb{Z}$ ，$\varphi(\bar{k}) = k \bmod 4$ 。核为 $\{0, 4, 8\}$ 。像为整个 $\mathbb{Z}/4\mathbb{Z}$ 。验算同态性：$\varphi(7 + 5) = \varphi(0) = 0$ ，而 $\varphi(7) + \varphi(5) = 3 + 1 = 4 \equiv 0$ 。左右严丝合缝。

数值例子 2：非平凡自同态。 定义 $\varphi: \mathbb{Z}/6\mathbb{Z} \to \mathbb{Z}/6\mathbb{Z}$ ，$\varphi(k) = 2k \bmod 6$ 。验算：$\varphi(a + b) = 2(a+b) = 2a + 2b = \varphi(a) + \varphi(b)$ ，是同态。核：$\{k : 2k \equiv 0 \pmod 6\} = \{0, 3\}$ 。像：$\{0, 2, 4\}$ ，三阶子群。第一同构定理预告：$\mathbb{Z}/6\mathbb{Z}/\{0, 3\} \cong \{0, 2, 4\}$ ，两边都是三阶群。

我初学第一同构定理时，总把它当成干巴巴的公式背，直到我拿矩阵群手算了一遍才彻底开窍。考虑 $\varphi: GL_2(\mathbb{R}) \to \mathbb{R}^*$ ，$\varphi(A) = \det(A)$ 。核是 $SL_2(\mathbb{R})$ （行列式为 1 的矩阵）。定理断言 $GL_2/SL_2 \cong \mathbb{R}^*$ 。这到底在压缩什么？想象所有行列式为 5 的矩阵，它们形状各异、旋转拉伸各不相同，但在 $\varphi$ 眼里全被压成同一个数 5。$SL_2$ 就是那个“零误差基准面”，任何可逆矩阵 $A$ 都能写成 $A = D \cdot S$ ，其中 $D$ 是纯缩放矩阵，$S \in SL_2$ 负责保体积形变。商群 $GL_2/SL_2$ 就是把所有共享同一行列式的矩阵捆成一捆，每捆只留一个实数标签。陪集乘法 $(A SL_2)(B SL_2) = (AB) SL_2$ 翻译过来就是 $\det(A)\det(B) = \det(AB)$ 。同态不是魔法，它只是把高维结构的冗余自由度（这里是保体积变换）全部折叠，只留下你关心的那个标量轴。这种“剥离次要自由度、锁定核心不变量”的视角，正是第一同构定理（First Isomorphism Theorem）的物理直觉。

同态的分类标签：

• 单同态（monomorphism）（单射）：$\ker \varphi = \{e\}$ ，信息零丢失。
• 满同态（epimorphism）（满射）：$\text{im}(\varphi) = H$ ，目标群被完全覆盖。
• 同构（isomorphism）（双射）：单且满，两个群结构完全等价。
• 自同构（automorphism）：$G \to G$ 的同构，群内部的对称重排。
• 自同态（endomorphism）：$G \to G$ 的同态，群到自身的结构压缩或拉伸。

这组分类极其关键，因为同态是群范畴（category of groups）里的态射（morphism）。几乎所有群论定理，剥开外衣后都在描述同态的性质，而不是孤立地谈论某个群。范畴论视角会在第 11 篇彻底展开。

复合引理： 两个同态套在一起还是同态。若 $\varphi: G \to H$ 和 $\psi: H \to K$ 是同态，则 $\psi \circ \varphi: G \to K$ 也是。核的行为像漏斗：$\ker(\psi \circ \varphi) \supseteq \ker\varphi$ ，等号成立当且仅当 $\psi$ 在 $\text{im}(\varphi)$ 上单射。这是微积分链式法则的代数祖先（链式法则本质是线性映射复合，而线性映射是加法群同态的特例）。

数值例子：复合的核扩张： 设 $\varphi: \mathbb{Z} \to \mathbb{Z}/12\mathbb{Z}$ 和 $\psi: \mathbb{Z}/12\mathbb{Z} \to \mathbb{Z}/4\mathbb{Z}$ 都是模约化。复合 $\psi \circ \varphi: \mathbb{Z} \to \mathbb{Z}/4\mathbb{Z}$ 就是模 4 约化。核：$\ker\varphi = 12\mathbb{Z}$ ，$\ker(\psi\circ\varphi) = 4\mathbb{Z}$ 。显然 $12\mathbb{Z} \subseteq 4\mathbb{Z}$ ，复合让核变大了，符合漏斗直觉。

第一同构定理（First Isomorphism Theorem）#

心理图像：把群按核压缩，剩下的形状正好等于像。同态 $\varphi$ 天然“分解”成两步：先做满射投影 $G \to G/\ker\varphi$ 把冗余信息碾碎，再做同构 $G/\ker\varphi \to \text{im}(\varphi)$ 把骨架精准对齐。

这句话的意思是：原群除以被压扁成单位元的那部分，剩下的结构同构于映射实际到达的区域。

映射 $\bar{\varphi}: G/\ker\varphi \to \text{im}(\varphi)$ 定义为 $\bar{\varphi}(g \ker\varphi) = \varphi(g)$ ，这是一个良定义的同构。

设 $K = \ker \varphi$ 。证明骨架如下： 良定义： 若 $g_1 K = g_2 K$ ，则 $g_1^{-1} g_2 \in K$ ，故 $\varphi(g_1)^{-1}\varphi(g_2) = e$ ，推出 $\varphi(g_1) = \varphi(g_2)$ 。代表元不同不影响输出。 同态： $\bar{\varphi}(g_1 K \cdot g_2 K) = \bar{\varphi}(g_1 g_2 K) = \varphi(g_1 g_2) = \varphi(g_1)\varphi(g_2) = \bar{\varphi}(g_1 K)\bar{\varphi}(g_2 K)$ 。运算完美继承。 单射： $\bar{\varphi}(gK) = e \implies \varphi(g) = e \implies g \in K \implies gK = K$ 。只有单位陪集映到单位元。 满射： 对任意 $h \in \text{im}(\varphi)$ ，取 $g$ 使 $\varphi(g) = h$ ，则 $\bar{\varphi}(gK) = h$ 。像中每个元素都有原像陪集。$\square$

这一定理是整门课的结构脊柱。每个商群都是某个同态的像；每个像都是某个商。这种对偶性让我能把“商群难题”翻译成“同态难题”（反之亦然），它直接孕育了线性代数的秩-零度定理，以及无数“结构划分”结果。

用范畴论黑话说：每个态射唯一分解为满射后接单射。对群而言，分解路径是 $G \twoheadrightarrow G/\ker\varphi \hookrightarrow H。$ 同一套骨架在向量空间（秩-零度）、模（蛇引理）、拓扑空间（轨道分解）里反复出现。代数里只要看到“第一同构定理”，它永远是同一个定理换了件衣服。

应用 1：$GL_n(\mathbb{R})/SL_n(\mathbb{R}) \cong \mathbb{R}^*$ 。 行列式 $\det: GL_n(\mathbb{R}) \to \mathbb{R}^*$ 是满同态，核为 $SL_n(\mathbb{R})$ （行列式为 1 的矩阵）。商掉核后，剩下的自由度正好是非零实数乘法群。

应用 2：$\mathbb{R}/\mathbb{Z} \cong S^1$ 。 定义 $\varphi: \mathbb{R} \to \mathbb{C}^*$ ，$\varphi(t) = e^{2\pi i t}$ 。满射到单位圆 $S^1$ ，核为整数 $\mathbb{Z}$ 。所以 $\mathbb{R}/\mathbb{Z} \cong S^1$ 。实数轴被整数周期模掉后，首尾相接卷成一个圆，代数与拓扑在此重合。

应用 3：$(\mathbb{Z}/12\mathbb{Z})/(3\mathbb{Z}/12\mathbb{Z}) \cong \mathbb{Z}/3\mathbb{Z}$ 。 构造 $\varphi: \mathbb{Z}/12\mathbb{Z} \to \mathbb{Z}/3\mathbb{Z}$ ，$\varphi(\bar{k}) = k \bmod 3$ 。核是 $\{0, 3, 6, 9\}$ ，即 $3\mathbb{Z}/12\mathbb{Z}$ ，像是整个 $\mathbb{Z}/3\mathbb{Z}$ 。定理直接给出同构。

应用 4：循环群的商群分类。 循环群的商群必为循环群。具体地，$\mathbb{Z}/n\mathbb{Z}$ 有商群同构于 $\mathbb{Z}/m\mathbb{Z}$ 当且仅当 $m \mid n$ 。对应同态是 $\bar{k} \mapsto k \bmod m$ ，核为 $\langle \bar{m} \rangle$ ，阶为 $n/m$ 。实例：$\mathbb{Z}/12\mathbb{Z}$ 的商群列表为 $\mathbb{Z}/12\mathbb{Z}, \mathbb{Z}/6\mathbb{Z}, \mathbb{Z}/4\mathbb{Z}, \mathbb{Z}/3\mathbb{Z}, \mathbb{Z}/2\mathbb{Z}, \{0\}$ ，完美镜像 12 的因子 $12, 6, 4, 3, 2, 1$ 。

反单群测试实战： 单群（simple group）没有非平凡真正规子群。第一同构定理提供破局思路：只要找到非平凡同态 $\varphi: G \to H$ 且 $|H| < |G|$ ，$\ker\varphi$ 就是非平凡真正规子群，$G$ 必不单。应用：任意 6 阶群必含 3 阶正规子群（下篇 Sylow 定理保证），通过陪集共轭作用构造 $G \to S_3$ ，分析核与像可直接推出 $G$ 只能是 $\mathbb{Z}/6\mathbb{Z}$ 或 $S_3$ 。

第二和第三同构定理（Second & Third Isomorphism Theorems）#

第一同构定理有两位得力搭档，专门处理子群与商群交叉时的结构账本。

第二同构定理（钻石定理）： 设 $G$ 是群，$H \leq G$ ，$N \trianglelefteq G$ 。则：

1. $HN = \{hn : h \in H, n \in N\}$ 是 $G$ 的子群。
2. $H \cap N \trianglelefteq H$ 。
3. $HN / N \cong H / (H \cap N)$ 。 $ HN/N \cong H/(H \cap N) $ 这句话的意思是：把 $H$ 和 $N$ 拼起来再模掉 $N$ ，等价于直接把 $H$ 模掉它与 $N$ 的重叠部分。

证明骨架： 定义 $\varphi: H \to G/N$ 为 $\varphi(h) = hN$ 。核是 $H \cap N$ 。像集是 $HN/N$ 。直接套用第一同构定理。$\square$

直觉： 把 $H$ 和 $N$ 想象成叠在 $G$ 上的两片透镜。$H$ 透过商群 $G/N$ 看到的景象（$= HN/N$ ），等于 $H$ 剔除与 $N$ 重叠区域后自己内部的景象（$= H/(H \cap N)$ ）。

第三同构定理： 设 $N \trianglelefteq K \trianglelefteq G$ （两者均在 $G$ 中正规）。则：

1. $K/N \trianglelefteq G/N$ 。
2. $(G/N)/(K/N) \cong G/K$ 。 $ (G/N)/(K/N) \cong G/K $ 这句话的意思是：对商群再取商，等于把两层压缩一次性做完，结果完全一样。

证明骨架： 定义 $\varphi: G/N \to G/K$ 为 $\varphi(gN) = gK$ （因 $N \subseteq K$ ，良定义）。满射。核是 $K/N$ 。套用第一同构定理。$\square$

格对应定理（第四同构定理，Lattice Correspondence Theorem）。 设 $N \trianglelefteq G$ 。存在一一对应：

• $G/N$ 的子群
• $G$ 中包含 $N$ 的子群 对应规则为 $H/N \leftrightarrow H$ （其中 $N \leq H \leq G$ ）。该双射严格保持包含关系、正规性与指数。

这定理好用得离谱。取商根本不会破坏子群结构，它只是“遗忘”了 $N$ 以下的所有细节。$G/N$ 的子群格，就是 $G$ 的子群格中漂浮在 $N$ 上方的那截。

数值例子 1：$\mathbb{Z}/12\mathbb{Z}$ 中 $\langle 4 \rangle$ 上方的格。 $\langle 4 \rangle = \{0, 4, 8\}$ 。包含它的子群有：$\langle 4 \rangle$ ，$\langle 2 \rangle = \{0, 2, 4, 6, 8, 10\}$ ，$\mathbb{Z}/12\mathbb{Z}$ 。商群 $\mathbb{Z}/12\mathbb{Z} / \langle 4 \rangle \cong \mathbb{Z}/4\mathbb{Z}$ 的子群为 $\{0\}$ ，$\{0, 2\}$ ，$\mathbb{Z}/4\mathbb{Z}$ 。上面三个，下面三个，严丝合缝。

数值例子 2：$D_4$ 的对应验证。 取 $G = D_4$ ，$N = \langle r^2 \rangle = Z(D_4)$ 。包含 $N$ 的 $D_4$ 子群：$N$ （阶 2），$\langle r \rangle$ （阶 4），$\{e, r^2, s, r^2 s\}$ （阶 4），$\{e, r^2, rs, r^3 s\}$ （阶 4），$D_4$ （阶 8）。共 5 个。商群 $D_4/N \cong V_4$ 恰好也有 5 个子群：$\{e\}$ ，三个 2 阶子群，$V_4$ 自身。完美匹配。

实例演算：第三定理的整数链。 $G = \mathbb{Z}, K = 6\mathbb{Z}, N = 30\mathbb{Z}$ 。$N \subseteq K$ 均正规。第三定理给出 $(\mathbb{Z}/30\mathbb{Z})/(6\mathbb{Z}/30\mathbb{Z}) \cong \mathbb{Z}/6\mathbb{Z}$ 。这里 $6\mathbb{Z}/30\mathbb{Z}$ 含 5 个元素 $\{0, 6, 12, 18, 24\} \bmod 30$ 。$\mathbb{Z}_{30}$ 除以一个 $\mathbb{Z}_5$ 副本，剩 $\mathbb{Z}_6$ 。数值验证：$30/5 = 6$ 。$\checkmark$

实例演算：$S_4$ 的合成列。 $S_4$ 有正规链 $\{e\} \trianglelefteq V_4 \trianglelefteq A_4 \trianglelefteq S_4$ 。阶数 1, 4, 12, 24。连续商群：$V_4/\{e\} \cong V_4$ ，$A_4/V_4 \cong \mathbb{Z}/3\mathbb{Z}$ ，$S_4/A_4 \cong \mathbb{Z}/2\mathbb{Z}$ 。合成因子阶数乘积 $2 \cdot 2 \cdot 3 \cdot 2 = 24 = |S_4|$ 。$\checkmark$ 这正是 Jordan-Hölder 定理要系统化的内容。

实例演算：第二定理在 $S_4$ 的硬核算法。 取 $H = \langle (1\ 2\ 3\ 4) \rangle$ （4 阶循环），$N = V_4 = \{e, (1\ 2)(3\ 4), (1\ 3)(2\ 4), (1\ 4)(2\ 3)\}$ 。交集 $H \cap N = \{e, (1\ 3)(2\ 4)\}$ （因为 $(1\ 2\ 3\ 4)^2 = (1\ 3)(2\ 4)$ 是唯一落在 $V_4$ 里的非单位元）。$|H|=4, |N|=4, |H \cap N|=2$ 。乘积子群阶数 $|HN| = |H||N|/|H \cap N| = 16/2 = 8$ 。故 $HN/N$ 阶为 2。第二定理断言 $H/(H \cap N) \cong HN/N$ ，两边都是 2 阶群。匹配。$HN$ 实际上是 $S_4$ 内嵌的一个 $D_4$ 副本。

实例演算：矩阵同态链： $\varphi: GL_2(\mathbb{R}) \to \mathbb{R}^*$ ，$\varphi(A) = \det(A)$ 。满射，核 $SL_2(\mathbb{R})$ 。故 $GL_2/SL_2 \cong \mathbb{R}^*$ 。看链 $\{I\} \subset \{\pm I\} \subset SL_2 \subset GL_2$ 。连续商：$\{\pm I\}/\{I\} \cong \mathbb{Z}/2\mathbb{Z}$ ，$SL_2/\{\pm I\} = PSL_2(\mathbb{R})$ ，$GL_2/SL_2 \cong \mathbb{R}^*$ 。中间的 $PSL_2(\mathbb{R})$ 是射影特殊线性群，双曲几何的绝对核心。

Galois 对应具体计算：$\mathbb{Q}(\sqrt{2}, \sqrt{3})$ 。 格对应定理在域论里化身 Galois 对应。考虑扩域 $K = \mathbb{Q}(\sqrt{2}, \sqrt{3})$ 。它的 Galois 群 $G = \text{Gal}(K/\mathbb{Q})$ 有 4 个自同构：恒等 $e$ ，$\sigma: \sqrt{2} \mapsto -\sqrt{2}$ （固定 $\sqrt{3}$ ），$\tau: \sqrt{3} \mapsto -\sqrt{3}$ （固定 $\sqrt{2}$ ），$\sigma\tau$ 同时变号。$G \cong V_4$ 。子群格：$\{e\}$ ，$\langle \sigma \rangle$ ，$\langle \tau \rangle$ ，$\langle \sigma\tau \rangle$ ，$G$ 。对应中间域：$K$ ，$\mathbb{Q}(\sqrt{3})$ ，$\mathbb{Q}(\sqrt{2})$ ，$\mathbb{Q}(\sqrt{6})$ ，$\mathbb{Q}$ 。子群越大，固定域越小；正规子群对应正规扩域。这里 $V_4$ 交换，所有子群正规，所有中间域都是 $\mathbb{Q}$ 的正规扩域。商群 $G/\langle \sigma \rangle \cong \mathbb{Z}/2\mathbb{Z}$ 正好对应 $\text{Gal}(\mathbb{Q}(\sqrt{3})/\mathbb{Q})$ 。格对应在此展现得淋漓尽致。

为什么同构定理在实战中不可替代。 中国剩余定理（CRT）是它的闪电推论：若 $\gcd(m, n) = 1$ ，则 $\mathbb{Z}/mn\mathbb{Z} \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ 。构造 $\varphi: \mathbb{Z} \to \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$ ，$\varphi(k) = (k \bmod m, k \bmod n)$ 。互质保证满射，核为 $mn\mathbb{Z}$ 。第一定理直接收尾。

数值 CRT 验算： $m=4, n=9$ 。$\mathbb{Z}/36\mathbb{Z} \cong \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/9\mathbb{Z}$ 。元素 $13$ 对应 $(13 \bmod 4, 13 \bmod 9) = (1, 4)$ 。算加法 $13 + 25 = 38 \equiv 2 \pmod{36}$ ，对应 $(2, 2)$ 。右边 $(1, 4) + (1, 7) = (2, 11) \equiv (2, 2) \pmod{(4,9)}$ 。完全对齐。CRT 源自公元 3 世纪《孙子算经》，现代环论表述让它从算术技巧升维成结构定理。

可解性实战：$S_4$ vs $S_5$ 。 群可解（solvable）指存在正规链 $G = G_0 \trianglerighteq \cdots \trianglerighteq G_n = \{e\}$ 且连续商群全为 Abel 群。$S_4$ 链：$S_4 \trianglerighteq A_4 \trianglerighteq V_4 \trianglerighteq \{e\}$ 。商群：$\mathbb{Z}/2$ ，$\mathbb{Z}/3$ ，$V_4$ （Abel）。$S_4$ 可解。$S_5$ 不可解：$A_5$ 是非 Abel 单群，任何次正规链必以 $A_5$ 为合成因子，卡死非 Abel 瓶颈。这就是一般五次方程无根式解的群论死结。可解性是群论与 Galois 理论的跨海大桥，第 7、8 篇会彻底拆解它。

一个实例：$(\mathbb{Z} \times \mathbb{Z})/H$ #

取 $G = \mathbb{Z} \times \mathbb{Z}$ ，$H = \{(a, a) : a \in \mathbb{Z}\}$ （对角子群）。交换群的子群自动正规。现在手算商群。

第一步：锁定陪集代表#

陪集 $(m, n) + H = \{(m+a, n+a) : a \in \mathbb{Z}\}$ 。两个陪集相等当且仅当差 $(m_1 - m_2, n_1 - n_2) \in H$ ，即 $m_1 - m_2 = n_1 - n_2$ ，整理得 $m_1 - n_1 = m_2 - n_2$ 。 这句话的意思是：陪集的身份完全由坐标差 $m - n$ 唯一决定，差相同的点全挤在同一个陪集里。

第二步：建立到 $\mathbb{Z}$ 的同构#

定义 $\Phi: G/H \to \mathbb{Z}$ ，$\Phi((m, n) + H) = m - n$ 。这是双射。验算同态：$\Phi(((m_1, n_1) + (m_2, n_2)) + H) = (m_1 + m_2) - (n_1 + n_2) = (m_1 - n_1) + (m_2 - n_2) = \Phi(\cdot) + \Phi(\cdot)$ 。结构完美保留。

结论#

$(\mathbb{Z} \times \mathbb{Z})/H \cong \mathbb{Z}$ 。

第一同构定理秒杀验证#

定义 $\varphi: \mathbb{Z} \times \mathbb{Z} \to \mathbb{Z}$ ，$\varphi(m, n) = m - n$ 。满射显然。核 $\{(m, n) : m = n\} = H$ 。定理直接拍板 $(\mathbb{Z} \times \mathbb{Z})/H \cong \mathbb{Z}$ 。两行结束战斗。

数值示例#

$(7, 3)$ 的陪集对应 $7 - 3 = 4$ 。$(2, -2)$ 的陪集对应 $2 - (-2) = 4$ 。两者在同一陪集。加法：$(7, 3) + (1, 5) = (8, 8)$ ，差为 $0$ ，落入单位陪集 $H$ 。验算：$(8, 8) \in H$ 。$\checkmark$

几何图像#

把 $\mathbb{Z}^2$ 看作平面整数格点。$H$ 是直线 $y = x$ 上的点。陪集是平行于 $y = x$ 的整条直线，用截距差 $m - n$ 编号。商操作把每条对角线压成一个点，剩余空间正好是正交方向 $y = -x$ 上的整数轴，即 $\mathbb{Z}$ 。

变体 1：$(\mathbb{Z} \times \mathbb{Z})/\langle (1, 0) \rangle$ #

$\langle (1, 0) \rangle = \mathbb{Z} \times \{0\}$ 。商群 $(\mathbb{Z}^2)/(\mathbb{Z} \times \{0\}) \cong \mathbb{Z}$ ，同态为投影 $(m, n) \mapsto n$ 。横轴被压扁，纵轴保留。

变体 2：$(\mathbb{Z} \times \mathbb{Z})/\langle (2, 3) \rangle$ #

$H$ 由单个无限阶元素生成。指数无限。商群 $\mathbb{Z}^2/H \cong \mathbb{Z}$ 。因为 $\gcd(2, 3) = 1$ ，Bezout 定理保证存在互补方向。用 Smith 标准形处理关系矩阵 $(2, 3)$ ，行变换化为 $(1, 0)$ ，商群结构直接读出为 $\mathbb{Z} \oplus \{0\} \cong \mathbb{Z}$ 。无论选哪条同构路径，答案锁定 $\mathbb{Z}$ 。

Galois 和 Noether 的历史笔记#

商群这套语言不是从天上掉下来的。我每次读历史，都觉得它像一场接力赛，棒子沾着血和墨水。

Évariste Galois（1811-1832）在死磕多项式根式解时，根本没写过“正规子群”或“商群”这种词。但他骨子里已经用上了它们。Galois 发现方程可解的命门，在于能不能找到一条子群链 $G \trianglerighteq G_1 \trianglerighteq \cdots \trianglerighteq \{e\}$ ，且相邻商群全是 Abel 群。这正是现代“可解群”的定义。他手绘的中间域与子群对应图，已经把格对应定理的胚胎画在了纸上。20 岁决斗身亡前夜，他匆忙写下的绝笔信里塞满了这些思想。数学界消化它花了十几年，Liouville 1846 年才发表他的论文，Jordan 1870 年的《置换论》第一次系统梳理了骨架。

Emmy Noether（1882-1935）给了我们今天用的抽象定义，并用现代形式钉死了同构定理。她硬生生把代数从“疯狂算具体多项式”的泥潭里拔出来，重组为“同态与商群主导”的公理体系。现代教材（Lang、Dummit-Foote、Hungerford）的血管里流的都是 Noether 的血。她在物理学提出的 Noether 定理，把连续对称性与守恒定律绑死，那是商结构在微分几何里的另一重化身。

Noether 的学术路布满荆棘。哥廷根大学多年拒发薪水，只因她是女性。她只能挂在 Hilbert 名下代课。Hilbert 当时拍桌子：“我看不出候选人的性别是反对她任教的理由。”1933 年纳粹上台，她被扫地出门，流亡美国布林莫尔学院，1935 年因手术并发症离世。她留下的抽象框架，如今是每个代数学生的必修课。历史从不温柔，但结构永存。

下一步#

走到这里，我手里已经攥紧了一套结构压缩的重型工具：正规子群让我能安全地切分群，商群把切块压成可操作的新对象，同态负责在不同群之间架设结构桥梁，而同构定理精确标定了压缩前后的信息账本。我不再害怕庞大的乘法表，因为我知道怎么眯起眼睛看骨架。

但新的问题立刻撞上门：给定一个有限群 $G$ ，我怎么知道它内部到底藏着哪些特定阶数的子群？正规子群告诉我“怎么压缩”，却没告诉我“去哪找子群”。如果 $|G| = 60$ ，我能不能断言它一定有 5 阶子群？如果有，它们长什么样？互相共轭吗？数量是几个？

下一篇，我将直面有限群分类的硬核引擎：Sylow 定理（Sylow theorems）。它会用素数幂的视角撕开有限群的内部结构，给出 $p$ -子群的存在性、共轭性与计数公式。Sylow 定理的证明极度依赖群作用（group action）与轨道-稳定子定理，而它的结论将直接反哺正规子群的判定。我会带你手算 $A_5$ 的 Sylow 子群分布，亲眼看着单群的“无正规子群”性质如何从计数矛盾中浮现。带上这篇的商群直觉，我们下一篇去拆解有限群的素数骨架。