群：把对称装进一个集合

引言：从直觉到公理

转一下正方形的杯垫——旋转90°、180°、270°，或者翻转它——做完之后，杯垫看上去还是原来那个正方形。这些"看不出变化"的操作，就是数学家所说的对称操作。

群论的核心洞见是：对称操作本身构成一个代数结构。你可以把两个对称操作"相乘"（先做一个再做另一个），结果还是对称操作。这种"操作的集合加上组合规则"就是群。

群论不仅统一了几何中的对称现象，还深刻影响了方程求解理论（伽罗瓦理论）、物理学（守恒律与粒子分类）和密码学。本章从正方形的对称出发，逐步揭示群的公理结构、核心定理和深远应用。

一、对称的直觉：正方形的8种变换

考虑一个正方形。它有哪些"不变操作"？把顶点标记为 1, 2, 3, 4，列举所有保持正方形位置不变的变换：4 个旋转加 4 个翻转，共 8 个。

图 1：正方形二面体群 D₄ 的 8 个元素。上排是 4 个旋转（含恒等），下排是 4 个翻转。每张图给出了顶点 1–4 在该操作下的最终位置。

这 8 个操作构成了正方形的二面体群 $D_4$ 。关键观察四点：

任意两个操作的复合仍是这 8 个之一——
封闭性
。
组合的分组方式可以改变而不影响结果——
结合律
。
"什么都不做"
r₀
是特殊的——
单位元
。
每个操作都有"撤销键"——
逆元
。

但要注意：顺序有关。先旋转 90° 再水平翻转 ≠ 先水平翻转再旋转 90°：

r_1 \circ s_1 \;\neq\; s_1 \circ r_1

这使得 $D_4$ 成为一个非交换群。

二、群的公理化定义

从正方形的具体例子中提取抽象结构。一个群 $(G, \cdot)$ 是一个集合 $G$ 配上一个二元运算 $\cdot$ ，满足四条公理：

公理 1（封闭性）：对所有 $a, b \in G$ ，有 $a \cdot b \in G$ 。

公理 2（结合律）：

(a \cdot b) \cdot c \;=\; a \cdot (b \cdot c) \quad \forall\, a, b, c \in G

公理 3（单位元）：存在 $e \in G$ ，使得对所有 $a \in G$ 有 $e \cdot a = a \cdot e = a$ 。

公理 4（逆元）：对每个 $a \in G$ ，存在 $a^{-1} \in G$ ，满足：

a \cdot a^{-1} \;=\; a^{-1} \cdot a \;=\; e

如果还满足 $a \cdot b = b \cdot a$ （交换律），则称为阿贝尔群（交换群）。这四条公理极其简洁，却能捕获从数系到几何到物理中所有"对称"的本质。

二·五、什么是对称？群论作为对称的数学语言

到这里我们必须停下来追问一个比"群有哪些公理"更深的问题：「对称」到底是什么？为什么这四条公理恰好就是对称的语法？这一节抛开例子，从最素朴的直觉抽到形式化定义，再回头看群的四条公理，会发现它们是对称作为一种数学现象的逻辑必然。

对称的本质定义：保持结构不变的可逆变换

对称的直觉是"变了之后看不出变"。把它形式化：给定一个数学对象 X（图形、方程、物理系统、抽象集合……），X 自带某种"结构" S（形状、解集、能量、关系……）。一个对称就是 X 上一个保持结构 S 不变的可逆变换。

\mathrm{Sym}(X, S) \;=\; \bigl\{\, f: X \to X \;\big|\; f \text{ 双射},\; f \text{ 保持 } S \,\bigr\}.

注意三个关键词：双射（可逆，保信息）、自映射（X → X，不出结构外）、保持 S（变换前后 S 看起来一样）。这个定义不依赖 X 是图形还是方程——它纯粹是关于"什么样的变换不破坏结构"的。

关键洞见：对称不是对象的属性，而是变换的属性。"正方形是对称的"这句话其实是简写——精确说法是"存在一些变换使正方形保持不变"。把对象的对称性还原为一类合格变换的集合，这一思想转身是 19 世纪数学的根本进展。

四条群公理是对称集合的逻辑必然

现在回看群的四条公理，会发现每一条都是 Sym(X, S) 必然满足的——不是被发明的，是被发现的：

