跳转到内容
← 返回概念
代数约 23 分钟阅读

群

Group

关键人物

galoiscayleynoethersylow
代数群论对称性抽象代数

一个直觉：群就是"对称性的集合"

先抛开公理。想象手里有一个正三角形，把它放在桌上的某个轮廓里。你能做哪些动作，让它"动了之后看起来跟没动一样"？把它绕中心转 $120°$、转 $240°$，或者沿三条对称轴翻转——一共 6 种。这 6 个动作的全体，就是正三角形的对称群。群论的核心洞察是：这些动作可以复合（先做一个再做另一个，结果还是其中一个动作），每个动作都能撤销（转 $120°$ 可以转回去），而"什么都不做"也算一个动作。一个"可以复合、可以撤销、含有不动"的动作集合，就是一个群。

所以群不是一堆数，而是一堆变换。理解了这点，下面的公理就只是把"复合、撤销、不动"翻译成了精确的语言。

定义

群（Group）是代数学中最基本的代数结构，刻画了对称性的数学本质。

定义：集合 $G$ 与二元运算 ⋅\cdot 构成群 (G,⋅)(G, \cdot)，当且仅当满足四条公理： 1. 封闭性：∀a,b∈G\forall a, b \in G，a⋅b∈Ga \cdot b \in G（两个动作复合还是动作） 2. 结合律：∀a,b,c∈G\forall a, b, c \in G，(a⋅b)⋅c=a⋅(b⋅c)(a \cdot b) \cdot c = a \cdot (b \cdot c)（连做三个动作，先合并哪两个都一样） 3. 单位元：∃e∈G\exists e \in G，∀a∈G\forall a \in G，e⋅a=a⋅e=ae \cdot a = a \cdot e = a（"什么都不做"） 4. 逆元：∀a∈G\forall a \in G，∃a−1∈G\exists a^{-1} \in G，a⋅a−1=a−1⋅a=ea \cdot a^{-1} = a^{-1} \cdot a = e（每个动作都能撤销）

若还满足交换律 a⋅b=b⋅aa \cdot b = b \cdot a，则称为阿贝尔群（交换群，以挪威数学家 abel 命名）。注意公理里没有交换律——这不是疏忽。现实中很多对称就是不交换的：先转身再前进，和先前进再转身，到的地方不一样。群的核心思想是对称性。例如，正三角形的所有旋转和反射构成一个6阶群（二面体群 D3D_3），正方形的对称群是8阶的 D4D_4。

历史演变

群论起源于19世纪初方程论的研究。拉格朗日（Joseph-Louis Lagrange）在1770年研究了多项式方程根的置换，发现方程的可解性与根的置换群的结构有关。埃瓦里斯特·伽罗瓦（Évariste Galois）在1830年代将这一思想发展为完整的理论。他证明了一般五次方程不能用根式求解——关键在于一般五次方程的伽罗瓦群是 S5S_5，而 S5S_5 不是可解群。伽罗瓦的理论将方程的可解性问题转化为群的结构性质——这是数学史上最深刻的洞察之一。

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

19世纪末，李（Sophus Lie）将群论与微分方程结合，创立了李群理论——连续对称群的数学理论。基灵（Wilhelm Killing）和嘉当（Élie Cartan）分类了所有单李群——这一分类是粒子物理学标准模型的数学基础。20世纪中叶，有限单群的分类成为群论最宏伟的工程——数百位数学家花费数十年，最终在2004年完成了约10000页的分类定理证明。

关键人物

伽罗瓦（1811—1832）是群论的真正创始人。他在20岁时死于一场决斗，留下了约60页的数学手稿。这些手稿中包含了方程的伽罗瓦理论——将代数方程的可解性问题转化为群论问题。伽罗瓦的故事是数学史上最悲壮的传奇之一——决斗前夜，他在信中写道："我没有时间了。"

艾米·诺特（Emmy Noether，1882—1935）是抽象代数的奠基人之一。她将群论和环论的方法系统化，发展了诺特环理论。她的"诺特定理"——连续对称性对应守恒量——是理论物理学最深刻的结果之一。诺特是20世纪最重要的女性数学家——她在哥廷根大学的讲座吸引了来自世界各地的学生。

西洛（Ludwig Sylow，1832—1918）证明了有限群论中最重要的存在性定理之一——西洛定理：若 pkp^k 整除群的阶，则群含有 pkp^k 阶子群。西洛定理是有限群分类的基础工具——它保证了素数幂阶子群的存在性。

