在數學中，特別是抽象代數理論中，由法國數學家埃瓦里斯特・伽羅瓦（Évariste Galois）得名的伽羅瓦理論提供了體論和群論之間的聯繫。應用伽羅瓦理論，體論中的一些問題可以化簡為更簡單易懂的群論問題。

伽羅瓦最初使用置換群來描述給定的多項式的根與係數間的關係。由戴德金（Julius Wilhelm Richard Dedekind）、利奧波德・克羅內克（Leopold Kronecker）、埃米爾・阿廷（Emil Artin）等人發展起來的現代伽羅瓦理論引入了關於體擴張及其自同構的研究。

伽羅瓦理論的進一步抽象為伽羅瓦連接理論。



在經典問題上的應用

伽羅瓦理論的誕生最初是由於如下的現在稱之為阿貝爾 - 魯菲尼定理的問題：

伽羅瓦理論不僅對於這個問題提供了一個漂亮的解答，而且詳細的解釋了為什麼四次及更低次方程式有代數解，以及它們的代數解為什麼是那樣的形式。

伽羅瓦理論還給出了一些有關尺規作圖的問題的清晰洞察。它給出了所有可以尺規作圖的長度比的一個優雅的描述。這樣，一些經典幾何問題的解答變得相對容易：



伽羅瓦理論的置換群描述

如果我們給定一個多項式，它的一些根可能是被不同的多項式方程式聯繫起來的。例如，有兩個根 _A_ 和 _B_，它們滿足方程式 _A_2 + 5_B_3 = 7。伽羅瓦理論的核心思想是考慮具有以下性質的根的置換：這些根所滿足的任何多項式方程式，在置換之後也依然成立。一個重要的限制條件是我們要把多項式方程式的係數限定為有理數。（其實也可以把係數限定在其他的一個給定的體，但是為了簡單起見，我們限制在有理數體。）

這些置換形成了一個置換群，也稱為這個多項式（在實數體上）的伽羅瓦群。這可以很清晰的舉例說明。

第一個例子：二次方程式

考慮如下的一元二次方程式：

　
: $x^{2}-4x+1=0$

應用一元二次方程式的求根公式，我們可以求出它的兩個根為

　
: $A=2+{\sqrt {3}}$

　
: $B=2-{\sqrt {3}}$

_A_ 和 _B_ 滿足的多項式方程式，例如：

　
: ${\begin{cases}A+B=4\\AB=1\end{cases}}$

顯然在這些方程式中，如果我們交換 _A_ 和 _B_，我們同樣能得到真命題。例如，方程式 _A_ + _B_ = 4 簡單的變成了 _B_ + _A_ = 4。進一步的，這對於 _A_ 和 _B_ 滿足的所有可能的多項式方程式都成立。證明這個結論需要對稱多項式的理論。

我們可以總結出，多項式 _x_2 − 4_x_ + 1 的伽羅瓦群由兩個置換構成：保持 _A_ 和 _B_ 不變的恆同轉換，以及交換 _A_ 與 _B_ 位置的對換。它是一個二階循環群，因此同構於 Z/2Z。

這裡會有人產生疑問：_A_ 和 _B_ 同樣滿足另一個多項式方程式 $A-B-2{\sqrt {3}}=0$ ，但交換 _A_ 和 _B_ 時這個方程式並不能保持不變。其實這並不是個問題，因為它不是有理係數方程式： ${\sqrt {3}}$ 是一個無理數。

類似地可以討論任意二次多項式 _ax_2 + _bx_ + _c_，其中 _a、b、c_ 都是有理數。


* 如果多項式只有一個根，例如 _x_2 − 4_x_ + 4 =(_x_−2)2, 那麼伽羅瓦群是平凡的；也就是說，它只包括恆同轉換。

* 如果多項式有兩個不同的有理根，例如 _x_2 − 3_x_ + 2 =(_x_−2)(_x_−1)，伽羅瓦群同樣是平凡的。

* 如果多項式有兩個無理根（包括根是複數的情況），那麼伽羅瓦群包括上面例子中所描述的兩個置換。

