伽罗瓦理论之美（一） (6-1)

伽罗瓦（Évariste Galois，1811～1832），一个21岁就去世了的年轻人，开创了现代代数学的先河。他创建的群论、域论，优美奥妙，已经成为现代代数学的基本工具。我花了两个月的时间研读伽罗瓦理论，随着理解的深入，我内心不断感受到震撼，心底油然而生对伽罗瓦的钦佩与崇拜。这种感觉就像终于看懂了世界上最美妙的画作、听懂了世界上最优雅的旋律一样，不由自主的希望与别人共享。遗憾的是，数学之美只能是那些真正研读并理解了它的人们才能感受得到。伽罗瓦理论虽然优美，但是却足够深奥，除了数学专业人士和肯于钻研的数学爱好者之外，尚不能被普通大众所理解。

可是我不甘心，我期望着尽自己的努力，用最简明通俗的语言，尽量不涉及复杂的数学公式和逻辑推导，而把伽罗瓦理论的优美展现在大众面前。伽罗瓦是一个200年前有故事的年轻人，伽罗瓦理论是一座险峻的高峰。让我们一边阅读伽罗瓦的人生故事，一边尝试着攀登这座高峰吧。

首先，我们来引用伽罗瓦的一段话“Jump above calculations, group the operations, classify them according to their complexities rather than their appearance; this, I believe, is the mission of future mathematicians; this is the road I'm embarking in this work.”（跳出计算，群化运算，按照它们的复杂度而不是表象来分类；我相信，这是未来数学的任务；这也正是我的工作所揭示出来的道路。）

当21岁的伽罗瓦在临死前一天晚上把他主要的研究成果以极其精简、跳跃的思维写在草稿纸上的时候，没有人知道当代最伟大的数学工具和数学研究方向已经在伽罗瓦的头脑中存在了1年多的时间了。甚至是在伽罗瓦第二天参与一个愚蠢的决斗而死后的14年内，都没有人彻底弄明白伽罗瓦写的到底是什么，他头脑中那伟大而天才的数学结构是怎样的？看看这些霸气的名字吧，高斯、柯西、傅立叶、拉格朗日、雅可比、泊松、……，这些在那个时代、同时也是人类历史上的伟大的数学家、物理学家都没有理解伽罗瓦的理论，从这个意义上讲，伽罗瓦恐怕是人类历史上最具天才的数学家了。

让我们先来看一些对比：

（1）1824年，挪威数学家阿贝尔发表了《一元五次方程没有一般代数解》的论文，用了50多页的篇幅和大量的计算，论证了对于一般的一元五次方程是不可能根式求解的。当时阿贝尔的证明今天看来，充满着智慧和复杂的计算，但是仍不够严谨。当我们今天使用伽罗瓦理论来论证这一点的时候，论证过程为“一般一元五次方程的伽罗瓦群同构于全置换群S5，而S5不是可解群，因此一般一元五次方程不可根式求解。”

（2）1801年，年轻的24岁“数学王子”高斯通过复杂的计算推导，证明了x^p-1=0（p为素数）是可根式求解的，证明过程使用了大量计算技巧，充分展示了高斯的数学计算天赋。今天我们使用伽罗瓦理论来论证这一点的时候，论证过程为“方程x^p-1=0（p为素数）在有理数域Q上的伽罗瓦群同构于素数阶模p同余类乘群Zp，而Zp是循环群，必为可解群，因此方程x^p-1=0可根式求解。”甚至我们可以类似的论证p不为素数时的方程x^n-1=0在Q上的伽罗瓦群同构于模n同余类乘群Z’n，为可换群（阿贝尔群），必为可解群，因此方程x^n-1=0可根式求解。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。