2.1 Galois 的決鬥之夜：1832#

本章導言#

1832 年 5 月 30 日凌晨，巴黎郊外 Gunshot 響起——二十歲的 Évariste Galois（1811–1832） 在決鬥中腹部中彈，次日死於醫院。決鬥前夜，他疾書數學遺囑，在信紙邊緣寫下「我沒有時間了」。這一夜留下的六十頁手稿，包含了伽羅瓦理論的核心：用群判定方程可解性。本節還原這位數學史上最悲劇性人物的生平，並預覽他的思想如何把五次方程之牆（1.3 節）變成風景。

動盪時代中的少年#

Galois 生於 1811 年 10 月 25 日，巴黎近郊 Bourg-la-Reine 鎮長之家。他的一生與法國政治動盪完全重疊：1814 年波旁復辟、1830 年七月革命、1832 年六月起義。父親是熱心公益的鎮長，母親受過良好古典教育，親自教他到十二歲。

1823 年他進入 Louis-le-Grand 中學。成績平平，唯獨數學驚人：十五歲直接閱讀 Lagrange 原著與 Legendre 的幾何教材。1828 年他兩度報考巴黎綜合理工學院（École Polytechnique）落榜——第一次是準備不足，第二次的傳說是他在口試中向主考官擲黑板擦（或據其他記載，是主考官的粗魯使他憤而中斷作答）。轉入師範學院（École Normale）後，他又因 1830 年七月革命期間在報刊發表激烈共和派言論、並參與校園抗爭而被開除（1831 年 1 月）。

三次投稿與三次厄運#

Galois 的論文命運是科學史上最著名的黑名單：

三次投稿三次受挫，兩次出於命運（審稿人之死、遺失），一次出於論文的真實缺陷——Galois 的寫作極度壓縮、跳步、以「顯然」帶過關鍵證明。數學史的公平結論是：審稿人無能與作者晦澀並存；任何一方都不是唯一的責任者。

決鬥前夜：數學遺囑#

1831 年 5 月與 7 月，Galois 兩度因共和派政治活動被捕（第二次因穿著國民衛隊制服攜械遊行）。1832 年 5 月下旬，他捲入一場與舊友（一說為為「一位女士」的名譽，實際背景至今爭論不休，不少史家認為可能是政治圈設下的陷阱）的決鬥。5 月 29 日夜，他寫信給友人 Auguste Chevalier：

我已經完成一些新的分析學研究。第一類涉及方程論……在我的記憶中，有一些想法已經閃現，但我沒有時間了（Je n'ai pas le temps）。

他連夜整理手稿，快速重述核心定義與定理，在頁邊加上「這個證明不完整，我沒時間」之類的話。5 月 30 日清晨決鬥（手槍，25 步距離），他中彈倒地，被路過農夫送醫，5 月 31 日去世。弟弟 Alfred 在旁。遺言據傳為：「別哭，我需要全部的勇氣才能在二十歲死去。」

遺稿的救贖：Liouville 1846#

Galois 的手稿在 Chevalier 與其姐手中輾轉十四年，幾度輾轉（Hermite 等人閱讀未果），直到 Joseph Liouville（1809–1882） 於 1843 年向科學院宣布「我已確認 Galois 理論的正確性」，並於 1846 年在他主編的《純粹與應用數學雜誌》全文刊出。Liouville 做了一件關鍵的事：補上了 Galois 略去的證明，並將思想重新組織為可讀的論文。從此，這套理論以「伽羅瓦理論」之名進入數學主流，並在 Dedekind、Weber（1893，公理化體論）手中完成現代化。

Galois 思想的速寫#

Galois 的天才在於兩個「對象化」：

1. 把「對稱」變成對象。方程的根 \(x_1, \dots, x_n\) 之間可以互相置換，某些置換保持根之間的全部代數關係（係數的有理函數關係），這些置換的集合在合成下封閉——這就是群（Galois 稱之為「方程的群」）。可解性不再是尋找公式的問題，而是這個群內部結構的問題。
2. 把「層次」變成對應。向係數體逐步添加根式，群就逐步「變小」；他發現縮小的合法方式只有一種——除掉一個正規子群（他稱之為「真分解」）。可解方程的群必可經一列正規子群分解到底，每層商都是素數階（循環）群。

用現代語言：方程可用根式解 \(\iff\) 其 Galois 群可解。一般五次方程的群是 \(S_5\) ，含單群 \(A_5\) （階 60，不可再分解），故不可解——Lagrange 之牆（1.3 節）的謎底。

歷史評價的再平衡#

