群论与对称

关键词#

群论; 对称性; 伽罗瓦; 群作用; 表示论; 李群; 物理学; 晶体学

第1页 · 对称性的数学语言#

标题：群论是描述对称性的数学语言

什么是对称？直觉上，对称意味着某种"不变性"——一个对象在某种变换下保持不变。正方形在旋转90°后看起来一样——这就是旋转对称性。圆在任意角度旋转后都保持不变——它有无穷多的对称性。群论是描述对称性的精确数学语言。一个对象的对称群是所有保持该对象不变的变换的集合。正方形的对称群是二面体群 $D_4$——包含4个旋转和4个反射，共8个元素。正三角形的对称群是 $D_3$，有6个元素。球面的对称群是正交群 $O(3)$——包含所有保持球心不动的旋转和反射。

群论的核心洞察是：对称性不是装饰性的——它是对象的内在结构。对称群的结构揭示了对象的基本性质。这一洞察将群论从方程论的工具提升为描述自然界基本规律的语言。

对称要能用群来写，变换必须能复合、有恒等操作，并且每个变换都能逆回去。正方形转九十度四次回到原位，反射做两次也回到原位；这些不是装饰，而是乘法表里的关系。群论问的不是图案漂不漂亮，而是这些操作组成怎样的结构。

离散对称可以逐个列举，圆周那种连续转动则需要后来的李群语言。物理里真正对应守恒量的，往往是可以“转一点点”的连续这一边。把两种对称混成一句“世界很对称”，后面的诺特对应就会说不清前提。

第2页 · 从伽罗瓦到抽象群论#

标题：方程的可解性——群论的诞生

群论起源于19世纪初对方程可解性的研究。拉格朗日在1770年分析了三次和四次方程的求根公式，发现其关键在于根的置换。阿贝尔在1824年证明了一般五次方程不能用根式求解。伽罗瓦（Évariste Galois）在1830年代将这些结果发展为完整的理论。他的核心洞察是：方程的可解性取决于其伽罗瓦群的结构。一般五次方程的伽罗瓦群是 $S_5$（五次对称群），而 $S_5$ 不是可解群——因此一般五次方程不能用根式求解。

凯莱（Arthur Cayley）在1854年给出了抽象群的定义——将群从具体的置换群推广为满足公理的任意代数结构。这一抽象化使得群论的方法可以应用于数学和物理的各个分支。

伽罗瓦把“这个方程能不能用根式解”翻译成“它的对称群能不能一层一层剥开”。所谓可解群，意思是对称可以分成一串步骤，每一步的商群都可交换；而开方扩张恰好制造这种可交换的一层。一般五次方程的伽罗瓦群是五次对称群，它含有一块无法这样分层的结构，所以通解公式不存在。这不是公式太长还没人写出来，而是伽罗瓦理论所记录的结构禁令。

阿贝尔给出的是针对一般五次的否定性定理；伽罗瓦给出的是对任意方程的判别语言。前者结束了一条寻找通解的路，后者把方程论接进群论。伽罗瓦关于根式可解条件的手稿，后来由刘维尔在1846年刊出，群作为研究对象才进入可以引用的文献，而不是只存在于传说中的决斗故事。

凯莱把群从“某组根的置换”写成一张满足运算规则的乘法表。群从此可以脱离方程而独立存在：置换是例子，不是唯一定义。晶体、粒子、编码各自带来不同的变换，用的却是同一套语言。

伽罗瓦的判别只对“根式可解”负责，不对“能不能数值求解”负责。五次方程没有通解公式，但仍可用其他超越手段写根，也可以把根算到所需精度。群论禁止的是某一种书写格式，不是根的存在。把“不可解”听成“没有根”，是把伽罗瓦理论误译成了代数学基本定理的反面。

第3页 · 群论在物理学中的应用#

标题：对称性支配自然——群论与物理学的深刻联系

群论在物理学中的应用是20世纪科学最重要的发展之一。诺特定理（Emmy Noether，1915）证明了：每一个连续对称性都对应一个守恒量。空间平移对称性对应动量守恒，时间平移对称性对应能量守恒，旋转对称性对应角动量守恒。在粒子物理中，基本粒子的分类基于李群的表示论。夸克属于 SU(3) 的基本表示——这就是"夸克"名字的来源（"八重道"）。电弱统一理论基于 SU(2)×U(1) 群，强相互作用基于 SU(3) 群。标准模型的规范群是 SU(3)×SU(2)×U(1)。

