ガロア理論の基本定理

数学において、ガロア理論の基本定理 () とは、ある種の体の拡大がなす構造を記述する結果である。
定理の最も基本的な主張は「体の有限次ガロア拡大 が与えられると、その中間体とガロア群 の部分群の間に一対一対応が存在する」ことである。（中間体とは、 を満たす体のことを言う、それらを の部分拡大と言う。）この定理は拡大体 の中間体の分類という難しく聞こえる問題を、ある有限群の部分群を列挙せよというより扱い易い問題へ変換している。
証明.
基本定理の証明は、自明なことではない。通常の扱いで最も重要な点は、与えられた自己同型群により固定された中間体の次元を制御することができるという、エミール・アルティンによる幾分繊細な結果である。ガロア拡大 の自己同型写像は、体 上の函数として線型独立である。この事実は、より一般的な事実である指標の線型独立性から従う。
原始元定理を使うかなり簡単な証明もあるが、有限体の場合に異なる（しかしより簡単な）証明をする必要があるため、現代的な取扱いではほとんど用いられない。
抽象的な言葉では「が存在する」と述べられる。その多くの性質は単に形の上でのことであるが、実際の順序集合の同型写像を記述するにはいくらか作業を要する。
対応の明示的な記述.
有限拡大に対し、対応は次のように明示的に述べることができる。
例えば、一番上の体 は の自明な部分群に対応し、基礎体 は の全体に対応する。
対応の性質.
対応は次のような有益な性質を持っている。
例.
体 を考える。 は と を順に添加することで決定されるので、 の各々の元は次のように表すことができる。
ここに は有理数である。このガロア群 は を固定するような の自己同型を調べることで決定することができる。ガロア群に属する置換は最小多項式の根の入れ替えだけができるので、そのような自己同型は を もしくは へ写し、 を もしくは へ写す必要がある。 が と とを入れ替えるとすると、
となり、 が と を入れ替えるとすると、
となる。これらは明らかに の自己同型である。何も変えない恒等写像である自己同型 も存在し、 と の合成も存在し、それらの"両方の"冪根の符号を変える。
したがって
であり、 はクラインの四元群に同型である。この群は 5つの部分群を持ち、それらの各々は基本定理から の部分体と対応する。
非アーベル的な例.
次の例はガロア群がアーベル群でない最も簡単な例である。
 上の多項式 の分解体 を考える。すなわち、 で、ここに は 2 の立方根であり、 は 1 の立方根である（が 1 ではない）。例えば、 を複素数の中の体と考えると、 として 2 の実立法根、 として
が取れる。ガロア群 は 6 つの元をもち、3つの対象の置換群と同型である。 は（たとえば）2つの自己同型—— と とする ——により生成され、それらは次の と への作用により定められる。
したがって
である。
 の部分群と対応する部分体は次のようになる。
応用.
この定理は拡大体 の中間体の分類という難しく聞こえる問題を、ある有限群の部分群を列挙せよというより扱い易い問題へ変換している。
例えば、一般の五次方程式は冪根によって解けない（アーベル-ルフィニの定理を参照）ことを証明するため、まず最初に、（ を のある元の 乗根としたときに となるような拡大）により問題を言い換え、この基本定理を使い、冪根拡大の問題を直接対応できる群の問題へ変換する。
クンマー理論と類体論のような理論は、この基本定理から予想することができる。
無限次拡大の場合.
この基本定理には、正規拡大であり分離拡大である無限次代数拡大へ適用できるバージョンも存在する。これには、ガロア群にクルル位相というある位相構造を定義することが必要で、閉集合である部分群だけが上記の対応と関連している。