流行敘事把 Galois 塑造成「被學院迫害的天才」，但檔案顯示更複雜的圖像：他的三篇短文生前已刊出（1829–1830），師篃學院院長曾為其落榜抗辯，Cauchy 事實上在 1830 年 9 月提交了一份摘要（未宣讀）；而 Galois 本人的寫作方式——大量「顯然」「如我所證」、證明跳步、拒絕解釋動機——確實構成溝通障礙。歷史的教訓不是「學院迫害天才」，而是交流的責任是雙向的：作者有義務可讀，讀者有義務耐心；兩者任一缺席，知識就會遲到十四年。

一個具體例題#

例題 2.1.1：以 Galois 的方式求三次方程 \(x^3 - 2 = 0\) 的群，並驗證它「可解」。

解：根為 \(\alpha = \sqrt[3]{2}\) 、 \(\alpha\omega\) 、 \(\alpha\omega^2\) （ \(\omega = e^{2\pi i/3}\) ）。根之間的基本代數關係：三根之和為零、積為 \(2\) ，以及對稱性只到「 \(\omega\) 與 \(\omega^2\) 可互換」的程度——因為 \(\omega\) 不在實係數的根式塔中自然出現（添加 \(\omega\) 是額外的一步）。

具體地，方程的群是保持一切「係數有理」的根間關係的置換群。計算表明：任意 \(x_1, x_2, x_3\) 的置換都允許（因為三次方程的一般群是 \(S_3\) ），但對 \(x^3 - 2\) ，判別式 \(-108\) 的平方根 \(\sqrt{-108}\) 不在基礎體中，故群不是 \(A_3\) 而是全 \(S_3\) （階 6）。

Galois 檢驗可解性： \(S_3 \triangleright A_3 \triangleright \{e\}\) ，商 \(S_3/A_3\) 階 2、 \(A_3 \triangleright \{e\}\) 商階 3，皆為素數階循環群。故可解——這正對應了 1.2 節的歷史事實：三次方程有 Cardano 根式公式。兩百年前的「公式」與 1832 年的「群」，在這一刻握手。

歷史啟示#

• 思想的壽命長於人生的長度：Galois 活了二十年，其思想活了兩百年。數學的價值不以作者的際遇衡量。
• 晦澀的代價由知識支付：人類等了十四年才收到伽羅瓦理論。清晰寫作是對數學共同體的義務。
• 對象化是革命的本質：Galois 最大的發明不是定理，而是「把置換的集合當作一個東西來研究」的視角轉換——結構思維的誕生。

與其他章節及領域的關聯#

• 2.2 節：Galois 的「置換封閉集」將被 Cayley 公理化為抽象群。
• 3.2 節：正規子群與商群是「真分解」的現代名稱。
• 5.1、6.1 節：體擴張與 Galois 對應把本節速寫完整化。
• 6.2、6.3 節：Abel 與 Galois 大定理，本節之謎的正式證明。
• 8.1 節：Lie 把 Galois 的「有限對稱對象化」推廣到連續對稱——伽羅瓦思想的最大出口。
• 密碼學（10.1 節）：Galois 體 \(\mathbb{F}_{2^n}\) 是 AES 加密的算術基礎——決鬥之夜的遺產守護著今日的每一筆網路交易。

練習#

1. 說明為什麼「保持根之間全部有理關係的置換構成封閉集合」（用封閉性定義驗證三個性質：單位置換、合成、逆）。
2. 對 \(x^2 - 2 = 0\) ，求其 Galois 群，並說明為什麼它是循環群。
3. 用本節例題的方法說明：方程 \(x^3 - 3x + 1 = 0\) 的群為何是 \(A_3\) 而非 \(S_3\) （提示：判別式 \(81\) 是完全平方）。
4. 寫一篇 300 字評論：在 Galois 三次投稿事件中，作者、審稿人、制度各應承擔什麼責任？
5. 思考題：「Je n'ai pas le temps」的手稿風格，對比 Liouville 的重寫策略，說明數學論文中「動機敘述」為什麼和「形式證明」同樣重要。

進階研讀：決鬥之夜前後的五個深化場景#

場景一：Galois 政治活動的檔案。Galois 是 1830 年代巴黎共和派學生運動的活躍成員，屬於「人民之友社」，兩次入獄共約十個月（Sainte-Pélagie 監獄）。獄中他仍持續研究，並在獄友中講授數學。1832 年 6 月起義（其死後兩週）中，多名獄友陣亡——史家推測若非決鬥，Galois 極可能死於街壘。數學天才與政治烈士兩種命運只隔一場決鬥，這是理解十九世紀法國知識分子的關鍵切口。

場景二：Galois 手稿的技術細節。遺囑信（Chevalier 信）包含三部分：方程論（伽羅瓦理論）、根式可解性的條件、以及關於橢圓函數積分的「新函數論」綱要——後者預示了 Abel 積分論。頁邊還有「後續發展」的草圖：有限體的完整理論（5.2 節）赫然在列。一封二十歲青年的訣別信，覆蓋了其後一百年代數學的三條主線。