\begin{array}{l|l} \text{群公理} & \text{对称集合中的必然事实} \\ \hline \text{封闭性} & \text{保结构变换的复合仍保结构} \\ \text{结合律} & \text{函数复合天然满足} (f\circ g)\circ h = f\circ(g\circ h) \\ \text{单位元} & \text{恒等映射 } \mathrm{id}_X \text{ 永远保持任意结构} \\ \text{逆元} & \text{双射有逆映射,且逆映射也保结构} \end{array}

这说明群的公理不是从天而降的代数游戏——它们是"保持结构的可逆变换的集合"必然遵守的代数律。群 = 抽象的对称集合。这是为什么群论是对称的数学语言：它不是描述对称的工具，它就是对称在代数层面的结构本身。

群-对称对偶：Cayley 定理的深意

反过来呢？每个抽象群都来自某个对象的对称吗？答案是肯定的——这正是 Cayley 定理的深意：

\forall\, G \text{ 群},\;\; \exists\, X,\; \exists\, S: \;\; G \cong \mathrm{Sym}(X, S).

具体取 X = G 自身，对称结构 S 就是"群的乘法表"——每个 g ∈ G 通过左乘 L_g(x) = gx 给出一个 X → X 的双射，所有这些 L_g 组成的集合恰好同构于 G。群和对称是同一回事的两面：抽象代数地看是群，具象作用地看是对称。这一对偶性是范畴论之前最深刻的双向定理。

群作用：把抽象群"投射"到具体对象上

把上面的对偶形式化：一个群 G 在集合 X 上的作用是同态

\rho: G \;\longrightarrow\; \mathrm{Sym}(X) = \{X \to X \text{ 的双射}\}, \quad \rho(gh) = \rho(g) \circ \rho(h).

群作用是同一个抽象群被"实现"在不同对象上的方式：D₄ 既作用于正方形（旋转翻转），也作用于复平面的四个点 {1, i, −1, −i}（乘 ζ_4 与共轭），还作用于 4 元集合的 8 个置换……同一个 D₄，无数种作用。每一次作用都是"把抽象对称投射到一个具体载体"。

三个核心概念：

轨道
O(x) = {ρ(g)·x : g ∈ G}——x 在群作用下能被搬到的所有位置
稳定子
Stab(x) = {g : ρ(g)·x = x}——保持 x 不动的群元素
轨道-稳定子定理
：|G| = |O(x)| · |Stab(x)|（拉格朗日定理的几何化身）

|G| \;=\; |\mathcal{O}(x)| \cdot |\mathrm{Stab}(x)|. \quad (\text{对称的总量} = \text{能搬到的位置} \times \text{原地不动的方式})

Klein 的 Erlangen 纲领：几何 = 群作用下的不变量

1872 年 Felix Klein 在 Erlangen 大学就职演说中，给出了 19 世纪几何统一的纲领性表述：

每一种几何就是一个群在空间上的作用，几何研究的对象就是群作用下的不变量。

具体对照：

\begin{array}{l|l|l} \text{几何} & \text{群} & \text{不变量} \\ \hline \text{欧氏几何} & \text{等距群 } \mathrm{Iso}(\mathbb{R}^n) & \text{距离, 角度, 面积} \\ \text{仿射几何} & \text{仿射群 } \mathrm{Aff}(\mathbb{R}^n) & \text{平行性, 比例} \\ \text{射影几何} & \text{射影群 } \mathrm{PGL}(n) & \text{交比, 共线性} \\ \text{双曲几何} & \mathrm{PSL}(2, \mathbb{R}) & \text{双曲距离} \\ \text{拓扑学} & \text{同胚群} & \text{连通性, 同伦类} \end{array}

Erlangen 纲领把"几何是什么"彻底还原为群论问题。这是群论作为对称语言最强力的证据——它不仅描述某种对称，它定义了"几何"本身。从此以后整个现代几何学（黎曼几何、规范理论、辛几何、复几何）都站在 Erlangen 纲领的肩上。

三、核心实例巡礼

3.1 整数加法群 $(\mathbb{Z}, +)$

最简单的无限群。集合为全体整数，运算为加法。单位元是 0， $a$ 的逆元是 $-a$ 。这是阿贝尔群。

3.2 置换群 $S_n$

$S_n$ 是 $\{1, 2, \ldots, n\}$ 上所有排列的集合，运算为复合。 $|S_n| = n!$ ，当 $n \geq 3$ 时非交换。

Cayley 定理：任何群 $G$ 都同构于某个置换群的子群。换言之，置换群是"万有"的——所有群结构都可以用排列来实现。

3.3 矩阵群 $GL(n, \mathbb{R})$ 与 $SO(n)$