伯恩赛德（William Burnside，1852—1927）是英国数学家，有限群论的先驱。他提出的伯恩赛德问题——有限生成的周期群是否一定是有限群？——困扰了数学家近一个世纪。他还发展了群的表示论——将群论与线性代数联系起来。

数学意义

群论在数学中的核心地位：

  1. 拉格朗日定理：子群的阶整除群的阶
  2. 西洛定理：有限群中素数幂阶子群的存在性
  3. 同态基本定理：G/ker⁡f≅ImfG/\ker f \cong \text{Im} f
  4. 群作用：群在集合上的作用——将群论与组合学、几何学联系起来
  5. 表示论：群在向量空间上的表示——连接群论与 linear-algebra 线性代数

一个能看懂的证明：拉格朗日定理为什么成立

拉格朗日定理说"子群 $H$ 的阶必定整除整群 $G$ 的阶"。这听起来像是巧合，其实背后有一个极其干净的图像，值得完整看一遍——它示范了群论最典型的论证方式。设 $H$ 是有限群 $G$ 的子群。对每个 g∈Gg \in G，定义它的左陪集 gH={gh:h∈H}gH = \{gh : h \in H\}。关键有两步：

第一步，每个陪集都和 $H$ 一样大。因为映射 h↦ghh \mapsto gh 是可逆的（用 g−1g^{-1} 左乘就能还原），它把 $H$ 一一对应到 $gH$，所以 $|gH| = |H|$。

第二步，不同陪集要么完全相同，要么完全不相交。假设两个陪集有公共元素，可以推出其中一个的每个元素都在另一个里，于是它们相等；没有公共元素就不相交。换句话说，这些陪集把整个 $G$ 不重不漏地切成了若干块。

把两步合起来：$G$ 被切成了若干块大小都等于 $|H|$ 的陪集。设块数为 $k$（称为指数 $[G:H]$），那么

∣G∣=k⋅∣H∣.|G| = k \cdot |H|.

于是 $|H|$ 整除 $|G|$，证毕。整个证明没有用到任何计算，只用了"等价关系把集合分成等大的块"这一几何直觉。这正是群论的风格：用结构而非蛮力。

一个立刻的推论：如果 $|G| = p$ 是素数，那么 $H$ 的阶只能是 $1$ 或 $p$——所以素数阶群没有非平凡子群，必定是循环群。许多关于群的结论都从这个简单的整除关系流出。

历史注记：拉格朗日在 1770 年的《方程代数解法之反思》中最早触及这一思想，但他研究的是置换多项式在变量置换下取多少个不同的值，结论形式是"子群的阶整除 $n!$"。把它提升到抽象群的现代陈述，是 galois 之后柯西和若尔当的工作。

核心概念辨析

  • 群 vs 幺半群：幺半群有单位元但不一定有逆元。自然数集 N\mathbb{N} 配加法构成幺半群（单位元是0），但不是群（负数不在 N\mathbb{N} 中）。整数集 Z\mathbb{Z} 配加法构成群（每个整数有加法逆元）。
  • 子群 vs 正规子群：正规子群的左陪集等于右陪集（$gN = Ng$），可以构造商群 $G/N$。不是所有子群都是正规的——例如 S3S_3 中的2阶子群不是正规子群。阿贝尔群的所有子群都是正规的。
  • 循环群 vs 对称群：循环群由一个元素生成（如 Z/nZ\mathbb{Z}/n\mathbb{Z}），结构简单。对称群 SnS_n 是所有 $n$ 元置换的群，结构复杂。S5S_5 不是可解群——这是一般五次方程没有根式解的根本原因。
  • 有限群 vs 李群：李群是具有光滑流形结构的群——如 $SO(3)$（三维旋转群）、$SU(2)$（量子力学中的自旋群）。有限群的分类（有限单群分类定理）和李群的分类（基灵分类）是群论的两大宏伟成就。

当代应用

群论是现代物理学和化学的基础语言。

粒子物理学。基本粒子的分类基于李群的表示论——夸克属于 $SU(3)$ 的3维表示，轻子属于 $SU(2)$ 的2维表示。杨-米尔斯理论用规范群描述基本相互作用。希格斯机制通过自发对称性破缺赋予粒子质量——"对称性从高群坍缩到低群"。

化学。分子的对称性用点群描述——水分子属于 C2vC_{2v} 点群，甲烷属于 TdT_d 点群。晶体的对称性用空间群描述——230个空间群分类了所有可能的晶体结构。光谱选择定则由群论推导——哪些量子跃迁是"允许的"，哪些是"禁戒的"。