場景三：從 Galois 群到現代 Galois 範式。Galois 的原始定義是「根的置換群」；Dedekind 改為「體的 自同構群」；Artin（1920s）的講義確立了現代逆向表述（以體擴張為出發點）。Grothendieck（1960s）再昇華：Galois 群是基本群（fundamental group）的算術化身，Grothendieck–Galois 理論把數論與拓撲統一。三個時代的同一理論，展示了數學概念「逐代抽象化」的典型軌跡。

場景四：可解群概念的誕生過程。Galois 寫的是「群可經真分解分解到底」，「可解群」（groupe résoluble）一詞由 Jordan 在 1870 年《置換論》中定名——概念的名字來自它要解決的問題。這在數學命名史中反覆出現：理想（ideal，源自 Kummer 的「理想數」）、本徵值（eigenvalue，源自「固有」）。讀者可訓練自己從術語回溯問題史。

場景五：決鬥之夜的寫作速度之謎。遺囑信約六十頁、一夜寫成，其中不乏新結果。心理學與數學史研究指出：這不是奇蹟式的即興，而是多年思想的緊急壓縮——Galois 自 1829 年起已有完整草稿，遺囑信是重寫而非首創。危機激發的是「組織既有認知」而非「無中生有」。對學習者的啟示：日常的系統整理，才是緊急時刻能輸出的前提。

補充：Galois 理論問世的傳播鏈#

1846 Liouville 刊出 → 1852 Betti 首次系統重述 → 1866 Serret《高等代數教程》納入 → 1870 Jordan《置換論》以 Galois 理論為軸心建立群論大廈，並正式提出「可解群」→ 1884–1893 Dedekind、Weber 公理化 → 1930 van der Waerden《近世代數》使其成為標準教材內容 → 1942 Artin 簡化講義版本流行至今。從決鬥到教科書，共 98 年——一個概念進入人類常識的速度，大約需要兩代數學家的接力。

名詞速查表（本節出現的核心術語）#

• 方程的群：保持根間有理關係的置換之封閉集，即 Galois 群的原型。
• 真分解（décomposition propre）：Galois 對正規子群除法的稱呼。
• 可解群：可經一列正規子群逐層分解為素數階商的群。
• 判別式：決定群落在 \(S_n\) 或 \(A_n\) 的根之對稱函數。
• 《純粹與應用數學雜誌》：Liouville 主編、1846 年刊出 Galois 遺稿的期刊。
• 對象化：把操作或關係的集合視為可研究的單一對象的思維方式。

年表速查（本節涉及的關鍵年份）#

• 1811：Galois 生於 Bourg-la-Reine。
• 1828：兩度報考綜合理工學院落榜。
• 1829：父親自殺；首次投稿（Cauchy 經手未果）；入師篃學院。
• 1830：七月革命；第二次投稿（Fourier 去世、手稿失蹤）；三篇短文刊出。
• 1831：被師篃學院開除；兩度入獄；Poisson 退稿。
• 1832.5.29：決鬥前夜寫下數學遺囑。
• 1832.5.31：傷重去世，年 20。
• 1843：Liouville 向科學院宣布確認理論。
• 1846：Galois 遺稿全文刊出。
• 1870：Jordan《置換論》完成理論的第一次系統化。

深化問答三則#

問：如果 Galois 沒有死於決鬥，數學史會如何不同？ 答：純屬推測，但可注意到：他的三篇已刊短文顯示寫作在進步；Liouville 式的「有耐心的編者」最終一定會出現。較可能的差異是理論的傳播速度而非存在性——Galois 本人若活著並被說服寫出完整講義（如同他獄中對獄友的講課），教科書化或可提前三十年。歷史的偶然改變速度，結構決定內容。

問：Poisson 的退稿判語錯在哪裡、對在哪裡？ 答：對的部分：Galois 的稿子確實缺關鍵證明，按當時審稿標準退稿在程序上無可指責；「請作者重寫」也是標準建議。錯的部分：他沒有看出稿子背後有一個全新的概念層次（「方程的群」），用舊尺（公式是否完整）量了新東西（結構是否深刻）。審稿的永恆困境：真正的新理論往往「不夠清晰」，因為清晰需要聽眾先擁有新語言。

問：對初學者，Galois 的故事應該怎樣吸收才不會變成雞湯？ 答：抓住三條可操作的教訓：一，他十五歲起直接讀大師原著（Lagrange、Legendre），學習應對準領域的源頭文本；二，他的失敗一半來自溝通方式，可讀性是技術能力的一部分；三，他的遺囑是既有知識的緊急壓縮，平時的結構化整理決定關鍵時刻的輸出。悲劇敘事提供動機，方法教訓才提供價值。

（本節完）