数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 2055|回复: 2

伽罗瓦理论究竟想干什么?

[复制链接]
发表于 2020-8-31 17:42 | 显示全部楼层 |阅读模式
伽罗瓦理论究竟想干什么?

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

撰文 | 张和持

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


Evariste Galois

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


Niels Henrik Abel

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





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

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



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

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






图片来自WolframAlpha

下表(称为凯莱表)列出了 S3  的乘法规律


图片受Wikipedia 启发

其中 r 代表旋转 120° ,f  代表翻转。注意,rf  和 fr 是不同的,可以通过画图来检验。这代表 S3 是不可交换的(非阿贝尔群)。

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


图片受wikimedia 启发




图片来自Keith Conrad




图片来自Keith Conrad




G = S3, H = ⟨r⟩

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


圈出陪集

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


陪集收缩得到商群

这里我们没有严格数学语言的表述,也不想去抠证明的细节。但到此为止,证明的思路已经非常清晰了。




A5的凯莱图



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


富勒的作品

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


Buckminsterfullerene

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

注释

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

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
发表于 2020-9-1 09:09 | 显示全部楼层
陆教授,你有《Galois theory for non-mathematicians》的电子书吗?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-9-2 13:25 | 显示全部楼层
Future_maths 发表于 2020-9-1 09:09
陆教授,你有《Galois theory for non-mathematicians》的电子书吗?

没有。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-28 23:41 , Processed in 0.082031 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表