$GL(n, \mathbb{R})$ 是所有 $n \times n$ 可逆实矩阵的群（运算为矩阵乘法）。它的子群 $SO(n)$ （行列式为 1 的正交矩阵）描述了 $n$ 维空间的旋转对称：

SO(n) \;=\; \{A \in \mathbb{R}^{n \times n} : A^T A = I,\; \det A = 1\}

3.4 循环群 $\mathbb{Z}/n\mathbb{Z}$

模 $n$ 的整数加法群，只有 $n$ 个元素： $\{0, 1, 2, \ldots, n-1\}$ 。它是由单个元素生成的最简单有限群。

四、子群、正规子群与商群

4.1 子群

$H \subseteq G$ 是 $G$ 的子群，若 $H$ 在同一运算下自己也构成群。例如，偶数 $2\mathbb{Z}$ 是 $(\mathbb{Z}, +)$ 的子群。

拉格朗日定理：有限群 $G$ 的子群 $H$ 的阶（元素个数）必整除 $|G|$ ：

|G| \;=\; [G : H] \cdot |H|

这意味着阶为素数 $p$ 的群没有非平凡子群——它必为循环群。

4.2 正规子群与商群

子群 $N \leq G$ 是正规的（记作 $N \trianglelefteq G$ ），若对所有 $g \in G$ 有 $gNg^{-1} = N$ 。正规子群的核心意义是允许"做除法"——定义商群：

G/N \;=\; \{gN : g \in G\}

商群的元素是陪集（coset），运算为 $(aN)(bN) = (ab)N$ 。正规性确保这个运算是良定义的。直觉上，商群是"忽略细节后的粗化结构"——把 $N$ 中的差异全部视为"无差别"。

五、同态、核与第一同构定理

群同态 $\varphi: G \to H$ 是保持运算结构的映射：

\varphi(ab) \;=\; \varphi(a)\,\varphi(b) \quad \forall\, a, b \in G

同态的核（kernel）定义为映到单位元的元素集合：

\ker\varphi \;=\; \{g \in G : \varphi(g) = e_H\}

它必然是 $G$ 的正规子群。

第一同构定理（群论的基本定理）：

G\,/\,\ker\varphi \;\;\cong\;\; \mathrm{Im}\,\varphi

这个定理说：任何同态 $\varphi$ 的"效果"等价于先模掉核，再同构地映射到像。它是代数学中最核心的结构定理之一。当 $\varphi$ 是双射同态时， $G \cong H$ ——两个群在结构上完全相同，只是"名字"不同。

图 2：第一同构定理。把 G 中所有"映到单位元"的元素打包成 ker φ，再做商，得到的 G/ker φ 与像 Im φ 完全同构。

六、群表示论初步

抽象的群很强大，但如何计算？答案是把群元素用矩阵来"表示"。群表示是同态：

\rho: G \to GL(V)

即把群元素映射为向量空间 $V$ 上的可逆线性变换。如果某个表示没有非平凡的不变子空间，则称为不可约表示——它是分解结构的"原子"。

Maschke 定理：有限群在特征为零的域上的每个表示都是不可约表示的直和。这保证了"分解"的可行性。

特征标理论

每个表示 $\rho$ 配套一个特征标函数：

\chi_\rho(g) \;=\; \mathrm{tr}\,\bigl(\rho(g)\bigr)

它是表示的"指纹"。不可约特征标之间满足正交关系：

\frac{1}{|G|}\sum_{g \in G} \chi_i(g)\,\overline{\chi_j(g)} \;=\; \delta_{ij}

关键性质三条：

特征标完全决定不可约表示（在同构意义下）。
不同不可约特征标在上述内积下正交。
不可约表示的个数等于群的共轭类的个数。

七、群的深远应用

7.1 方程的解与伽罗瓦理论：用群驯服多项式

群论最辉煌的应用诞生在它最早被发现的地方——多项式方程的求解。这个故事横跨三个世纪，最终由一位 21 岁就死于决斗的法国天才埃瓦里斯特·伽罗瓦（Évariste Galois, 1811–1832）画上句号。

三个世纪的根式求解史

一元 n 次方程 a_n xⁿ + ⋯ + a_0 = 0 的解能否用四则运算和开根表达？这是从巴比伦到 19 世纪所有代数学家的心头之问：

