跳转到内容
← 返回深度阅读
代数约 9 分钟阅读

群论与对称

代数群论对称性伽罗瓦物理学

关键词

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

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

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

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

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

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

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

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

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

第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°才回到原始状态。

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

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

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

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

第5页 · 朗兰兹纲领

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

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

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

事实卡

  • 卡1：伽罗瓦在20岁时死于决斗，留下了改变代数学面貌的手稿——群论的诞生。
  • 卡2：诺特定理（1915）证明了每一个连续对称性对应一个守恒量——理论物理学最深刻的结果之一。
  • 卡3：标准模型的规范群 SU(3)×SU(2)×U(1) 描述了除引力外的三种基本力——群论在物理学中的核心应用。
  • 卡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.