伽罗华的群论-到底说的啥-知乎1

数学史, 代数, 抽象代数, 群论, 多项式方程, 返朴

伽罗瓦理论是现代数学的主要发端之一。当天才少年用自创理论解决了代数方程的悬案，人们才逐渐意识到数学结构本身所隐含的对称性和抽象关系竟然具有如此强大的威力。通过后继者对高阶抽象和逻辑结构关系的不断探索，如今数学大厦不仅纵向高耸入云而且横向相互支撑顺畅贯通。本文将带读者领略那发生在190年前的灵光闪现……

撰文 | 张和持

偶尔，当我被袁隆平院士喂得太饱的时候，会无聊地去想：若现代的知识穿越回古代，那将造成多么可怕的影响。那有可能是助诸葛亮北伐成功的100名火箭飞行兵，也可能是令赵国取胜长平之战的空降方便面。但要是真能穿越的话，希望不会把数学家送过去—— 等着他们的，可能是尼尔斯·阿贝尔和埃瓦里斯特·伽罗瓦的命运——他们二人的工作过于超前，以至于他们英年早逝十多年，后人才从尘封的论文中发现那惊人的价值。

在那个年代，数学家的工作主要还是围绕数字的。即使使用变量的代数，也是为了得到具体的数值结果。可想而知，即便是高斯那样的数学泰斗，面对伽罗瓦的满篇抽象符号，也打回了他的论文。据说伽罗瓦死前遭人暗算，不得不参加一场必死的决斗。生命和学术生涯即将在含苞中零落，绝望中的他奋笔疾书，在最后的时刻整理了自己的手稿，像海贼王一样把宝物留给了新的时代。

今天的我们，处处享受着他们的成果。计算机离不开代数，物理化学也离不开群论。 或许在肃然起敬之余，你会望而却步。其实大可不必，今番我们便来还原一个简洁又优美的伽罗瓦理论 。

伽罗瓦和阿贝尔想解决的问题看起来很简单。小学我们学过一元一次方程 ax+b=0

直接移项就可以得到 x=-b/a

后来我们学了一元二次方程 凑平方法也可以容易地得到

继续，一元三次方程呢？是否也能这么容易解出来呢？

十六世纪的数学家尼科洛·塔尔塔利亚首先得到了通用的公式，我们就把它列出来看看有多复杂

对于方程 有三个根：

人类的智慧的确可怕。不久之后，四次方程的公式也被人们发现了。四次方程的解如此复杂，以至于一页纸都不一定能写的下，这不禁让人怀疑，数学是否成为了繁琐和不便的代名词。

这也鞭策着那些相信努力就会收获的数学家，找出五次方程的解而扬名立万。可是令人费解的是，无论做多么精巧的代换，无论尝试怎样复杂的分解，总有一些方程死活解不出来。到了拉格朗日这一代，大多数人已经确信，五次方程是无法以现有方法解出来的了。他们发现，五次方程与四次，三次，二次方程是如此的不同，以至于之前管用的方法全都失效了。不过直到阿贝尔和伽罗瓦为止，都没有人能为这种似是而非的论断给出清晰又严格的证明。

这就是我们的问题： 为什么有理系数的一元五次方程不能通过有限次的加、减、乘、除、开根号得到一般解？

为了搞清楚，为什么5以上的数字跟2，3，4 如此不同，我们先来看一看 1与 2，3，4 有何不同。对一元方程来说，要求解，只需要进行加减乘除运算即可， 而加减乘除，并不会让有理数变成无理数 。通常我们将有理数表示为 Q ，而有了对加减乘除封闭的性质，我们就可以把Q称为有理数域。域的定义你就可以直接理解为： 集合元素对加减乘除封闭。 大家熟知的实数，复数也都是域。

为什么我们要谈封闭性？很简单， 因为方程里面只含有加减乘除 ，要是不封闭了，那 ax 就不是有理数，那这样 c 也就不是有理数了。显然，这是矛盾的。

那2,3,4 呢？

比如说方程 很容易求出它的两个解是

这个解很显然不在 Q 之内，那我们现在要把 Q 扩大，使新的域正好包含上面的根，又不至于太大，以至于包含太多其他东西，即最小扩张。那么我们最终得到的就是这样一个集合：

这个域我们把它叫做 Q[ ] ，它是包含 在内的最小的域。你无聊可以验证一下，它对于加减乘除确实是封闭的。这里从Q到 Q[ ] 的过程，我们称之为 域扩张 。你可以把这里的域扩张理解为一个直角坐标，X 轴上仍然是有理数，单位是 1 ，而 Y 轴上就是 的倍数。这样平面上的每一点都可以代表 Q[ ] 中的一个数。这样扩张的维数就是平面相对于 X 轴的维数，记作

当我们谈到可以用根式解方程的时候，我们其实是在说：我们可以将类似于 , 这样整数的整次根，加入到 Q 中，以此作上述域扩张，使扩张后的域，包含方程的解。

那么到这里，问题就好理解了。从 1 到 2,3,4 的过程，其实用根式来扩张 Q 的过程。可以想见，要是 5 次以上的方程不能这样扩张，自然就不能用根式解了。

怎么才能证明扩张无法实现呢？目前我们还没有什么思路去直接证明，但阿贝尔和伽罗瓦迎难而上。他们不约而同地注意到，方程的根具有奇妙的 对称性 。一般来说，如果一个图形具有复杂的对称性，那图形本身也就较为复杂。这给了他们启示：根的对称性是否意味着域扩张的复杂性呢？果不其然，这种对称性揭示了 域扩张与群的子群之间优美的对偶 ，使得我们可以通过研究群的可解性来回答方程解的性质。