密码学。椭圆曲线密码学（ECC）基于椭圆曲线群——离散对数问题在椭圆曲线群上是计算困难的。RSA密码系统基于整数模 $n$ 的乘法群的结构。量子计算机的Shor算法利用群的周期性来分解大整数——这将颠覆现有密码体系。

音乐与艺术。音阶和和弦的对称性可以用群论描述——十二音体系中的移调和倒影构成一个群。壁纸群（17种）分类了所有可能的平面重复图案。伊斯兰建筑中的几何图案展示了丰富的对称群结构。埃舍尔的作品探索了双曲镶嵌的对称群。

生物学。病毒壳体的对称性用群论描述——大多数病毒具有二十面体对称性（IhI_h 点群）。DNA的双螺旋结构具有螺旋对称性——一种特殊的连续群。蛋白质的四级结构（多亚基组装）的对称性影响其功能。

为什么这很重要

群论是描述对称性的数学语言——而对称性是自然界最基本的原理之一。从雪花的六角对称到基本粒子的规范对称，从晶体的周期排列到DNA的双螺旋，对称性无处不在。群论为所有这些对称性提供了统一的数学框架。

粒子物理学的标准模型。基本粒子的分类完全基于李群的表示论——夸克属于 $SU(3)$ 的3维表示，轻子属于 $SU(2)$ 的2维表示。杨-米尔斯理论用规范群描述基本相互作用。希格斯机制通过自发对称性破缺赋予粒子质量。没有群论，就没有粒子物理学。

密码学的安全性。椭圆曲线密码学（ECC）基于椭圆曲线上的群运算——离散对数问题在椭圆曲线群上是计算困难的。RSA密码系统基于整数模 $n$ 的乘法群的结构。量子计算机的Shor算法利用群的周期性来分解大整数——这将颠覆现有密码体系。

关键洞察

群论最深刻的洞见是：对称性可以用代数结构来精确描述，而代数结构的性质决定了物理定律的形式。 诺特定理——连续对称性对应守恒量——是物理学中最深刻的定理之一：时间平移对称性对应能量守恒，空间平移对称性对应动量守恒，旋转对称性对应角动量守恒。这意味着物理守恒律不是偶然的经验规律，而是对称性的必然结果。

跨域连接

  • 诺特定理：作用量若在一个连续群下保持不变，群的每一个独立生成元就对应一个沿运动守恒的量。守恒律的条数因此等于群的维数，是计数结果而不是经验清单。推论是：要预言一条新的守恒量，必须先指出它对应哪一个连续对称，否则这条守恒律无处安放。
  • 宇宙学原理：一旦假定空间在平移与转动这两族变换下都不变，度规的可能形式就被逼到只剩一个随时间变化的尺度因子和一个曲率常数。这是对称性直接锁死方程形式的典型案例。推论是：任何大尺度上的各向异性观测，都是对该群假设本身的否证。
  • 病毒衣壳的对称：病毒基因组太小，外壳只能由少数几种蛋白重复排布而成，于是所有亚基必须彼此等价。能把等价单元铺满一个闭合外壳的最大对称群是二十面体群，它的阶为六十。推论是：衣壳的蛋白亚基数应当是六十的整数倍，这是可以数出来的预言。
  • 对称约简：若一个搜索空间在某个群作用下整体不变，那么每条轨道里只需要检查一个代表元。推论是：加入对称破缺约束后，需要遍历的分支数大致按群的阶下降，对称越大加速越明显；反过来，看不出对称的编码方式会白白付出这份代价。
  • 对称博弈的均衡：如果一个博弈在玩家的置换下不变，把不动点论证限制在"所有人用同一策略"的子集上仍然成立，于是必定存在对称均衡。推论是：求解这类博弈只需在维数低得多的对称子空间里搜索，不必在完整策略空间里穷举。

具体例子与直觉

对称群 S3S_3 的完整分析。S3S_3 是最小的非阿贝尔群——包含6个元素：恒等 $e$、三个对换 $(12), (13), (23)$ 和两个三轮换 $(123), (132)$。S3S_3 有三个正规子群：{e}\{e\}、A3={e,(123),(132)}A_3 = \{e, (123), (132)\} 和 S3S_3 本身。商群 S3/A3≅Z/2ZS_3/A_3 \cong \mathbb{Z}/2\mathbb{Z}。S3S_3 的子群格展示了群论的基本结构：子群、正规子群、商群和群同态之间的关系。S3S_3 也是最小的可解非阿贝尔群——它有一个正规子群链 S3▹A3▹{e}S_3 \triangleright A_3 \triangleright \{e\}，使得每个商群都是阿贝尔群。