在晶体学中，晶体的对称性用空间群描述——共有230种空间群。这一分类在1891年由费多罗夫（Fyodorov）独立完成——它是群论在固体物理中的基础应用。在量子力学中，物理系统的对称性由酉群描述。粒子的自旋是 SU(2) 群的表示——自旋1/2的粒子（如电子）在旋转360°后变号，需要旋转720°才回到原始状态。

诺特定理说的是连续对称与守恒量的对应，不是“看起来对称所以一切守恒”。时间平移给出能量守恒，前提是定律本身不随时间改写；若外部驱动让定律显含时间，能量就不必守恒。群论在这里提供对应关系，而不是一条可以脱离前提的口号。

表示论要回答的是：抽象群怎样作用在具体的态空间上。同一个 SU(3)，可以有不同维数的表示，粒子被放进哪一张多重态表，取决于它属于哪个表示，而不是取决于名字叫不叫夸克。标准模型把三种非引力相互作用写成规范群，分类与相互作用的形式都被这组群卡住；引力仍在这套规范叙述之外。

晶体学的空间群说明：一旦周期性与点对称被当成条件，可能的格子种类就是有限的。后来准晶体出现，并不是推翻群论，而是说明“必须周期重复”这条前提可以放弃。电子自旋转动一周后变号，要再转一周才回到原态，记录的是表示的拓扑事实，不是修辞。

第4页 · 李群与连续对称性#

标题：李群——连续对称性的数学语言

李群（Lie Group）是具有光滑流形结构的群——它将群论的离散对称性推广为连续对称性。旋转群 SO(3)、酉群 U(n)、特殊线性群 SL(n) 都是李群。

李群的"无穷小版本"是李代数——一个具有反对称双线性运算（李括号）的向量空间。李代数完全决定了连通李群的局部结构——这使得李群的研究可以转化为线性代数的问题。李群和李代数在理论物理学中无处不在。规范场论的基本框架是纤维丛上的联络——而纤维丛的结构群就是李群。杨-米尔斯理论中的规范群是紧李群——标准模型的 SU(3)×SU(2)×U(1) 就是一个具体的例子。

李群把“可以连续转动一点点”写成带光滑结构的群。李代数是无穷小转动的线性影子：局部结构被括号运算抓住，许多计算于是退回线性代数。连通李群在单位元附近的行为由李代数决定，这不是把全部全局拓扑都交给矩阵，而是说局部问题可以线性化。

规范场论把相互作用写成对结构群的局域对称。杨–米尔斯理论的框架是：让这个李群在时空每一点独立地作用，再引入规范势来比较相邻点。没有李群，连续对称就只剩口号，算不出守恒流，也排不出粒子的多重态。

第5页 · 朗兰兹纲领#

标题：数学的大统一——朗兰兹纲领

朗兰兹纲领（Langlands Program）是当代数学中最宏大的研究计划——它试图将数论、代数几何和表示论统一在一个框架下。朗兰兹纲领的核心思想是：数论中的伽罗瓦表示与自守形式（李群的表示论对象）之间存在深刻的对应关系。谷山-志村猜想——每条有理数域上的椭圆曲线都是模的——是朗兰兹纲领的一个特殊情况。怀尔斯在1995年证明了这一猜想的半稳定情况——从而证明了费马大定理。

朗兰兹纲领仍在发展中——它的完全实现将彻底改变我们对数论和表示论的理解。正如数学家爱德华·弗伦克尔（Edward Frenkel）所说："朗兰兹纲领是数学的罗塞塔石碑——它将不同数学分支的语言联系在一起。"

朗兰兹纲领是一组对应关系的研究计划，不是已经完成的统一定理。它主张：数论里的伽罗瓦表示，应当与分析里的自守形式成对出现。谷山–志村把椭圆曲线与模形式对应起来，是这张大表上的一行；证明费马大定理用到的，是这一行里半稳定那一块，而不是整张表。

把朗兰兹说成“已经统一了数学”，是把纲领当成了定理。弗伦克尔的罗塞塔石碑比喻说的是翻译关系，不是宣称所有分支已经合并成一门课。尚未对应起来的行，仍是开放问题。

事实卡#

1. 卡1

   伽罗瓦在20岁时死于决斗，留下了改变代数学面貌的手稿——群论的诞生。

2. 卡2

   诺特定理（1915）证明了每一个连续对称性对应一个守恒量——理论物理学最深刻的结果之一。

