伽羅瓦理論之美

伽羅瓦理論之美伽羅瓦(6varisteGalois,1811?1832),一個(gè)21歲就去世了的年輕人，開(kāi)創(chuàng)了現(xiàn)代代數(shù)學(xué)的先河。他創(chuàng)建的群論、域論，優(yōu)美奧妙，已經(jīng)成為現(xiàn)代代數(shù)學(xué)的基本工具。我花了兩個(gè)月的時(shí)間研讀伽羅瓦理論，隨著理解的深入，我內(nèi)心不斷感受到震撼，心底油然而生對(duì)伽羅瓦的欽佩與崇拜。這種感覺(jué)就像終于看懂了世界上最美妙的畫(huà)作、聽(tīng)懂了世界上最優(yōu)雅的旋律一樣，不由自主的希望與別人共享。遺憾的是，數(shù)學(xué)之美只能是那些真正研讀并理解了它的人們才能感受得到。伽羅瓦理論雖然優(yōu)美，但是卻足夠深?yuàn)W，除了數(shù)學(xué)專(zhuān)業(yè)人士和肯于鉆研的數(shù)學(xué)愛(ài)好者之外，尚不能被普通大眾所理解。可是我不甘心，我期望著盡自己的努力，用最簡(jiǎn)明通俗的語(yǔ)言，盡量不涉及復(fù)雜的數(shù)學(xué)公式和邏輯推導(dǎo)，而把伽羅瓦理論的優(yōu)美展現(xiàn)在大眾面前。伽羅瓦是一個(gè)200年前有故事的年輕人，伽羅瓦理論是一座險(xiǎn)峻的高峰。讓我們一邊閱讀伽羅瓦的人生故事，一邊嘗試著攀登這座高峰吧。首先，我們來(lái)引用伽羅瓦的一段話(huà)“Jumpabovecalculations,grouptheoperations,classifythemaccordingtotheircomplexitiesratherthantheirappearance;this,Ibelieve,isthemissionoffuturemathematicians;thisistheroadI'membarkinginthiswork."（跳出計(jì)算，群化運(yùn)算，按照它們的復(fù)雜度而不是表象來(lái)分類(lèi)；我相信，這是未來(lái)數(shù)學(xué)的任務(wù)；這也正是我的工作所揭示出來(lái)的道路。）當(dāng)21歲的伽羅瓦在臨死前一天晚上把他主要的研究成果以極其精簡(jiǎn)、跳躍的思維寫(xiě)在草稿紙上的時(shí)候，沒(méi)有人知道當(dāng)代最偉大的數(shù)學(xué)工具和數(shù)學(xué)研究方向已經(jīng)在伽羅瓦的頭腦中存在了1年多的時(shí)間了。甚至是在伽羅瓦第二天參與一個(gè)愚蠢的決斗而死后的14年內(nèi)，都沒(méi)有人徹底弄明白伽羅瓦寫(xiě)的到底是什么，他頭腦中那偉大而天才的數(shù)學(xué)結(jié)構(gòu)是怎樣的？看看這些霸氣的名字吧，高斯、柯西、傅立葉、拉格朗日、雅可比、泊松、……，這些在那個(gè)時(shí)代、同時(shí)也是人類(lèi)歷史上的偉大的數(shù)學(xué)家、物理學(xué)家都沒(méi)有理解伽羅瓦的理論，從這個(gè)意義上講，伽羅瓦恐怕是人類(lèi)歷史上最具天才的數(shù)學(xué)家了。讓我們先來(lái)看一些對(duì)比：（1）1824年，挪威數(shù)學(xué)家阿貝爾發(fā)表了《一元五次方程沒(méi)有一般代數(shù)解》的論文，用了50多頁(yè)的篇幅和大量的計(jì)算，論證了對(duì)于一般的一元五次方程是不可能根式求解的。當(dāng)時(shí)阿貝爾的證明今天看來(lái)，充滿(mǎn)著智慧和復(fù)雜的計(jì)算，但是仍不夠嚴(yán)謹(jǐn)。當(dāng)我們今天使用伽羅瓦理論來(lái)論證這一點(diǎn)的時(shí)候，論證過(guò)程為“一般一元五次方程的伽羅瓦群同構(gòu)于全置換群$5,而S5不是可解群，因此一般一元五次方程不可根式求解?！保?）1801年，年輕的24歲“數(shù)學(xué)王子”高斯通過(guò)復(fù)雜的計(jì)算推導(dǎo)，證明了xp-1=0（p為素?cái)?shù)）是可根式求解的，證明過(guò)程使用了大量計(jì)算技巧，充分展示了高斯的數(shù)學(xué)計(jì)算天賦。今天我們使用伽羅瓦理論來(lái)論證這一點(diǎn)的時(shí)候，論證過(guò)程為“方程xp-1=0（p為素?cái)?shù)）在有理數(shù)域Q上的伽羅瓦群同構(gòu)于素?cái)?shù)階模p同余類(lèi)乘群Zp,而Zp是循環(huán)群，必為可解群，因此方程xp-1=0可根式求解?！鄙踔廖覀兛梢灶?lèi)似的論證p不為素?cái)?shù)時(shí)的方程xn-1=0在Q上的伽羅瓦群同構(gòu)于模n同余類(lèi)乘群Z’n，為可換群（阿貝爾群），必為可解群，因此方程xn-1=0可根式求解。伽羅瓦理論還可以輕松的解決正n邊形的尺規(guī)作圖問(wèn)題，證明三等分角、倍立方、化圓為方（這個(gè)有賴(lài)于兀是超越數(shù)的證明）的尺規(guī)作圖不可能問(wèn)題。今天，伽羅瓦的理論已經(jīng)發(fā)展成叫做“近世代數(shù)”（又叫抽象代數(shù)）的一個(gè)專(zhuān)門(mén)數(shù)學(xué)分支，其應(yīng)用拓展到了拓?fù)?、微分幾何、混沌等前沿?cái)?shù)學(xué)研究領(lǐng)域以至于物理、化學(xué)等眾多科學(xué)領(lǐng)域，成為了現(xiàn)代科學(xué)研究的重要基礎(chǔ)工具。1994年英國(guó)數(shù)學(xué)家安德魯?懷爾斯（AndrewWiles）證明著名的“費(fèi)馬大定理”的時(shí)候，就主要應(yīng)用了伽羅瓦理論。當(dāng)看到一大批通過(guò)繁雜計(jì)算很難得到證明的問(wèn)題，能夠被使用精巧的數(shù)學(xué)結(jié)構(gòu)來(lái)簡(jiǎn)潔而精準(zhǔn)證明的時(shí)候，你也許開(kāi)始感受到伽羅瓦理論的優(yōu)美——但這僅僅是一個(gè)開(kāi)始。從這個(gè)“開(kāi)始”，我們會(huì)逐漸感受到伽羅瓦所說(shuō)的“Jumpabovecalculations,grouptheoperations.”的含義。那么伽羅瓦到底發(fā)明了什么數(shù)學(xué)結(jié)構(gòu)和工具，使得原來(lái)復(fù)雜的問(wèn)題變得清晰起來(lái)了呢？一、更高層次的抽象——群、環(huán)、域【伽羅瓦的故事】有人說(shuō)“數(shù)學(xué)也許只存在于數(shù)學(xué)家的頭腦之中”，至少數(shù)學(xué)是發(fā)端于數(shù)學(xué)家頭腦的。1823年，12歲的埃瓦里斯特?伽羅瓦進(jìn)入了他的第一所學(xué)?！宦芬?勒格蘭皇家中學(xué)，一所聲望很高但相當(dāng)專(zhuān)制的學(xué)校，但是直到16歲，伽羅瓦才被準(zhǔn)許讀他的第一門(mén)數(shù)學(xué)課程。雖然12?16歲期間的伽羅瓦沒(méi)有機(jī)會(huì)研究數(shù)學(xué)，但是這時(shí)期法國(guó)社會(huì)上和學(xué)校中發(fā)生的一些事件點(diǎn)燃了他的共和主義傾向，奠定了他日后參與政治的悲劇人生的基礎(chǔ)。原本成績(jī)優(yōu)秀的伽羅瓦一旦開(kāi)始學(xué)數(shù)學(xué)，就像變了一個(gè)人，變得對(duì)其它課程都不重視，而只醉心于數(shù)學(xué)這一門(mén)課程。學(xué)校給他的評(píng)語(yǔ)是“該生只宜在數(shù)學(xué)的最高領(lǐng)域中工作，這個(gè)孩子完全陷入了對(duì)數(shù)學(xué)的狂熱之中?！睕](méi)有人知道16?18歲中學(xué)時(shí)期的伽羅瓦頭腦中在想些什么，人們只能從表面上看到他所掌握的數(shù)學(xué)知識(shí)足以通過(guò)中學(xué)的考試要求，但是他對(duì)問(wèn)題的解答往往讓考官理解不了。更糟糕的是，他經(jīng)常把大量的演算放在頭腦中進(jìn)行，使得平庸的考官們更為茫然和沮喪?，F(xiàn)有的材料表明，17歲的伽羅瓦已經(jīng)開(kāi)始研究一般的一元五次方程求解的問(wèn)題了，他曾提交了2篇論文給法國(guó)科學(xué)院，當(dāng)時(shí)的評(píng)審專(zhuān)家是著名數(shù)學(xué)家柯西?？挛黠@然被伽羅瓦的論文所震驚，他建議伽羅瓦重新以專(zhuān)題的形式提交這兩篇論文，并參加數(shù)學(xué)大獎(jiǎng)的評(píng)審。這期間正趕上伽羅瓦的父親因政治原因而自殺，伽羅瓦在參加完父親的葬禮后，把改好的專(zhuān)題論文提交給了法國(guó)科學(xué)院秘書(shū)、著名數(shù)學(xué)家傅立葉?？上У氖?，傅立葉在評(píng)審前幾個(gè)星期就去世了，在這個(gè)過(guò)程中伽羅瓦的論文也丟失了，從而失去了參加評(píng)獎(jiǎng)的機(jī)會(huì)。天知道為什么這兩篇很可能是那個(gè)時(shí)代最偉大的論文被丟失了？難道上帝都在嫉妒伽羅瓦么？【伽羅瓦理論】在我們已經(jīng)全面了解并極大發(fā)展了伽羅瓦理論的今天，回想1828年伽羅瓦提交的那兩篇論文，我們有理由猜測(cè)，伽羅瓦是站在更高的層次上來(lái)看待數(shù)和運(yùn)算的。在伽羅瓦看來(lái)，“數(shù)和運(yùn)算”組合在一起可以構(gòu)成一種數(shù)學(xué)結(jié)構(gòu)，這是一種更加本質(zhì)、更加抽象的數(shù)學(xué)結(jié)構(gòu)，當(dāng)繼續(xù)把這種結(jié)構(gòu)脫離“數(shù)字和常規(guī)意義上的運(yùn)算”而抽象出來(lái)的時(shí)候，就形成了新的數(shù)學(xué)概念——群。（1）群：給一個(gè)集合中的元素定義一種運(yùn)算“乘法”（這個(gè)“乘法”不是數(shù)字運(yùn)算的乘法，而只是借用了這個(gè)名字，因此加上了引號(hào)），如果這個(gè)集合中的元素和這個(gè)“乘法”滿(mǎn)足：封閉性：集合中任兩個(gè)元素相“乘”的結(jié)果在這個(gè)集合之內(nèi)；結(jié)合律：這個(gè)“乘法”滿(mǎn)足（2%）%=a*（吩。）；單位元：集合中存在某個(gè)元素e,對(duì)于任意集合中的其它元素a有e*a=a*e=a，e被稱(chēng)為單位元；逆元：對(duì)于集合中任意元素a，一定存在集合中的另外一個(gè)元素2-1，使得a*a-1=a-1*a=e，a與a-1互為逆元。此時(shí)，這個(gè)集合與這個(gè)運(yùn)算組合在一起被稱(chēng)為“群”。我本不愿意羅列概念，但是如果要想感受到伽羅瓦理論之美，就必須弄清楚“群”的概念。就像一個(gè)人想要欣賞美妙的音樂(lè)，你總要能區(qū)分音調(diào)高低、節(jié)奏快慢一樣，如果高音“1”和低音“1”在你聽(tīng)來(lái)是一樣的，那么很難想象你可以欣賞美妙的交響樂(lè)?！叭骸焙茱@然是把數(shù)字及其運(yùn)算關(guān)系抽象之后形成的一種數(shù)學(xué)結(jié)構(gòu)。容易驗(yàn)證，整數(shù)集合在加法運(yùn)算下成群（這里的加法就通常意義的數(shù)字加法，對(duì)應(yīng)著群定義中的“乘法”），其單位元是數(shù)字0；但是整數(shù)集合在乘法運(yùn)算下不成群，這是因?yàn)閷?duì)于大部分整數(shù)，沒(méi)有乘法的逆元。其實(shí)群在日常生活中也會(huì)存在，常見(jiàn)的是魔方，它的全部操作構(gòu)成一個(gè)集合，再定義任意兩種操作的“乘法”為“先執(zhí)行第一種操作、再執(zhí)行第二種操作”，則容易驗(yàn)證魔方的全部操作在這種“乘法”下成群，叫做RUBIC群。（2）環(huán)與域：在一個(gè)集合上定義兩種運(yùn)算“加法”和“乘法”，如果這個(gè)集合在這個(gè)“加法”下成群，而在這個(gè)“乘法”下只滿(mǎn)足“封閉性”與“結(jié)合律”，則稱(chēng)這個(gè)集合與這兩種運(yùn)算構(gòu)成一個(gè)“環(huán)”；如果這個(gè)集合去除“加法”群下的單位元后形成的新集合在“乘法”下成群，則稱(chēng)這個(gè)集合與這兩種運(yùn)算構(gòu)成一個(gè)“域”。顯然，“域”是一種特殊的“環(huán)”。對(duì)不起了，伽羅瓦理論是夠抽象的，對(duì)于完全沒(méi)有接觸過(guò)群論、域論的人來(lái)說(shuō)，這幾個(gè)概念就挺費(fèi)琢磨?？墒菦](méi)有辦法，伽羅瓦理論這座高峰就需要踩著這些概念的臺(tái)階來(lái)攀登，你想欣賞最美好的風(fēng)光，就需要把這些“概念”踩在腳下，“無(wú)限風(fēng)光在險(xiǎn)峰”。如果看懂了這三個(gè)概念，特別是看懂了“群”和“域”這兩個(gè)概念，就會(huì)理解這些結(jié)構(gòu)其實(shí)就是從基礎(chǔ)的數(shù)字運(yùn)算關(guān)系中抽象出來(lái)的。比如：有理數(shù)在加法和乘法運(yùn)算下構(gòu)成一個(gè)域，0是加法單位元，1是乘法單位元，不包含0的有理數(shù)在乘法運(yùn)算下成群；實(shí)數(shù)、復(fù)數(shù)在加法和乘法下都構(gòu)成域；無(wú)理數(shù)在加法和乘法下不能構(gòu)成域，這是因?yàn)闊o(wú)理數(shù)之和可能是有理數(shù)，不滿(mǎn)足封閉性。下面用群和域的概念做一個(gè)思維體操，證明有理數(shù)是最小的數(shù)域（由數(shù)字和加法、乘法構(gòu)成的域）：數(shù)域必有加法單位元0和乘法單位元1；由加法封閉性得到n個(gè)1相加必然還在域內(nèi)，于是任意自然數(shù)n在域內(nèi)；再由加法存在逆元得到-n也在域內(nèi)，這樣全部整數(shù)必然在域內(nèi)；再由乘法存在逆元得到，任意整數(shù)n（0除外）的倒數(shù)1/n必在域內(nèi)；再由乘法成群（去除0后）得到，任意m/n（m和n是整數(shù)）也在域內(nèi)。這樣，就證明了有理數(shù)必須在數(shù)域之內(nèi)，而且構(gòu)成了一個(gè)域。因此，有理數(shù)是最小數(shù)域。做完這個(gè)思維體操我們可以知道，不要小看群、環(huán)、域這樣一些基本概念，這些概念定義的是一種數(shù)學(xué)結(jié)構(gòu)，只從基本概念出發(fā)，就可以得到很多復(fù)雜的結(jié)果。譬如直到上世紀(jì)80年代，數(shù)學(xué)家們才真正徹底解決了全部有限單群分類(lèi)的問(wèn)題，這是經(jīng)過(guò)了近30年時(shí)間、由超過(guò)100位數(shù)學(xué)家在500多種期刊上寫(xiě)下的超過(guò)10000頁(yè)的論文而最終解決的，其基礎(chǔ)則是200年前伽羅瓦提出的概念——群。（3）群和域的同構(gòu)群，不是隨隨便便就能構(gòu)成的；域，或許更復(fù)雜一些。伽羅瓦發(fā)現(xiàn)，有些表象不同的群之間，其實(shí)質(zhì)是完全相同的。這樣的群稱(chēng)為是“同構(gòu)”的，也就是說(shuō)，這樣的群在結(jié)構(gòu)和性質(zhì)上都完全相同，只有表面符號(hào)上存在差別。同構(gòu)的群在去掉表象之后，可以認(rèn)為是同一個(gè)群。比如，對(duì)某一向量進(jìn)行旋轉(zhuǎn)的操作構(gòu)成一個(gè)集合A=｛逆時(shí)針轉(zhuǎn)0度，逆時(shí)針120度，逆時(shí)針240度｝，定義這個(gè)集合中元素的“乘法”為先進(jìn)行第一個(gè)操作、再進(jìn)行第二個(gè)操作，于是A在此“乘法”下構(gòu)成一個(gè)群；再定義另外一個(gè)集合B=｛1，e2ni/3，e4ni/3｝，定義其上的“乘法”為普通的復(fù)數(shù)乘法，則B在乘法下也構(gòu)成一個(gè)群。簡(jiǎn)單分析即可發(fā)現(xiàn)，A和B這兩個(gè)群結(jié)構(gòu)是完全相同的。群同構(gòu)的嚴(yán)格定義是：存在兩個(gè)群A、B之間的一個(gè)雙射(即——對(duì)應(yīng)的映射)？:AfB,滿(mǎn)足?(a*b)=?(a)X?(b),其中a、b￡A,?(a)、？(b)和?(a*b)￡B,*和*分別是群A和B的“乘法”。類(lèi)似的，域也有同構(gòu)的情況。簡(jiǎn)單說(shuō)兩個(gè)域的同構(gòu)定義為：兩個(gè)域上的“加法”群同構(gòu)，并且去除“加法”單位元之后的兩個(gè)域上的“乘法”群也要同構(gòu)。好了，先不再講述數(shù)學(xué)概念了，一些不熟悉數(shù)學(xué)的人可能已經(jīng)糊涂了。哪怕只看完最基本的概念，我們也會(huì)震驚于伽羅瓦的天才頭腦。一個(gè)16歲才開(kāi)始接觸數(shù)學(xué)、21歲就因決斗而死去的年輕人，是如何在那短短5年的時(shí)間里面，想通如此復(fù)雜的數(shù)學(xué)構(gòu)造、得到如此美妙的數(shù)學(xué)結(jié)論的呢？二、巧妙的概念——擴(kuò)域、根式可解、根式塔【伽羅瓦的故事】由于伽羅瓦的父親死于政治事件，再加上伽羅瓦自身的共和主義政治傾向，導(dǎo)致他偏執(zhí)的認(rèn)定他的論文丟失事件是由于政治原因而被法國(guó)科學(xué)院故意制造的。特別是一年以后，伽羅瓦的另外一篇論文被科學(xué)院拒稿后，他更認(rèn)定了這一點(diǎn)。但是，今天再來(lái)分析這件事，可以比較確定的講，伽羅瓦的這種判斷完全是他的一廂情愿。事實(shí)上論文丟失很可能就是一個(gè)偶然事件(特別是由于傅立葉的去世)，而第二次拒稿則是由于伽羅瓦的思維過(guò)于跳躍，論文中的論證過(guò)于簡(jiǎn)單，沒(méi)有詳細(xì)展開(kāi)，導(dǎo)致論文評(píng)審者無(wú)法判定論文是否嚴(yán)密正確。事實(shí)上，以伽羅瓦的天才，在他眼里看來(lái)很簡(jiǎn)單、顯然成立的論證過(guò)程，可能在別人眼里看來(lái)是需要復(fù)雜證明的。于是，伽羅瓦開(kāi)始放松了他的研究工作而主要來(lái)從事共和主義事業(yè)的斗爭(zhēng)。這時(shí)的伽羅瓦就讀于高等師范學(xué)校，他作為鬧事者的名氣已經(jīng)超越了作為數(shù)學(xué)研究者的名聲，大家已經(jīng)不再把他當(dāng)作是數(shù)學(xué)研究者了，而更多的把他看成是鬧事學(xué)生。特別是在1830年的七月革命期間，他公開(kāi)發(fā)表嚴(yán)厲攻擊校長(zhǎng)的言論，終于被校長(zhǎng)基尼約特給開(kāi)除。從此，伽羅瓦的正式數(shù)學(xué)生涯到此結(jié)束。被開(kāi)除后的伽羅瓦參加了國(guó)民警衛(wèi)隊(duì)的炮兵部隊(duì)，試圖成為一名職業(yè)反叛者。可是僅僅1個(gè)月后，新國(guó)王路易?菲利普取消了炮兵部隊(duì)，伽羅瓦徹底失業(yè)了。索菲?熱爾曼，一位當(dāng)時(shí)的年長(zhǎng)女?dāng)?shù)學(xué)家曾經(jīng)在信件中記述伽羅瓦“他身無(wú)分文，他的母親也幾乎沒(méi)有錢(qián)財(cái)，但他卻不改變得罪人的習(xí)性”。在1831年上半年的一次共和主義者聚會(huì)活動(dòng)上，伽羅瓦表達(dá)了殺死國(guó)王的意圖，于是被控“威脅國(guó)王生命罪”而受審。陪審團(tuán)最終考慮到他年僅20歲，尚未完全成熟，判決無(wú)罪釋放。一個(gè)月后，1831年7月14日的巴士底日，伽羅瓦身著已經(jīng)被解散并查禁的炮兵警衛(wèi)隊(duì)制服在巴黎游行，從而被判處監(jiān)禁。之后在監(jiān)獄的幾個(gè)月中，他學(xué)會(huì)了喝酒，在一次喝醉后還試圖自殺。1832年3月，由于霍亂的爆發(fā)，伽羅瓦被提前釋放。之后的幾個(gè)星期里，伽羅瓦和一位巴黎醫(yī)生的女兒斯特凡妮發(fā)生了風(fēng)流韻事。偏偏這個(gè)女人已經(jīng)和一名叫做Pescheuxd'Herbinville的紳士訂婚了。這名紳士知道了自己未婚妻和伽羅瓦的事情后，十分憤怒，毫不猶豫向伽羅瓦提出挑戰(zhàn)。這名紳士是當(dāng)時(shí)法國(guó)一名最好的槍手，伽羅瓦深知決斗會(huì)給自己帶來(lái)什么，但是他仍然接受了挑戰(zhàn)。挑戰(zhàn)的前夜，伽羅瓦知道第二天將是自己生命的終結(jié)了，他唯一擔(dān)心的是他被法國(guó)科學(xué)院拒絕的數(shù)學(xué)研究成果會(huì)永遠(yuǎn)消失，畢竟當(dāng)時(shí)還沒(méi)有人能夠理解他的理論。他在這一個(gè)晚上力圖寫(xiě)下他全部的數(shù)學(xué)思想，書(shū)寫(xiě)的字里行間不時(shí)的出現(xiàn)“斯特凡妮”或者“一個(gè)女人”等字樣，還多次出現(xiàn)“我沒(méi)有時(shí)間了”的感嘆。在第二天凌晨，伽羅瓦寫(xiě)完了他的數(shù)學(xué)思想，并給他的朋友寫(xiě)了一封信。伽羅瓦決斗前一晚所寫(xiě)的他的數(shù)學(xué)思想信中，伽羅瓦自信的寫(xiě)到“在我的一生中，我常常敢于預(yù)言當(dāng)時(shí)我還不十分有把握的一些命題。但是我寫(xiě)在這里的一切已經(jīng)清清楚楚地在我腦海里形成1年多了，我不愿意使人懷疑我宣布了自己未完全證明的定理。請(qǐng)公開(kāi)請(qǐng)求雅可比或者高斯對(duì)這些定理的重要性（而不是定理的正確與否）發(fā)表他們的看法。然后，我希望有人會(huì)發(fā)現(xiàn)將這一堆東西整理清楚會(huì)是很有益處的事?！?。第二天，1832年5月30日，伽羅瓦只身一人參與決斗，最終腹部中彈，無(wú)望地倒在地上，勝利者悄然離去。伽羅瓦的兄弟阿爾弗雷德在幾個(gè)小時(shí)之后到達(dá)現(xiàn)場(chǎng)，把他送到醫(yī)院，但是為時(shí)已晚，腹膜炎已經(jīng)形成，5月31日，伽羅瓦離開(kāi)了人世。【伽羅瓦理論】我無(wú)法想象1830年到1832年這段時(shí)間，伽羅瓦在食不果腹、不斷入獄的條件下，在把主要精力都投入到政治斗爭(zhēng)的情況下，是如何繼續(xù)深入思考他的數(shù)學(xué)研究課題的。在我看來(lái)，即使衣食無(wú)憂(yōu)的情況下想把伽羅瓦的理論全部學(xué)懂，都是不容易的，何況是創(chuàng)造出來(lái)。由于伽羅瓦的研究成果是以上面提到的方式展現(xiàn)在世人面前的，因此沒(méi)有人能夠準(zhǔn)確知道他到底是如何想到這些概念和證明的，先后順序是怎么樣的，思維總體上是怎樣貫穿的？以下只是我個(gè)人的猜測(cè)。（1）伽羅瓦可能首先從“域”的角度出發(fā)，思考了域的擴(kuò)張。我們知道，有理數(shù)域Q是最小的數(shù)域，實(shí)數(shù)R、復(fù)數(shù)C也都構(gòu)成一個(gè)數(shù)域，那么是否存在數(shù)域，范圍大于有理數(shù)Q但是小于實(shí)數(shù)R、或者大于R小于C呢？甚至是否存在數(shù)域，其范圍大于Q小于C,同時(shí)又不完全包含或者包含于R呢？這要從最小數(shù)域的擴(kuò)張開(kāi)始，域的擴(kuò)張稱(chēng)為擴(kuò)域。擴(kuò)域:把某個(gè)域F中添加進(jìn)一個(gè)或幾個(gè)不屬于這個(gè)域的元素，在不改變?cè)瓉?lái)域的“加法”和“乘法”的條件下，按照域的定義形成的新域E被稱(chēng)為原來(lái)域的擴(kuò)域，記為E/F。比如，我們?cè)谟欣頂?shù)域Q上添加一個(gè)無(wú)理數(shù)J2,形成一個(gè)新的數(shù)域Q(J2),則Q(J2)/Q就是Q上的一個(gè)擴(kuò)域。由域的定義知道，這個(gè)形成的新域不只是包含J2,還包含著任何通過(guò)有理數(shù)與J2進(jìn)行加法和乘法得到的數(shù)。其實(shí)，除了加法和乘法，域里面還有著逆元，加法的逆元運(yùn)算對(duì)應(yīng)著減法，乘法的逆元運(yùn)算對(duì)應(yīng)著除法。也就是說(shuō)，表面上域定義了加法和乘法，實(shí)質(zhì)上確定了加減乘除四則運(yùn)算。域是更高層次上抽象出來(lái)的結(jié)構(gòu)，但是落實(shí)到我們?nèi)粘５臄?shù)字和運(yùn)算上，與小學(xué)就開(kāi)始學(xué)習(xí)的四則運(yùn)算沒(méi)有什么不同?？梢宰C明，任何可以表示為a+bJ2(a,b￡Q)的數(shù)都屬于Q(J2)這個(gè)域，而這個(gè)域里面的任何數(shù)也都可以表示成為a+bJ2(a,b￡Q)的形式。顯然，這個(gè)Q(J2)就是一個(gè)范圍大于Q但是小于R的數(shù)域。有了擴(kuò)域這個(gè)工具，我們可以構(gòu)造出無(wú)窮多個(gè)數(shù)域。(2)之后伽羅瓦考慮的應(yīng)該是如何定義方程的根式可解因?yàn)樵谫ち_瓦從事數(shù)學(xué)研究的那5年，人們已經(jīng)在開(kāi)始猜測(cè)一般的一元五次方程不可根式求解?？墒?，到底什么是根式求解？字面意思很容易理解，就是一個(gè)一元高次方程的解如果可以使用方程的系數(shù)經(jīng)過(guò)加減乘除和開(kāi)方以及它們的組合運(yùn)算表達(dá)出來(lái)，就是可以根式求解的；如果不能以這種方式表達(dá)，那就是不可以根式求解的?？蛇@樣的定義雖然從語(yǔ)言和表達(dá)的角度來(lái)說(shuō)沒(méi)有歧義，但是從數(shù)學(xué)的角度來(lái)說(shuō)，還不夠清晰。伽羅瓦通過(guò)自己的深入思考，給出了根式可解的更優(yōu)美的定義。在了解這個(gè)優(yōu)美定義之前，需要思考以下一些毫無(wú)疑問(wèn)是正確的結(jié)論：一個(gè)數(shù)域里面的任何數(shù)，都可以通過(guò)這個(gè)數(shù)域中的其它數(shù)的加減乘除運(yùn)算組合表達(dá)出來(lái)；除了個(gè)別特殊情況外，一般來(lái)講，數(shù)域中某個(gè)數(shù)的開(kāi)方運(yùn)算的結(jié)果是不屬于這個(gè)數(shù)域的(類(lèi)似于J2?Q)；把數(shù)域中某個(gè)數(shù)開(kāi)方運(yùn)算的結(jié)果擴(kuò)張進(jìn)來(lái)成為一個(gè)擴(kuò)域后，擴(kuò)域中的數(shù)都可以使用原來(lái)數(shù)域中的數(shù)和這個(gè)開(kāi)方運(yùn)算的結(jié)果的加減乘除運(yùn)算組合來(lái)表達(dá)，或者說(shuō)這種擴(kuò)域中的數(shù)一定可以使用原來(lái)數(shù)域之內(nèi)的數(shù)的加減乘除和開(kāi)方運(yùn)算進(jìn)行根式表達(dá)；明白了上面這3條結(jié)論，就可以知道，能否根式表達(dá)與上面說(shuō)的這種把數(shù)域中某個(gè)數(shù)的開(kāi)方運(yùn)算的結(jié)果擴(kuò)張進(jìn)來(lái)形成的擴(kuò)域有著密切關(guān)系。我們把這種擴(kuò)域定義為純擴(kuò)域。純擴(kuò)域：B/F為擴(kuò)域，B=F(d)，d￡B，dm￡F，此時(shí)把B稱(chēng)為F的m型純擴(kuò)域。顯然，所謂m型純擴(kuò)域就是在域F中找一個(gè)數(shù)開(kāi)m次方，然后把開(kāi)方結(jié)果擴(kuò)進(jìn)來(lái)形成的擴(kuò)域?？蓜e小看這個(gè)純擴(kuò)域，根據(jù)前面的分析，純擴(kuò)域B中的任何數(shù)都可以通過(guò)域F中的數(shù)的加減乘除和開(kāi)m次方運(yùn)算得到。如果繼續(xù)這樣擴(kuò)域下去，把F擴(kuò)為F1，把F1擴(kuò)為F2，…，無(wú)論多少次這種擴(kuò)域，只要是有限次，最終的擴(kuò)域Fn中的數(shù)都可以由域F中的數(shù)經(jīng)過(guò)加減乘除和開(kāi)方運(yùn)算得到。由此，引出一個(gè)新概念，根式塔。根式塔：不斷擴(kuò)域形成的域列，F(xiàn)=F1?F2?F3?…?Fr+1,如果每個(gè)擴(kuò)域Fi+1/Fi(i=1,2,…,r)都是一個(gè)純擴(kuò)域，則稱(chēng)此域列為一個(gè)根式塔。于是，數(shù)域F中的數(shù)通過(guò)加減乘除和開(kāi)方運(yùn)算所能得到的數(shù)，一定包括在某個(gè)根式塔的Fr+1之中。由此，伽羅瓦給出了根式可解的更清晰優(yōu)美的定義。根式可解：設(shè)一元多次方程f(x)的全部系數(shù)都包含在域F之內(nèi)，此方程的全部根都包含在域E之內(nèi)，且E是包含f(x)全部根的最小域(此時(shí)稱(chēng)E為F上多項(xiàng)式f(x)的根域)，如果存在根式塔F=F1?F2?F3?…?Fr+1，且E?Fr+1，稱(chēng)域F上的方程f(x)根式可解?？吹劫ち_瓦給出的根式可解定義，我有一種感覺(jué)，也許伽羅瓦的腦子天生就是結(jié)構(gòu)化的，他可以直接在一個(gè)大的范疇上進(jìn)行思考和邏輯推導(dǎo)。本來(lái)通過(guò)語(yǔ)言描述的根式可解是一種模模糊糊的東西，但是經(jīng)過(guò)伽羅瓦重新定義的根式可解變得清晰明確，有數(shù)學(xué)實(shí)體可以抓了。三、“神來(lái)之筆”——域的自同構(gòu)、伽羅瓦群與伽羅瓦對(duì)應(yīng)【伽羅瓦的故事】伽羅瓦的葬禮因政治原因而變得混亂，政府認(rèn)為伽羅瓦的葬禮將會(huì)造成一次政治集會(huì)，為了維護(hù)穩(wěn)定，政府在葬禮之前的晚上逮捕了30名伽羅瓦的同志。盡管如此，還是有兩千多個(gè)共和主義者參加了葬禮，從而與政府人員之間爆發(fā)了一場(chǎng)混戰(zhàn)。這之后，不斷有人懷疑伽羅瓦與斯特凡妮的風(fēng)流韻事是一個(gè)陰謀，用來(lái)害死伽羅瓦的陰謀。直到今天，伽羅瓦到底是死于愚蠢的愛(ài)情還是政治陰謀仍然沒(méi)有定論。但無(wú)論是哪種原因，這位研究數(shù)學(xué)才5年但是卻被認(rèn)為是最偉大的數(shù)學(xué)家之一的天才，在21歲的時(shí)候就離開(kāi)了人世。這對(duì)數(shù)學(xué)界來(lái)說(shuō)是一個(gè)重大的損失，只不過(guò)當(dāng)時(shí)的人們還完全認(rèn)識(shí)不到。伽羅瓦雖然在決斗的前夜把他的數(shù)學(xué)思想寫(xiě)了出來(lái)，但是這種潦草的內(nèi)容、跳躍的思維并不是立刻就被數(shù)學(xué)界所理解的。雖然伽羅瓦的兄弟和朋友把他寫(xiě)下的數(shù)學(xué)思想重新整理了一遍，并分送給了高斯、雅可比等人，但是伽羅瓦的偉大研究成果仍然沒(méi)有得到理解和承認(rèn)。直到14年后，法國(guó)數(shù)學(xué)家約瑟夫?劉維爾(JosephLiouville)重新整理并發(fā)表了伽羅瓦的著作，才使得伽羅瓦理論逐漸被世人所理解。劉維爾本人也是一位著名的數(shù)學(xué)家，一生從事數(shù)學(xué)、力學(xué)和天文學(xué)的研究，涉足廣泛，成果豐富，尤其對(duì)雙周期橢圓函數(shù)、微分方程邊值問(wèn)題和數(shù)論中的超越數(shù)問(wèn)題有深入研究。他是第一個(gè)證實(shí)超越數(shù)存在的人。即使是這樣一位著名數(shù)學(xué)家，仍然從1843年到1846年用了3年的時(shí)間來(lái)徹底研究伽羅瓦的理論，終于在1846年比較全面的理解了伽羅瓦的成就并發(fā)表出來(lái)。劉維爾雖然在數(shù)學(xué)領(lǐng)域有不小的貢獻(xiàn)，但很可能他整理、理解并發(fā)表伽羅瓦理論是他在數(shù)學(xué)領(lǐng)域最大的貢獻(xiàn)。代數(shù)學(xué)能夠取得今天的成就，劉維爾功勞不小。劉維爾在反思為什么伽羅瓦的理論在很長(zhǎng)一段時(shí)間內(nèi)不能得到理解的原因時(shí)，寫(xiě)下了這樣一段話(huà)：過(guò)分地追求簡(jiǎn)潔是導(dǎo)致這一缺憾的原因。人們?cè)谔幚硐窦兇獯鷶?shù)這樣抽象和神秘的事物時(shí)，應(yīng)該首先盡力避免這樣做。事實(shí)上，當(dāng)你試圖引導(dǎo)讀者遠(yuǎn)離習(xí)以為常的思路進(jìn)入較為困惑的領(lǐng)域時(shí)，清晰性是絕對(duì)必需的，就像笛卡爾說(shuō)過(guò)的那樣：“在討論超前的問(wèn)題時(shí)務(wù)必空前地清晰?！辟ち_瓦太不把這條箴言放在心上,……伽羅瓦再也回不來(lái)了！我們不要再過(guò)分地作無(wú)用的批評(píng)，讓我們把缺憾拋開(kāi)，找一找有價(jià)值的東西,……我的熱心得到了好報(bào)。在填補(bǔ)了一些細(xì)小的缺陷后，我看出了伽羅瓦用來(lái)證明這個(gè)美妙的定理的方法是完全正確的，在那個(gè)瞬間，我體驗(yàn)到一種強(qiáng)烈的愉悅。真心希望大家了解了伽羅瓦理論之后，能夠像劉維爾一樣有一種“強(qiáng)烈的愉悅感”。伽羅瓦的故事講完了，伽羅瓦那天才的思想還需要繼續(xù)?！举ち_瓦理論】從前面的介紹我們知道，根式可解需要找到一個(gè)根式塔，根式塔是一個(gè)域列。只知道這些，我們還是解決不了方程是否能夠根式求解的問(wèn)題，因?yàn)槲覀內(nèi)匀徊恢涝鯓优袛嗍欠翊嬖谶@種根式塔？伽羅瓦在思考這個(gè)問(wèn)題的時(shí)候，發(fā)現(xiàn)或者說(shuō)找到了一種對(duì)應(yīng)關(guān)系——伽羅瓦對(duì)應(yīng)。應(yīng)該講，這種對(duì)應(yīng)關(guān)系是人類(lèi)思維領(lǐng)域的“神來(lái)之筆”。我無(wú)法想象伽羅瓦到底是通過(guò)怎樣的思考發(fā)現(xiàn)了這種對(duì)應(yīng)關(guān)系，對(duì)我自己來(lái)說(shuō)，能夠較快理解伽羅瓦對(duì)應(yīng)就已經(jīng)謝天謝地了。伽羅瓦對(duì)應(yīng)的發(fā)現(xiàn)應(yīng)該是從域的自同構(gòu)映射開(kāi)始的。域的自同構(gòu)映射：前面我們介紹了域的同構(gòu)，知道了兩個(gè)域同構(gòu)意味著兩個(gè)域之間存在著滿(mǎn)足同構(gòu)關(guān)系的映射。顯然一個(gè)域一定是和自己同構(gòu)的，我們把某個(gè)域E到自身的同構(gòu)映射叫做自同構(gòu)映射。事實(shí)上，這種自同構(gòu)映射未必只有一個(gè)，我們把全部自同構(gòu)映射組成的集合記為Aut（E）?，F(xiàn)在開(kāi)始，我們的思維要在理解群、域的基礎(chǔ)上再上一個(gè)臺(tái)階，開(kāi)始思考域的自同構(gòu)映射組成的集合了。記住，Aut（E）中的元素是EfE集合間的映射。下面再做一個(gè)稍復(fù)雜點(diǎn)的思維體操，定義Aut（E）上兩個(gè)元素。1和。2之間的“乘法”為。1*02（a）=。1（。2（a）），證明Aut（E）在這個(gè)“乘法”下構(gòu)成群。構(gòu)成群首先要滿(mǎn)足封閉性，也就是對(duì)于。1￡Aut（E）和o2￡Aut（E），要證明o1*02￡Aut（E）。證明如下：請(qǐng)記住，Aut（E）中的。都是自同構(gòu)映射，必然滿(mǎn)足。（a+b）=o（a）+o（b），o（a*b）=o（a）*o（b）。由此，我們可以得到o1*02(a+b)=。1(。2(a+b))=。1(。2(a)+。2(b))=。1(。2(a))+。1(。2(b))=。1*02(a)+。1*02(b)。1*02(a*b)=01(o2(a*b))=o1(o2(a)*o2(b))=01(02(a))*01(02(b))=01*02(a)*01*02(b)也即。1*o2也滿(mǎn)足自同構(gòu)映射的條件，于是o1*02￡Aut(E)。封閉性得到了滿(mǎn)足。結(jié)合律：(01*02)*03(a)=(01*02)(03(a))=(01(02(03(a)))=01*(02*03)(a)也就是(01*02)*03=01*(02*03)，滿(mǎn)足結(jié)合律。單位元：顯然對(duì)于E-E上的恒等映射0e,滿(mǎn)足0e(a)=a,?a￡E,容易驗(yàn)證0e即為Aut(E)的單位元。逆元：?0￡Aut(E),a￡E且aW0,有0(0)=0(a-a)=0(a)-0(a)=0；0(a)=0(1*a)=0(1)*0(a)?0(1)=1；0(1)=0(a*a-1)=0(a)*0(a-1)=1?0(a)W0；即aW0時(shí)0(a)W0。于是得到，aWb時(shí)，0(a-b)=0(a)-0(b)W0?0(a)#0(b)。這說(shuō)明0是單射,單射必有逆映射,令其逆映射為0-1,則必有0*0-1(a)=0(0-1(a))=a?0*0-1=0e,確定逆元必然存在。綜上，Aut(E)在上述“乘法”定義下構(gòu)成群。對(duì)群、域不熟悉的人來(lái)說(shuō),也許這個(gè)思維體操稍微有些“繞”,但是對(duì)于熟悉的人來(lái)說(shuō),這個(gè)關(guān)系是一眼就可以看出來(lái)的。我想,如果一個(gè)不熟悉的人把上述并不復(fù)雜的推導(dǎo)看明白后，也會(huì)感覺(jué)到愉悅的。當(dāng)然，我相信對(duì)于伽羅瓦來(lái)說(shuō)，上述結(jié)論是瞬間就想到了的。不僅如此，伽羅瓦還進(jìn)一步找到了群Aut(E)的一類(lèi)子群一—我們今天稱(chēng)之為伽羅瓦群。伽羅瓦群：E/F是擴(kuò)域，且E是系數(shù)在F內(nèi)的某個(gè)多項(xiàng)式方程的根域(根域參見(jiàn)前面的說(shuō)明，以后會(huì)將這種根域叫做F的正規(guī)擴(kuò)域)，E上全部自同構(gòu)映射的集合Aut8)中使F中元素不變的那些映射形成的子集構(gòu)成Aut(E)的一個(gè)子群，稱(chēng)為E在F上的伽羅瓦群，記為G(E/F)。概念越來(lái)越復(fù)雜了，解釋一下，就是Aut(E)中的自同構(gòu)映射，有一部分是在F上的恒等映射，也就是說(shuō)F中的元素在這些映射的作用下是不變的，這類(lèi)映射的全體組成的集合也構(gòu)成一個(gè)群，是Aut(E)的子群，叫做E在F上的伽羅瓦群。有人會(huì)問(wèn)，為什么要搞出個(gè)伽羅瓦群的概念呢？下面就是見(jiàn)證奇跡的時(shí)亥U了：設(shè)f(x)￡F[x](意思是f(x)的系數(shù)都在F內(nèi))，則對(duì)于任意?！闓(E/F)，必然有。(f(x))=f(x)，這是因?yàn)?。作用在F上是恒等映射；同時(shí)，設(shè)方程f(x)=0有n個(gè)根，分別是a1、a2、…、an，那么f(x)=(x-a1)(x-a2)…(x-an)，于是。(f(x))=(x-。(a1))(x-。(a2))…(x-。(an))=f(x)=(x-a1)(x-a2)…(x-an)。這說(shuō)明。(a1)、。(a2)、…、。(an)只是a1、a2、…、an的一組置換(意思是，還是這n個(gè)數(shù)，只是位置發(fā)生了變化，如。（a1）=a2、。（a2）=al之類(lèi)的變換）！看到了么，伽羅瓦群中的每個(gè)映射都對(duì)應(yīng)著方程根的一組置換！要知道，從500年前的費(fèi)爾洛解出了一般一元三次方程，到400年前的塔爾塔利亞、卡丹、費(fèi)拉里解出一元四次方程，一直到200年前的拉格朗日創(chuàng)造出了方程的預(yù)解式，高斯得到了高斯定理，都是在大量的計(jì)算推導(dǎo)中，模模糊糊的察覺(jué)到方程的解與根的置換似乎有關(guān)系。直到伽羅瓦橫空出世，清晰的告訴世人，一元高次方程是否可以根式求解的奧秘，就藏在這些根的置換當(dāng)中。當(dāng)然，只知道寶藏的位置還不夠，還需要有打開(kāi)寶藏的鑰匙。天才的伽羅瓦找到了這把鑰匙，我把它稱(chēng)為“神來(lái)之筆”——伽羅瓦對(duì)應(yīng)。記得討論根式可解的時(shí)候，我們說(shuō)需要找到一個(gè)根式塔，根式塔是一個(gè)域列。假設(shè)存在一個(gè)域列F=F1?F2?F3?…?Fr+1=E（注意，這個(gè)域列不要求一定是根式塔），且E/F是正規(guī)擴(kuò)域（參見(jiàn)上面描述），則可以證明任意E/Fi，i=1,…,r，也是正規(guī)擴(kuò)域。于是存在一組伽羅瓦群G（E/Fi），這組伽羅瓦群都是G（E/F）的子群，而且可以證明每個(gè)