循环群的分类。循环群是最简单的群——由一个元素生成。有限循环群 Z/nZ\mathbb{Z}/n\mathbb{Z} 恰好有 ϕ(n)\phi(n) 个生成元（ϕ\phi 是欧拉函数）。Z/6Z\mathbb{Z}/6\mathbb{Z} 的生成元是1和5（因为 gcd⁡(1,6)=gcd⁡(5,6)=1\gcd(1,6) = \gcd(5,6) = 1）。循环群的子群都是循环群——Z/12Z\mathbb{Z}/12\mathbb{Z} 的子群有 {0}\{0\}、{0,6}\{0,6\}、{0,4,8}\{0,4,8\}、{0,3,6,9}\{0,3,6,9\}、{0,2,4,6,8,10}\{0,2,4,6,8,10\} 和 Z/12Z\mathbb{Z}/12\mathbb{Z}，分别对应12的因子 $1, 2, 3, 4, 6, 12$。

群作用与轨道-稳定化子定理。群作用是群论最强大的工具之一。当群 $G$ 作用在集合 $X$ 上时，$X$ 被划分为轨道——每个轨道是 $G$ 作用下相互可达的元素的集合。轨道-稳定化子定理说：∣G∣=∣Orb(x)∣⋅∣Stab(x)∣|G| = |\text{Orb}(x)| \cdot |\text{Stab}(x)|。伯恩赛德引理（轨道计数定理）用群作用计算不同着色方案的数目——例如，用3种颜色给正方形的4个顶点着色，在旋转下不同的着色方案有多少种？答案是 (34+31+32+31)/4=96/4=24(3^4 + 3^1 + 3^2 + 3^1)/4 = 96/4 = 24。

李群 $SO(3)$ 的几何意义。$SO(3)$ 是三维旋转群——所有保持原点不动、保持距离和方向的线性变换。$SO(3)$ 是一个3维紧李群——它的流形结构是实射影空间 RP3\mathbb{RP}^3。$SO(3)$ 的一个反直觉性质是：旋转不满足交换律——先绕 $x$ 轴转 $90°$ 再绕 $y$ 轴转 $90°$ 与反过来做结果不同。这个非交换性在物理学中有深刻含义：角动量的量子力学正是 $SO(3)$ 的表示论。

有限单群分类定理。有限单群是有限群的"基本构件"——任何有限群都可以通过逐次取正规子群来分解为单群（若尔当-赫尔德定理）。有限单群的分类是20世纪数学最宏伟的工程——数百位数学家花费数十年（约1955-2004），证明散布在500余篇论文、逾万页（多数估计在1万到1.5万页之间）。分类结果包括：素数阶循环群 Z/pZ\mathbb{Z}/p\mathbb{Z}、交错群 AnA_n（n≥5n \geq 5）、16族李型群和26个散在群。最大的散在群是魔群（Monster group），阶约为 8×10538 \times 10^{53}——它与模形式和弦理论有深刻联系（月光猜想，由博赫兹在1992年证明）。

群在组合学中的应用。Pólya计数定理用群作用来计算不同着色方案的数目——例如，用 $k$ 种颜色给正方体的6个面着色，在旋转下不同的着色方案有 (k6+3k4+12k3+8k2)/24(k^6 + 3k^4 + 12k^3 + 8k^2)/24 种。这个定理在化学中用于计算异构体的数目——分子的对称群决定了不同空间构型的数量。伯恩赛德引理是Pólya定理的特例——它用群作用的不动点数来计算轨道数。

表示论与傅里叶分析。群的表示论将抽象群的元素表示为矩阵——使得群运算转化为矩阵乘法。傅里叶分析是阿贝尔群表示论的特例——S1S^1（圆群）的不可约表示恰好是 einθe^{in\theta}（n∈Zn \in \mathbb{Z}）。非阿贝尔群的表示论更加丰富——$SU(2)$ 的不可约表示由角动量量子数 j=0,1/2,1,3/2,…j = 0, 1/2, 1, 3/2, \ldots 标记。物理学家用表示论来分类基本粒子——粒子的"量子数"（自旋、电荷、色荷）对应规范群表示的权重。