第二個例子 —— 有些技巧性

考慮多項式

　
: $x^{4}-10x^{2}+1$

也可以寫成

　
: $(x^{2}-5)^{2}-24$

我們同樣希望在有理數體上描述這個多項式的伽羅瓦群。這個多項式有四個根：

　
: $A={\sqrt {2}}+{\sqrt {3}}$

　
: $B={\sqrt {2}}-{\sqrt {3}}$

　
: $C=-{\sqrt {2}}+{\sqrt {3}}$

　
: $D=-{\sqrt {2}}-{\sqrt {3}}$

這四個根有 24 種可能的排列，但這些排列並不都是伽羅瓦群的元素。伽羅瓦群的元素必須保持所有_A_, _B_, _C_ 和 _D_ 滿足的有理係數多項式方程式。這樣的方程式例如：

　
: _A_ + _D_ = 0.

因此置換

　
: (_A_, _B_, _C_, _D_)→(_A_, _B_, _D_, _C_)

是不允許的，因為它把真等式 _A_ + _D_ = 0 變成了假等式 _A_ + _C_ = 0，因為 _A_ + _C_ = 2√3 ≠ 0.

這些根滿足的另一個等式為：

　
: (_A_ + _B_)2 = 8.

這也會去掉一些置換，例如：

　
: (_A_, _B_, _C_, _D_)→(_A_, _C_, _B_, _D_)。

如此繼續下去，我們可以求出滿足所有等式的置換只有：

　
: (_A_, _B_, _C_, _D_)→(_A_, _B_, _C_, _D_)

　
: (_A_, _B_, _C_, _D_)→(_C_, _D_, _A_, _B_)

　
: (_A_, _B_, _C_, _D_)→(_B_, _A_, _D_, _C_)

　
: (_A_, _B_, _C_, _D_)→(_D_, _C_, _B_, _A_),

因此伽羅瓦群同構於克萊因四元群。



現代的體論描述

現代的研究方法是從代數擴張 _L_/_K_ 開始，並分析 _L_/_K_ 的自同構群。進一步的解釋和例子請參見關於伽羅瓦群的文章。

這兩種描述的關係如下說明。問題中的多項式的係數應當屬於基體 _K_。擴張體 _L_ 應當是在體 _K_ 中添加多項式的根之後所得到的體。任一滿足上述保持多項式性質的根的置換，都對應 _L_/_K_ 的一個自同構，反之亦然。

在上面的第一個例子中，我們研究的是體擴張 Q( ${\sqrt {3}}$ )/Q，其中 Q 是有理數體，而 Q( ${\sqrt {3}}$ ) 是在 Q 中加入 ${\sqrt {3}}$ 之後所得到的體。在第二個例子中，我們研究的是體擴張 Q(_A_,_B_,_C_,_D_)/Q。

現代的方法比起置換群的方法，有幾點優勢：


* 它使得伽羅瓦理論基本定理的描述更為簡潔；

* 在數學中的很多其他領體需要使用 Q 以外的基體。例如，在代數數論中，人們經常在代數數體、有限體和局部體上應用伽羅瓦理論。

* 它使人們更容易研究無窮擴張。這在代數數論中同樣很重要，例如人們經常需要研究 Q 的絕對伽羅瓦群，即當 _K_ 是 Q 的一個代數閉包時，_K_/Q 的伽羅瓦群。

* 它使得人們可以研究不可分擴張。這在經典框架中並不成為問題，因為這時總是可以假定為特徵 0 的；但在數論和代數幾何中經常出現特徵非 0 的情況。

* 它去除了人們對多項式求根的依賴性。也就是說，不同的多項式可能產生同一個擴張體，現代的方法可以識別這些多項式之間的聯繫。



可解群和根式解

