Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891
1890年 Hurwitz 以代換群完美證明了 Galois 理論的基本定理。
- 出土文獻揭示 Hurwitz 如何以24個數值還原群結構。
- 他藉由多項式微分與有理函數，精確確立有理數體與群的對應關係。
- 教材洞悉 Galois 隱含的體概念，展現跨世紀的數學思想傳承。
天才數學家 Évariste Galois（埃瓦里斯特·伽羅瓦）在 1832 年因決鬥驟逝，得年僅 20.5 歲，其遺留的方程式原稿以晦澀著稱。直到 1890 年，31 歲的德國數學家 Adolf Hurwitz（阿道夫·胡爾維茲）在柯尼斯堡大學的冬季課程中，才透過清晰的代換群語言，為 Galois 基本定理給出了極具美感的嚴格證明。
1890年柯尼斯堡講稿與 ETH 珍貴文獻
教授 Galois 理論的學者通常會去研讀原作者的原始論文，但這份歷史文獻的論證跳躍、極難消化。蘇黎世聯邦理工學院（ETH Zürich）圖書館近期公開了 Adolf Hurwitz 相關的數位化手稿，其中包含了學生 Emil Leutenegger 於 1915 至 1917 年間的聽課筆記，以及 Hurwitz 本人遺留的珍貴教材。這批文獻中，最引人注目的亮點是他在 1890 至 1891 年冬季於德國柯尼斯堡大學開設的《代數方程式理論》課程。該課程涵蓋了二至四次方程式的代數解、對稱函數、代換群理論基礎，以及 Galois 理論的實際應用。到了 1909 年，約 50 歲的 Hurwitz 在蘇黎世重新講授此題材時，再次參考了當年的柯尼斯堡筆記，並於同年 7 月 1 日在第 23 號數學日記寫下了 Galois 理論基本定理的完整證明邏輯。
奠基 24 個相異排列的 V1 函數構造法
為了降低龐大運算的複雜度，同時保留原證明的精髓，本文以有理數體 ℚ 為基礎，重現 Hurwitz 日記中的核心推理過程。首先假設多項式 f(x) ∈ ℚ[x] 具有四個相異的根 x_1, x_2, x_3, x_4，其分裂體（包含多項式所有根的最小擴張體）為 L = ℚ(x_1, x_2, x_3, x_4)。根據 Galois 在原稿中提出的引理二，必定存在四個自然數，使得當我們以特定的線性組合 V_1 為基準，並對四個變數的位置進行排列時，可以產生 24 個兩兩相異的數值。這 24 個數值皆屬於體 L，且每一個數值都明確對應到 S_4（四個元素的對稱群）中的一種代換操作。接下來的難題在於，如何確定四個有理函數 R_1, R_2, R_3, R_4 ∈ ℚ(x)，讓我們能夠從特定的數值中，逆向還原出原始的變數組合與對應的代換群。
由方程式微分推導 R 函數的有理體系
為了解決逆向還原的問題，Hurwitz 在日記中定義了一個次數為 r = 24 的多項式 F(v)，並將其展開。該多項式的每一項係數皆為原始變數的齊次有理函數（Homogeneous rational functions，指各項變數次方總和相同的函數）。此時，若對恆等式 F(V_i) = 0 的特定變數進行微分計算，便可得出與原始根相關的一階關係式。依此類推，能夠明確得出 x_α = R_1(V_i) 到 x_δ = R_4(V_i) 的映射關係。這個巧妙的函數體系，完整包含了四個變數的全部 24 種排列組合。只要適當選擇整數參數，確保多項式微分的分母不為零，所有的 R_k(V_i) 就會成為絕對嚴格的有理函數，這段推導直接呼應了 Galois 論文中的引理。
有理數體與代換群 G 的四項核心對應
完成有理函數的構造後，Hurwitz 定義 G(v) 為原多項式中無法再進一步分解的不可約因式（Irreducible factor），並將其根標記為 V_1 到 V_m。這 m 個代換共同定義出了一個系統 G，他隨後透過一個輔助引理，嚴謹證明了系統 G 必須滿足四項決定性的數學屬性。首先，任何在 G 系統代換下保持不變的四變數有理函數，其結果必然屬於有理數體 ℜ。其次，若任何有理函數的計算值本就屬於 ℜ，則它在 G 系統代換後依然維持不變。第三步是代數結構上的確認，他證明了任意兩個代換組合依然存在於系統內，代表 G 本身構成一個封閉的群。最後，一項未知的代換屬於 G，若且唯若每一個屬於 ℜ 的有理函數都承認該代換。
1909年蘇黎世講稿對 Galois 思想的傳承
在 1909 年的蘇黎世課堂上，Hurwitz 曾如此向台下學生介紹：「Galois 是史上最偉大的數學天才之一，年僅 19 歲就掌握了以他為名的理論，賦予代數方程式理論全新的面貌。」目前學界已知 Hurwitz 共有兩門專門探討 Galois 理論的課程。其中，1890 年的柯尼斯堡課程篇幅最為詳盡，緊密跟隨著 Galois 極度抽象且難以親近的原始論文結構。Hurwitz 堅持採用十九世紀經典的代換群傳統來處理教材，但他同時也敏銳地察覺到，Galois 即使未曾明言，腦海中卻早已具備了後來才正式定義的體概念。這份由 Hurwitz 親手梳理的講稿，不僅展現了他身為頂尖教育者的清晰邏輯，也為後世搭起了一座理解天才原創思想的絕佳橋樑。
透過 1890 年柯尼斯堡手稿的重建，Hurwitz 以純粹的數學簡潔性證明了 Galois 基本定理，展現頂尖學者如何讓封存的天才思想跨越世紀流傳。