n = 1, 2
：古巴比伦已有解（一次直接，二次配方法）
n = 3
：1545 年 Cardano《大术》给出三次根式公式
n = 4
：同年 Ferrari 给出四次根式公式
n = 5
：苦寻 250 年。1799 年 Ruffini 给出不完整证明，1824 年
Abel 首次完整证明
「一般五次方程没有根式解」
1830
：Galois 给出
所有 n 的判据
——某个具体方程能否根式求解，由它的
伽罗瓦群是否可解
决定

Abel 解决了"五次能不能"，Galois 解决了"为什么以及一般 n 怎么办"。Galois 的关键洞察：把问题从"算根"转移到"研究根的对称"。

核心机制：根的对称就是一个群

给定多项式 f(x) ∈ ℚ[x]，它的根 α₁, …, αₙ 不一定是有理数（可能是 √2、ζₙ 等）。把所有有理系数运算下不能区分的根做"对换"——这些"代数上等价的对换"形成一个置换群，叫做 f 的伽罗瓦群 Gal(f)：

\mathrm{Gal}(f) \;=\; \bigl\{\,\sigma: \{\alpha_1,\dots,\alpha_n\} \to \{\alpha_1,\dots,\alpha_n\} \;\big|\; \sigma \text{ 保持所有 } \mathbb{Q}\text{-系数代数关系}\,\bigr\}.

例：f(x) = x² − 2 的根是 ±√2，Gal(f) = {id, (√2 ↔ −√2)} ≅ ℤ/2。代数上 √2 和 −√2 是"完全平等的孪生兄弟"——任何只用 ℚ 系数能写出的等式两人都满足。

更一般地，伽罗瓦群可重新形式化为分裂域的 ℚ-自同构群：设 K 是 f 的根全体生成的最小域（分裂域），

\mathrm{Gal}(K/\mathbb{Q}) \;=\; \bigl\{\,\sigma: K \to K \text{ 域同构} \;\big|\; \sigma|_{\mathbb{Q}} = \mathrm{id}\,\bigr\}.

伽罗瓦对应：子域 ↔ 子群

整个理论的核心是 Galois 对应基本定理——分裂域 K 的中间子域，与伽罗瓦群 G 的子群之间，存在反向一一对应：

\bigl\{\,\mathbb{Q} \subseteq L \subseteq K\,\bigr\} \;\;\xleftrightarrow{\;1\text{-}1\;}\;\; \bigl\{\,\{e\} \subseteq H \subseteq G\,\bigr\}, \quad L \leftrightarrow H = \mathrm{Gal}(K/L).

对应是反向的：大子域 ↔ 小子群，小子域 ↔ 大子群。子域结构就是子群结构的镜像——这是数学史上最美的对应之一。研究域的扩张被还原为研究有限群的子群结构（远比域更熟悉）。

图 3：伽罗瓦对应——分裂域 K 之上的中间子域格，与伽罗瓦群 G 的子群格，互为反序同构。

可解群与根式可解的等价性

群 G 是可解的（solvable），若存在子群链

\{e\} = G_0 \;\trianglelefteq\; G_1 \;\trianglelefteq\; \cdots \;\trianglelefteq\; G_n = G,\quad \text{每个 } G_{i+1}/G_i \text{ 是阿贝尔群}.

这个名字"可解"不是巧合——它正是伽罗瓦的核心定理：

定理（Galois 1830）。
多项式 f ∈ ℚ[x] 根式可解 ⟺ Gal(f) 是可解群。

"开 n 次根"的代数对应物正是"商出 ℤ/n"——所以"可以一层一层开根表达解"恰好对应"群可以一层一层商出阿贝尔片"。Galois 把解多项式的过程翻译成了分解群的过程，二者是同构的代数现象。

S₅ 不可解：五次方程为什么没有根式解

对一般 n 次方程，伽罗瓦群是对称群 Sₙ。前面 n ≤ 4 时 Sₙ 可解：

\begin{array}{l|l|l} n & S_n & \text{可解性} \\ \hline 2 & S_2 \cong \mathbb{Z}/2 & \text{阿贝尔, 可解} \\ 3 & S_3 \to \mathbb{Z}/2,\; A_3 \cong \mathbb{Z}/3 & \text{阿贝尔层, 可解} \\ 4 & S_4 \to S_3 \to \mathbb{Z}/2,\; V_4 \text{ 阿贝尔} & \text{可解} \\ 5 & S_5 \to A_5 \text{(单非阿贝尔)} & \text{不可解} \end{array}

关键是 A₅ 是非阿贝尔单群——它没有非平凡的正规子群，无法继续商出阿贝尔片，于是 S₅ 的子群链卡死在 A₅ 这一层。所以一般五次方程的伽罗瓦群是 S₅，不可解，因此没有根式解。

