伽羅瓦擴張

伽羅瓦擴張是抽象代數中伽羅瓦理論的核心概念之一。伽羅瓦擴張是域擴張的一類。如果某個域擴張L/K既是可分擴張也是正規擴張，則稱其為伽羅瓦擴張。另一個等價的定義是：伽羅瓦擴張是使得其上的環自同構群的固定域為其基域的域擴張。伽羅瓦擴張上的自同構群稱為伽羅瓦群，而且伽羅瓦擴張的中間域與其伽羅瓦群的子群之間的關係滿足伽羅瓦理論基本定理。

等價定義

給定有限的域擴張L/K。L/K是伽羅瓦擴張，當且僅當它滿足以下四個相互等價的條件中的任何一個：

• L/K是可分的正規擴張。
• L是某個以K中元素為係數的多項式在K的分裂域，而且該多項式在此分裂域中沒有重根。
• [L : K] = |Aut(L/K)|。域擴張L/K的次數，等於其上的自同構群Aut(L/K)的階數（群元素的個數）。
• Aut(L/K)的不變域，即$L^{\mathrm {Aut} (L/K)}:=\{x\in L|\forall \sigma \in \mathrm {Aut} (L/K),\sigma (x)=x\}$，是K。

例子

給定域擴張$\mathbb {Q} \subset \mathbb {Q} (\theta ,\omega )$，其中的θ = ³√2是2的三次方根，ω = e^2iπ⁄₃是三次單位根。$L=\mathbb {Q} (\theta ,\omega )$是多項式P = X³ - 2在有理數域上的分裂域，而且它在其中沒有重根，所以$L/\mathbb {Q}$是伽羅瓦擴張。它的擴張次數是6，而它的自同構群元素有六個，同構於3次對稱群。有關其具體結構，可參見伽羅瓦理論基本定理。

性質

如果域擴張基域的特徵為0，那麼所有代數擴張都是可分擴張，這時所有的正規擴張都是伽羅瓦擴張。

如果域擴張L/K是伽羅瓦擴張，則中間擴張K⊂F⊂L中，L/F也是伽羅瓦擴張。

域K的代數閉包K^alg是K的伽羅瓦擴張，當且僅當K是完美域。

參見

• 正規擴張
• 可分擴張
• 伽羅瓦群

參考文獻

• Serge Lang. Algebra. Springer-Verlag. 2002. ISBN 978-0-387-95385-4. 
• Patrick Morandi. Fields and Galois Theory. Springer（插圖版）. 1996. ISBN 9780387947532 （英語）.