群論中可解群的概念讓我們得以確定多項式何時有根式解。有根式解的充要條件是其分裂體 $L$ 對基體 $F$ 的伽羅瓦群可解。簡言之，取此伽羅瓦群的任一合成列，透過伽羅瓦理論基本定理，合成列對應到一族子體 $L=L_{n}\supset L_{n-1}\supset \cdots \supset L_{0}=F$ ，各段 $L_{i+1}/L_{i}$ 的伽羅瓦群一一對應於合成列的因子。若 $L_{i+1}/L_{i}$ 之伽羅瓦群是 n 階循環群，則體擴張 $L_{i+1}/L_{i}$ 由 n 次根式生成。伽羅瓦群可解若且唯若合成列的因子皆為循環群，於是若群可解，相應方程式便有根式解。反向的結果亦不難證明。

伽羅瓦理論的重大成就之一是證明了當 $n>4$ 時，一般的 $n$ 次多項式無根式解（「一般」意謂將多項式係數視為獨立變元），原因是對稱群 $S_{n}$ 在 $n>4$ 時不可解。

例子：一個不可解的五次方程式

以多項式方程式 $x^{5}-x-1=0$ 為例。

考慮整係數多項式 $f(x)=x^{5}-x-1$ 。根據一次因式檢定法， $f(x)$ 無有理根。由整係數之故，模任意質數 $p$ 後可視之為有限體上的多項式 ${\bar {f}}_{p}$ ，相應的伽羅瓦群記為 ${\bar {G}}_{p}$ 。取 $p=2,3$ ，易見 ${\bar {f}}_{p}$ 在 $\mathbb {Z} /p\mathbb {Z} $ 上無一次因式。

 ${\bar {f}}_{2}$ 可分解為 $(x^{2}+x+1)(x^{3}+x^{2}+1)$ ，故 ${\bar {G}}_{2}$ 為六階循環群。

 ${\bar {f}}_{3}$ 無二次因子，故 ${\bar {G}}_{3}$ 為五階循環群。

注意到 ${\bar {G}}_{p}$ 是 $f(x)$ 的伽羅瓦群的子商。 $S_{5}$ 的子群若含有六階及五階元素，則該子群生成 $S_{5}$ 。於是 $f(x)$ 的伽羅瓦群為 $S_{5}$ ，故無根式解。



參考文獻


* Emil Artin. Galois Theory. Dover Publications. 1998. ISBN 978-0-486-62342-9.

* Jörg Bewersdorff. Galois Theory for Beginners: A Historical Perspective. American Mathematical Society. 2006. ISBN 978-0-8218-3817-4.  .

* Nathan Jacobson. Basic Algebra I (2nd ed). W.H. Freeman and Company. 1985. ISBN 978-0-7167-1480-4.

* M. M. Postnikov. Foundations of Galois Theory. Dover Publications. 2004. ISBN 978-0-486-43518-3.

* Ian Stewart. Galois Theory. Chapman and Hall. 1989. ISBN 978-0-412-34550-0.

* Harold M. Edwards. Galois Theory. Springer-Verlag. 1984. ISBN 978-0-387-90980-6.

* B. L. van der Waerden, 'Algebra'（1930）

* Helmut Völklein, _Groups as Galois Groups: An Introduction_, Cambridge University Press (1996).

* Serge Lang, 'Algebraic Number Theory', Addison-Wesley (1970).



外部連結

以下是一些網上的教學資料：


* ABSTRACT ALGEBRA ON LINE: Galois Theory（頁面存檔備份，存於網際網路檔案館） （英文）

* nrich.maths.org Mathematics Enrichment: An Introduction to Galois Theory（頁面存檔備份，存於網際網路檔案館） （英文）

中英夾雜的教學資料：


* 簡介 Galois 理論 / 李華介（頁面存檔備份，存於網際網路檔案館）

以下網站提供德語、中文、英語、法語、義大利語、西班牙語及羅馬尼亞語版的線上教材：


* Evariste Galois: whatsnew（頁面存檔備份，存於網際網路檔案館） （英文）

以下網站提供伽羅瓦生平及其理論的應用：


* 稱對的對稱 —— 遊走於科學與藝術間 （頁面存檔備份，存於網際網路檔案館）