具体例子：x⁵ − 6x + 3 ∈ ℚ[x] 的伽罗瓦群是 S₅（可由 Eisenstein 判据 + 实根分析验证），所以它的根无法用 ℚ 上的四则运算与根式表达。这是 Abel-Ruffini 定理的具体实例。

伽罗瓦理论的现代影响

伽罗瓦不仅解决了五次方程问题，他开创了整个现代代数：

正规子群、商群、单群
等核心概念都来自伽罗瓦的手稿（他在决斗前一晚写就的信中）
"
对应
"思想（伽罗瓦对应）成为整个数学的元方法——同调代数、代数几何中的 Tannaka 对偶、Grothendieck 的 étale 基本群都是它的后裔
逆 Galois 问题
（每个有限群都是某个 ℚ 上多项式的伽罗瓦群吗？）至今未完全解决
朗兰兹纲领（Langlands program）——把伽罗瓦群的表示与自守形式联系起来——是 21 世纪最深刻的数学工程

Galois 在 21 岁前夜写下："我没有时间了。"他遗留的几页手稿，启动了之后近 200 年的代数学进展。他用群论把一个 250 年的具体问题，变成了一种永久的数学语言。

7.2 物理学的对称：从诺特定理到标准模型

如果说伽罗瓦让群论成为代数的中心，那 20 世纪让群论成为物理学的中心语法的，是 Emmy Noether（艾米·诺特）的 1918 年定理与之后的整个规范理论。物理学家的箴言："对称性决定一切"——这句话的精确意义就是群论。

诺特定理：连续对称 ⟺ 守恒律

1918 年 Emmy Noether 在 Hilbert 与 Klein 邀请下证明：每一个作用量 S 的连续对称，对应一个守恒量。形式化：若变换 q → q + ε X(q) 使作用量不变，则存在守恒流 J^μ：

\delta S = 0 \;\;\Longrightarrow\;\; \exists\, J^\mu: \;\; \partial_\mu J^\mu = 0, \quad Q = \int J^0\,d^3x \text{ 守恒}.

具体对应（外对称：时空对称）：

\begin{array}{l|l|l} \text{对称（群）} & \text{守恒量} & \text{物理意义} \\ \hline \text{时间平移 } \mathbb{R}_t & \text{能量 } E & \text{热力学第一定律} \\ \text{空间平移 } \mathbb{R}^3 & \text{动量 } \vec{p} & \text{牛顿第二定律可积分} \\ \text{空间旋转 } SO(3) & \text{角动量 } \vec{L} & \text{开普勒定律} \\ \text{Lorentz 变换 } SO(3,1) & \text{角动量 + boost 守恒} & \text{相对论协变} \\ \text{规范相位 } U(1) & \text{电荷 } Q & \text{电荷守恒} \end{array}

诺特定理把"为什么能量守恒"的物理问题，翻译成了"时间是均匀的"的几何陈述——能量守恒不是经验事实，是时空对称的逻辑后果。这一发现把物理学从"经验定律的归纳"提升为"对称性的演绎"。

外对称 vs 内对称：时空 vs 规范

物理对称分两大类：

外对称（时空对称）
：作用于时空坐标。Galilei 群、Poincaré 群（=Lorentz⋊平移）。决定了"运动学"
内对称（规范对称）
：作用于场的内部自由度（电荷、色、味），与时空无关。决定了"动力学"——也就是
力的来源

关键洞察（Yang-Mills 1954）：把内对称从"全局"提升到"局域"（每点可以独立变换），对称的局域化强迫引入新的场——规范场，就是基本相互作用。

\boxed{\;\text{局域规范对称 } G \;\;\Longrightarrow\;\; \text{规范玻色子（} G \text{ 的李代数维度）个相互作用粒子}.\;}

标准模型：三个李群描写一切已知力

粒子物理标准模型把所有已知非引力相互作用编码为一个规范群：

G_{\text{SM}} \;=\; \mathrm{SU}(3)_C \;\times\; \mathrm{SU}(2)_L \;\times\; \mathrm{U}(1)_Y.

每个因子对应一种力：

\begin{array}{l|l|l|l} \text{群} & \text{李代数维度} & \text{规范玻色子} & \text{力} \\ \hline \mathrm{SU}(3)_C & 8 & 8 \text{ 个胶子} & \text{强相互作用（夸克色荷）} \\ \mathrm{SU}(2)_L \times \mathrm{U}(1)_Y & 3 + 1 & W^+, W^-, Z, \gamma & \text{电弱相互作用} \end{array}

