群是一種只有一個運算的、比較簡單的代數結構；是可用來建立許多其他代數系統的一種基本結構。而伽羅瓦群（Groupe de Galois）是與某個類型的域擴張相伴的群。是伽羅瓦理論的重要概念。
域擴張源於多項式，通過伽羅瓦群研究域擴張以及多項式稱為伽羅瓦理論，以發現者法國天才數學家埃瓦里斯特·伽羅瓦命名。
基本介紹
- 中文名：伽羅瓦群
- 外文名：Groupe de Galois
- 領域：代數
- 定義：與域擴張相伴的群
- 命名來源：埃瓦利斯特·伽羅瓦
- 重要理論：伽羅瓦理論
概述,定義,群,伽羅瓦理論,伽羅瓦擴張,人物簡介,
概述
伽羅瓦群是伽羅瓦理論的一個重要概念。設K是域F的伽羅瓦擴域，K的F自同構群G(K/F)稱為K/F的伽羅瓦群。當K為F可分閉包時，G(K/F)稱為F的絕對伽羅瓦群。若K是F的一個有限次伽羅瓦擴域，則G(K/F)是一個[K∶F]階群。由於有限次伽羅瓦擴域等同於某一可分多項式的分裂域，因此，若域K是域F上一個可分多項式f(x)的分裂域，則其伽羅瓦群G(K/F)就稱為f(x)的伽羅瓦群，從而有限次伽羅瓦擴域的伽羅瓦群必為某一多項式的伽羅瓦群。在歷史上，是伽羅瓦(Galois，E.)首先對多項式引入伽羅瓦群的概念.
數學中，伽羅瓦群（Groupe de Galois）是與某個類型的域擴張相伴的群。域擴張源於多項式，通過伽羅瓦群研究域擴張以及多項式稱為伽羅瓦理論，以發現者法國天才數學家埃瓦里斯特·伽羅瓦命名。
定義
假設 E 是域 F 的一個擴張（寫成 E/F，讀做 E 在 F 上，英語：E over F）。考慮所有 E/F 的自同構集合（即同構 α 從 E 到自身使得 α(x) = x 對所有 x 屬於 F）。這個自同構集合與函式複合一起組成一個群，有時記做 Aut(E/F)。
如果 E/F 是一個伽羅瓦擴張，則 Aut(E/F) 稱為（擴張）E 在 F 上的伽羅瓦群，通常記做 Gal(E/F)。
群
群是一種只有一個運算的、比較簡單的代數結構；是可用來建立許多其他代數系統的一種基本結構。
設G為一個非空集合，a、b、c為它的任意元素。如果對G所定義的一種代數運算“·”(稱為“乘法”，運算結果稱為“乘積”)滿足：
(1)封閉性，a·b∈G;
(2)結合律，即(a·b)c = a·(b·c);
(3)對G中任意元素a、b，在G中存在惟一的元素x，y，使得a·x= b，y·a=b，則稱G對於所定義的運算“·”構成一個群。例如，所有不等於零的實數，關於通常的乘法構成一個群;時針轉動(關於模12加法)，構成一個群。
滿足交換律的群，稱為交換群。
群是數學最重要的概念之一，已滲透到現代數學的所有分支及其他學科中。凡是涉及對稱，就存在群。例如，可以用研究圖形在變換群下保持不變的性質，來定義各種幾何學，即利用變換群對幾何學進行分類。可以說，不了解群，就不可能理解現代數學。
1770年，拉格朗日在討論代數方程根之間的置換時，首先引入群的概念，而它的名稱，是伽羅華在1830年首先提出的。
伽羅瓦理論
設K是一個域，設Aut(K)是K的所有自同構做成的集合，在映射複合之下Aut(K)做成一個群，稱為K的全體自同構群。設F是K的子域，令G (K/F) ={σ∈Aut(K)|σ(a)=a，a∈F}，它是Aut(K)的子群，稱為K的F-自同構群。設G是Aut(K)的一個子群，令K= {a∈K|σ(a)=a，σ∈G}，它是K的一個子域，稱為群G的固定域。G(K/F)也記作GK(F)。設K/F是一個代數擴張，下面3個條件等價： (1) K是F的可分正規擴域。(2)F=KK(F)。(3)存在GK(F)的子群G，使得F=KG。滿足這些條件的F的擴域K稱為F的一個伽羅瓦擴域，K/F稱為伽羅瓦擴張，GK(F)=G(K/F)稱為K/F的伽羅瓦解。K是F上的有限次伽羅瓦擴域若且唯若K是F上一切可分的不可約多項式乘積的分裂域。設E是伽羅瓦擴張K/F的中間域，則K/E也是伽羅瓦擴張。設K/F是有限次伽羅瓦擴張，G=G(K/F)是K/F的伽羅瓦群，對於G的子群H，令E=K是K的固定域，則H↔K給出了G的所有子群與K/F的所有中間域之間的一一對應。這個結論稱為伽羅瓦理論的基本定理。設K/F是一個域擴張，如果存在K/F的一串中間域F=F0，F1，…，Fr=K：使得K，Fi=Fi-1(ai)，aii∈Fi-1，i=1，…，r，其中ni是一個不能被CharF整除的正整數。設F是一個域，f(x)∈f[x]，方程f(x)=0稱為在F上可以用根號解，如果存在F的一個根號擴域，使得f(x)的全部根都在K中。設K是一個域，t1，…，tn是K上的無關未定元，令F=K(t1，…，tn)是K上t1，…，tn的有理分式域，多項式f(x)=x-t1x+t2x-…+(-1)tn∈F[x]稱為K上n次一般方程，設K是一個特徵為0的域，則K上n次一般方程在F=K(t1，…，tn)上可以用根號解若且唯若n≤4。利用伽羅瓦理論基本定理還可以證明x-4x+2=0等方程在有理數域上不能用根號解。
伽羅瓦擴張
伽羅瓦理論的一個基本的代數擴張。伽羅瓦擴張是指域的可分正規擴張。若K為域F的代數擴張，則此域擴張為伽羅瓦擴張的充分必要條件為K的F自同構群G(K/F)的固定域K恰為F；有限次伽羅瓦擴域等同於一個可分多項式的分裂域。
人物簡介
伽羅瓦是法國數學家。生於巴黎郊區布拉倫(Bourg-la-Reine)，卒於巴黎。幼時受到良好的親職教育.12歲入中學，在數學教師理察(Richard 1795—1849)指導下研究代數方程可解條件問題，17歲(1828年)高中未畢業便寫出了關於循環連分數及五次方程代數解法的論文。18歲(1829年)中學畢業，同年進入師範學校.他是法國資產階級革命的積極參加者，曾因此被開除學籍並兩次入獄。恢復自由後不久，因政治和愛情的糾葛，在一次決鬥中不幸身亡，年僅21歲。
伽羅瓦短暫的一生，為數學增添了全新的思想，如群、域概念發展成為了許多新的數學分支。特別是還發現了每個代數方程必有反映其特性的置換群存在，從而解決了多年不能解決的用根式解代數方程的可能性的判斷問題，創立了“伽羅瓦理論”，並為群論的建立、發展和套用奠定了基礎。也使他成為了19世紀偉大的數學家之一。