还是回到之前的方程

那么

从形式不变可以看出，σ(x) 仍然是方程的解。但是这个方程一共就那两个解，所以 σ 这个函数正好就是我们之前说的置换根的函数。在这个例子中，σ 只有两种可能——一是交换 ， ，即 ，另一种是恒同变化 e ，即把任何数映射到自身。这些 σ 有非常良好的性质

1. 无论它们怎么组合， σ 的复合仍然属于这个集合；
2. 不管施加怎样的变换，总有另一个变换可以让根回到初始状态；
3. 存在 e 这么一个无为而治的变换。

方程 的三个根分别是

显而易见，这里的域扩张是

它对应的伽罗瓦群是 ，也就是图中 3 个数的所有置换，应该有 3!=6 个元素，分别为 (123)(132)(213)(231)(312)(321) ，这个群相当于是三角形的所有对称操作，也就是说，将三角形翻转或旋转后，与原图形重合的所有操作。

下表（称为凯莱表）列出了 的乘法规律

图片受 Wikipedia 启发

另一种将群可视化的方法是凯莱图

图片受 wikimedia 启发

G = S3, H = ⟨r⟩

我们圈出 H 的所有陪集，这里只有 和 H 自己

圈出陪集

这样，每一个陪集都是商群的元素

陪集收缩得到商群

A5的凯莱图

即使我们不去严格分析，也能看出 没有正规子群：

例如，把红色线连接的小五边形看做子群（这是个5 阶循环群），如果它是正规的，那么从一个红色五边形出发的所有蓝色线段，都必须进入同一个陪集，也就是最邻近的另一个红色五边形。可惜这些蓝色线都进入了不同的红色五边形。

事实上，这种每个局部小多边形都尽量与其他小多边形连接的结构，会使整体结构非常稳定而坚固，对群除法这种结构拆解工作自然就不够友好。神奇的是，如果在上图中的每个圆圈处放一个碳原子，它们将组成稳定的足球形分子“巴基球”，这个名字来源于建筑学家巴克明斯特·富勒，此人建造了世界上最大的足球形建筑物。

富勒的作品

1999年，物理学家在奥地利的实验室中向双缝发射了“巴基球”的分子束，并观察到了干涉现象。这使得“巴基球”成为了人类实验能观测到双缝干涉的最大分子。

Buckminsterfullerene

再回到最初的问题。从以上的阐述，应该就能理解根式解不存在的原因了：根式的域扩张是有局限的。 也就是说五次以上的方程其实并不是“无解”，只是根式扩张无法做到。 那么是不是就应该有别的方法来进行域扩张呢？答案是肯定的。参见“雅可比 函数”。

注释

[1] Galois theory for non-mathematicians
[2] Emil Artin, Galois Theory

竹芒: 我明明没走神，为啥到后面就看不懂了呢 (110 赞)

拼音佳佳 -> 竹芒: 如来佛的五指山,猴子再怎么筋斗云,就是出不去. (6 赞)

笨狗熊 -> 竹芒: 每个字都认识，就是连起来不知道在说啥 (2 赞)

nclg李煌已辞职 -> 竹芒: 看不懂就正常了，他们要的就是这种效果 (1 赞)

Berry Geek -> 竹芒: 是他没讲好，中间跳过太多东西。但就是因为要讲的太多，所以跳过去了。B站上有完整的课程视频，一门课几十个小时呢 (51 赞)

Berry Geek -> Berry Geek: 比如 BV1sp4y197cj (2 赞)

朝不及夕 -> 竹芒: 当年数学家刘维尔花了几个月才看明白。看不懂很正常。 (1 赞)

停车枫林挽 -> 竹芒: 我还以为是我晚上看犯困了，前面明明写的还挺通俗的，后半段突然一下子变天书😂 (4 赞)

huangwux -> 竹芒: 抽代教材里这部分内容要写上百页 (2 赞)

思无涯: 高斯都看不懂，看来我看不懂也不丢人嘛 (59 赞)

蔚蓝吃鸡王 -> 思无涯: 数学诚可贵。爱情价更高。若为基情故。两者皆可抛 (1 赞)

甚何子 -> 思无涯: 这波我和数学王子五五开 (16 赞)

满足规范的名字 -> 思无涯: 你这话说的太及时了 (6 赞)

思无涯 -> 满足规范的名字: 😳

太平洋东海岸的风 -> 思无涯: 五五开虽迟但到😲

醉梦: 每一个显而易见，由此可证，我都看不懂[好奇] (41 赞)

散场的电影:

数学真是有一种永恒之美。
1千年前的数学家和当代数学家可以愉快的一起喝一杯！ (30 赞)

蔚蓝吃鸡王: 麻省小黄书上面的开闭困惑总算解开了😱 (26 赞)

知乎用户: 从某一行开始，突然就发现每个字每个符号似乎都认识，但是完全看不懂在讲什么了😱…… (22 赞)

汲吟秉: 好难啊，，看不懂。 (17 赞)

差不多得了: 月薪2000的我看得津津有味 (15 赞)

停车枫林挽 -> 差不多得了: 蚌埠竹了😂

知乎用户: 凯莱图后面就看不懂了（ (10 赞)

peter -> Parametaneuron: 有人能解释吗

蓝之夏 -> peter: 大概涉及伽罗瓦理论的有限正规扩域中的一些isomorphic 和那个域自身的automorphism构成的群的子群具有对应性质。 (2 赞)

茅草 -> Parametaneuron: 凯莱恩图后面看不懂，可能是因为后面引用的那个图有错

from: https://api.zhihu.com/appview/api/v4/answers/1444625573