夸克按 SU(3) 的不可约表示分类——3 维基本表示（夸克）、3̄（反夸克）、8 维伴随表示（胶子）。轻子按 SU(2) × U(1) 表示分类——电子和中微子构成 SU(2) 的二重态。整个粒子谱系等价于若干李群的不可约表示分解——这是群论作为物理语言最直接的呈现。

自发对称破缺：Higgs 机制

但 SU(2) × U(1) 是精确对称时所有规范玻色子都是无质量的（光子那样），这与实验矛盾——W、Z 是有质量的。出路是自发对称破缺：

G \;\xrightarrow{\;\langle\phi\rangle \neq 0\;}\; H \subsetneq G, \quad \dim G - \dim H = \text{无质量 Goldstone 玻色子数}.

具体：Higgs 场 φ 的真空期望值 ⟨φ⟩ ≠ 0 把 SU(2) × U(1) 破缺为 U(1)_em（电磁），破缺方向上的规范玻色子吸收 Goldstone 玻色子获得质量（W、Z），剩下 U(1)_em 方向上的光子保持无质量。2012 年 LHC 发现 Higgs 玻色子，验证了这套对称破缺图像。

自发对称破缺也是凝聚态物理的统一语言：磁化（旋转对称破缺）、超导（U(1) 破缺）、晶格形成（连续平移破缺为离散平移）……每一种"相"对应一种破缺模式。

对称作为物理定律的语法

把上面所有线索拢起来，物理学对群论的依赖可以浓缩为一句话：

物理定律的形式 = 时空对称的不变量 + 内对称的局域化 + 自发破缺给出的相 + 拓扑数

具体：相对论 = Poincaré 不变（时空对称）；量子场论 = 规范对称（内对称局域化）；标准模型 = SU(3)×SU(2)×U(1) 的表示选择；超导/磁性 = 不同 G → H 的破缺图像；拓扑相变 = 同一对称群下的不同拓扑数。群是物理定律的语法——离开群论，整个 20 世纪物理学的形式无法书写。

从牛顿力学到爱因斯坦相对论是空间对称从 Galilei 到 Poincaré 的扩张；从 Maxwell 到 Yang-Mills 是规范对称从 U(1) 到非阿贝尔 SU(N) 的扩张；从标准模型到 Grand Unification（GUT）的尝试，是把 SU(3)×SU(2)×U(1) 嵌入更大单群（SU(5)、SO(10)、E₆）的探索。物理学的进步常常以"找到更大的对称群"为标志。

7.3 晶体的分类

三维空间中只有 230 种本质不同的晶体结构——这就是 230 个空间群。材料的物理性质由其对称群决定。这是 Erlangen 纲领在固体物理的直接落实：「晶体是什么 = 哪个空间群作用于 ℝ³」。

结语：从图形到方程到宇宙

群是数学中最优雅的抽象之一：它用四条公理捕获了「保持结构不变的可逆变换」这一最素朴的对称概念。从正方形的 8 种翻转，到伽罗瓦驯服多项式方程，到诺特定理把守恒律还原为对称，到标准模型把所有已知力编码为 SU(3)×SU(2)×U(1)——群论不是描述对称的工具，它就是对称在代数层面的本来面目。

三层递进式地总结这一章我们看到的事：

对称是什么
：保持结构不变的可逆变换。这是去掉所有具体载体后剩下的纯粹概念。
群是什么
：抽象的对称——把对称集合从图形/方程/物理脱出，研究其代数结构本身。Cayley 定理保证了反过来的对应：每个群都是某物的对称。
群论的力量
：分类。通过子群、商群、表示论，把复杂对称结构拆为不可约的"原子"——伽罗瓦用它判定方程可解性，物理学家用它分类基本粒子，材料学家用它分类晶体。

群论之所以能跨越纯数学（伽罗瓦）、几何（Erlangen）、物理（诺特、规范理论）、化学（晶体学）、密码学，不是因为这些领域恰好都用到群，而是因为它们都在研究"什么变了什么没变"——而这就是群所定义的事。当 19 世纪的数学家把"对称"从图形剥离出来，凝结为四条公理时，他们其实是把世界的不变性原理本身写成了一种代数。

这或许就是 Hermann Weyl 那句名言的含义："对称性，无论多么宽泛或狭义，都是人借以试图理解和创造秩序、美与完美的一种思想。"——而群，是这种思想的精确语法。