常见误区

  • "群必须是交换的"：阿贝尔群（交换群）只是群的特例。大多数群是非交换的——如矩阵乘法群、置换群。非交换性是群论丰富性的来源。
  • "群论只研究有限群"：李群（如旋转群 $SO(3)$）是连续的无穷群——在物理学中比有限群更重要。群论同时研究有限群和无穷群。
  • "对称群很简单"：对称群 SnS_n 的结构在 n≥5n \geq 5 时变得极其复杂——S5S_5 不是可解群，A5A_5 是最小的非阿贝尔单群。有限单群的分类是20世纪数学最宏伟的工程之一。

群上同调与障碍理论。群上同调 Hn(G,M)H^n(G, M) 衡量了群作用的"复杂性"——H1(G,M)H^1(G, M) 分类了交叉同态，H2(G,M)H^2(G, M) 分类了群扩张。在代数K理论中，K2K_2 群与施坦伯格群的中心扩张有关——这是群上同调的直接应用。在物理学中，反常（anomaly）是规范群的上同调类——如果反常非零，量子理论不一致。标准模型的反常消除条件对粒子的内容施加了严格的约束。

自动群与双曲群。自动群是一类可以用有限状态自动机来描述的群——字问题可以在多项式时间内解决。双曲群（Gromov，1987）是具有"负曲率"性质的群——它的凯莱图在大尺度上像双曲空间。双曲群的字问题是可解的，共轭问题也是可解的。瑟斯顿的双曲Dehn手术定理说：几乎所有三维流形都可以赋予双曲结构——这将三维拓扑与双曲群论联系起来。

群论在密码学中的应用。椭圆曲线密码学（ECC）基于椭圆曲线群 E(Fp)E(\mathbb{F}_p) 上的离散对数问题——给定 $P$ 和 $Q = nP$，求 $n$ 是计算困难的。后量子密码学中的同态加密方案（如BFV、CKKS）基于理想格上的群结构——允许在加密数据上直接进行加法和乘法运算。零知识证明（如zk-SNARKs）利用群的代数结构来证明知识而不泄露知识本身——在区块链中有核心应用。

历史注记

群论的历史是代数学从具体到抽象的典范。拉格朗日研究了方程根的置换——发现了群的雏形。伽罗瓦将方程可解性转化为群的结构性质——创立了群论。凯莱给出了抽象群的定义——将群从置换群推广为任意代数结构。李将群论与微分方程结合——创立了李群理论。有限单群的分类（2004年完成）是20世纪数学最宏伟的工程——数百位数学家花费数十年，产生了约10000页的证明。群论的发展展示了数学抽象的力量：伽罗瓦的天才洞察——方程的可解性取决于群的结构——不仅解决了一个具体的代数问题，还开创了一个全新的数学分支。今天，群论是物理学、化学、密码学和计算机科学的基础语言。

开放问题

群论中的核心开放问题包括：有限单群的分类定理的简化证明——目前的证明约10000页，是否有一个更短、更清晰的证明？另一个重要问题是：字问题（word problem）——给定有限生成群的一个元素，判断它是否等于单位元——在一般情况下是不可判定的（Novikov-Boone定理），但对某些特殊群类（如双曲群）是可解的。

Hanna Neumann猜想与群的几何群论。Hanna Neumann猜想（2011年由Friedman和Mineyev独立证明）说：两个自由群子群的交的"元数"（rank）满足特定不等式。几何群论将群视为几何对象——通过凯莱图来研究群的性质。双曲群、自动群和CAT(0)群是几何群论的核心研究对象。

概率群论与随机群。随机群在"密度"参数 $d < 1/2$ 时几乎必然具有双曲性质，在 $d > 1/2$ 时几乎必然坍缩为平凡群。这个相变现象与统计力学中的相变有深刻的类比。概率群论研究群的"典型"性质——随机选择的群通常具有什么结构？这个问题在理论计算机科学（随机算法）和密码学（随机群上的密码系统）中有应用。

参考文献

  1. Évariste Galois, "Mémoire sur les conditions de résolubilité des équations par radicaux" (1831).
  2. Arthur Cayley, "On the theory of groups" (1854).
  3. John S. Rose, A Course on Group Theory (1978).
  4. 丘维声, 《抽象代数讲义》, 高等教育出版社, 2005.
  5. Marcus du Sautoy, Symmetry: A Journey into the Patterns of Nature (2008).

群是带有结合律、单位元与逆元的代数结构，是对称性的数学刻画。晶体的对称群、方程根的置换群（伽罗瓦理论）、粒子物理的规范群都由群论描述；有限单群分类是 20 世纪数学的浩大工程。