3. 卡3

   标准模型的规范群 SU(3)×SU(2)×U(1) 描述了除引力外的三种基本力——群论在物理学中的核心应用。

4. 卡4

   朗兰兹纲领试图统一数论、代数几何和表示论——被称为"数学的大统一理论"。

引用#

跨域连接#

• 群：对称群把"这个东西哪里没变"变成一个可以运算的对象，于是问题从描述转为计算。推论是：只要能算出对称群，很多"能不能做到"的问题就自动变成群的性质问题，与具体手法无关。
• 晶体的对称禁戒：周期性平移与五重转动不相容，能同时铺满平面又保持五重对称的重复图案不存在。推论是：衍射图上一旦出现清晰的五重对称斑点，就说明样品不是周期晶体，而是另一类有序结构——这条判据可以直接用衍射实验执行。
• 纹样的分类：平面上的重复图案，不管风格差异多大，按对称群只有十七类。推论是：不同文明的传统纹样可以用同一套标准归类，风格与对称类型是两件独立的事；"这个纹样属于哪一类"因此是可核对的判断，而非审美评价。
• 对称的知觉：对称是最强的知觉分组线索之一，镜像对称的图形在极短的呈现时间内就能被整体把握。推论是：这里存在一个可判决的预测——若检测靠逐点比对，耗时应随图形元素数目稳步上升；若靠整体加工，耗时就该对元素数目相当不敏感。
• 体制的对称：定向运动要求有明确的前后轴，于是两侧对称与神经系统的前端集中往往一起出现，而辐射对称多见于固着或漂浮的类群。推论是：对称类型与运动方式相关联，这是一条可以在众多类群之间做统计检验的预测。

用群论解决问题的四步#

群论的入口不是先背定义，而是先列出对象允许做哪些变换，并判断哪些性质在变换后保持不变。第二步是确认变换能否复合、是否有恒等变换、每个变换是否可逆；这一步决定所得结构是不是真正的群。第三步研究子群、陪集和商群，把一个庞大的变换集合拆成“内部不变”与“类别之间移动”两层。最后才选择表示：把抽象群变成矩阵或置换，使问题可以计算。

这个流程会给出一种很强的否定性结论。若目标状态与初始状态落在不同的不变量类别里，那么无论尝试多少操作都不可能到达；证明不可能往往比搜索具体步骤便宜得多。魔方、晶体对称、分子构型和方程根的置换看似无关，都可以用这种“允许操作—不变量—轨道”的结构处理。

也要避免把“看起来对称”与“拥有同一个群”混为一谈。两个图案可能视觉风格相近，却允许不同的反射或平移；两个物理系统也可能共享群，却因状态和动力学不同而表现迥异。群论压缩的是变换结构，不会替代对对象本身、尺度和演化规律的说明。

表示论的作用是把抽象乘法表变成矩阵，从而能分解不可约表示、计算特征标。物理里说“这个粒子属于哪个多重态”，意思就是它落在哪个不可约表示里。算不出表示，对称群就只是一张变换名单。

不可能性证明尤其依赖不变量。若两个构型的某个群论不变量不同，它们就不在同一轨道上，操作再多也到不了。这种否定和经济的搜索不同：它一次排除整类尝试，而不是试到累了为止。

抽象群的代价是遗忘对象。两个物理系统可以有同一个群，却处于完全不同的能量尺度；群论不会告诉你该用哪套动力学。因此最后一步必须回到对象：表示作用在什么空间上、哪些对称会被环境破坏。只停在乘法表，得到的是否定可能性，不是一条运动定律。

参考文献#

1. Galois, Évariste. "Mémoire sur les conditions de résolubilité des équations par radicaux." 1831.
2. Noether, Emmy. "Invariante Variationsprobleme." 1918.
3. Weyl, Hermann. Symmetry. Princeton University Press, 1952.
4. 丘维声. 《抽象代数讲义》. 高等教育出版社, 2005.
5. du Sautoy, Marcus. Symmetry: A Journey into the Patterns of Nature. HarperCollins, 2008.
6. Frenkel, Edward. Love and Math. Basic Books, 2013.
7. Cayley, Arthur. "On the theory of groups, as depending on the symbolic equation θⁿ = 1." Philosophical Magazine, 1854.
8. Wigner, Eugene. Group Theory and Its Application to the Quantum Mechanics of Atomic Spectra. Academic Press, 1959.
9. Artin, Emil. Galois Theory. University of Notre Dame Press, 1942.