数学において、ガロア理論の基本定理 () とは、ある種の体の拡大がなす構造を記述する結果である。

定理の最も基本的な主張は「体の有限次ガロア拡大 が与えられると、その中間体とガロア群 の部分群の間に一対一対応が存在する」ことである。（中間体とは、 を満たす体のことを言う、それらを の部分拡大と言う。）この定理は拡大体 の中間体の分類という難しく聞こえる問題を、ある有限群の部分群を列挙せよというより扱い易い問題へ変換している。

証明

基本定理の証明は、自明なことではない。通常の扱いで最も重要な点は、与えられた自己同型群により固定された中間体の次元を制御することができるという、エミール・アルティンによる幾分繊細な結果である。ガロア拡大 の自己同型写像は、体 上の函数として線型独立である。この事実は、より一般的な事実である指標の線型独立性から従う。

原始元定理を使うかなり簡単な証明もあるが、有限体の場合に異なる（しかしより簡単な）証明をする必要があるため、現代的な取扱いではほとんど用いられないSee 。

抽象的な言葉では「が存在する」と述べられる。その多くの性質は単に形の上でのことであるが、実際の順序集合の同型写像を記述するにはいくらか作業を要する。

対応の明示的な記述

有限拡大に対し、対応は次のように明示的に述べることができる。 の任意の部分群 に対し、対応する体は普通 と書かれ、これは全ての の自己同型により固定される の元の集合である。 の任意の中間体 に対し、対応する部分群は、単に であり、これは全ての の元を固定する に属する自己同型の集合である。

例えば、一番上の体 は の自明な部分群に対応し、基礎体 は の全体に対応する。

対応の性質

対応は次のような有益な性質を持っている。

包含関係を逆にする(inclusion-reversing)。部分群の包含関係 が成り立つことと体の包含関係 が成り立つこととは同値。 拡大次数は包含関係を逆にするという性質と矛盾しない形で群の位数と関係する。具体的には が の部分群であれば であり である。 体 は の正規拡大（分離拡大の部分拡大は分離的だから、これはガロア拡大というのと同じ）であることと、 が の正規部分群であることとは同値である。このとき の元の への制限は、 と商群 の間の群同型を引き起こす。

例

体 を考える。 は と を順に添加することで決定されるので、 の各々の元は次のように表すことができる。

ここに は有理数である。このガロア群 は を固定するような の自己同型を調べることで決定することができる。ガロア群に属する置換は最小多項式の根の入れ替えだけができるので、そのような自己同型は を もしくは へ写し、 を もしくは へ写す必要がある。 が と とを入れ替えるとすると、

となり、 が と を入れ替えるとすると、

となる。これらは明らかに の自己同型である。何も変えない恒等写像である自己同型 も存在し、 と の合成も存在し、それらの両方の冪根の符号を変える。

したがって

であり、 はクラインの四元群に同型である。この群は 5つの部分群を持ち、それらの各々は基本定理から の部分体と対応する。 （単位元のみを含む）自明な部分群は、 の全体に対応する。 全体 は、基礎体 に対応する。 2元からなる部分群 は、 が を固定するので部分体 に対応する。 2元からなる部分群 は、 が を固定するので部分体 に対応する。 2元からなる部分群 は、 が を固定するので部分体 に対応する。

非アーベル的な例

次の例はガロア群がアーベル群でない最も簡単な例である。

上の多項式 の分解体 を考える。すなわち、 で、ここに は 2 の立方根であり、 は 1 の立方根である（が 1 ではない）。例えば、 を複素数の中の体と考えると、 として 2 の実立方根、 として

が取れる。ガロア群 は 6 つの元をもち、3つの対象の置換群と同型である。 は（たとえば）2つの自己同型—— と とする ——により生成され、それらは次の と への作用により定められる。

したがって

である。

の部分群と対応する部分体は次のようになる。 いつものように全体 は基礎体 に対応し、自明な群 は 全体に対応する。 位数 3 の群、 が唯一、存在する。対応する部分体は であり、これは 上、次数 2 であり（ 最小多項式は ）、 の指数 2 の の部分群であるという事実に対応している。また、この部分群は正規部分群で、 上で正規な体であるという事実に対応している。 位数 2 の部分群が 3個存在し、 で、これらがそれぞれ 3つの部分体 に対応している。3つの部分体は 上、次数 3 の部分体であり、指数 3 をもつ の部分群に対応している。注意すべきは、部分群が で正規部分群ではなく、この事実は部分体は 上、ガロア的になっていないという事実に対応している。例えば、 は多項式 の根を一つしか持っていないので、 上、正規ではありえない。

応用

この定理は拡大体 の中間体の分類という難しく聞こえる問題を、ある有限群の部分群を列挙せよというより扱い易い問題へ変換している。

例えば、一般の五次方程式は冪根によって解けない（アーベル-ルフィニの定理を参照）ことを証明するため、まず最初に、（ を のある元の 乗根としたときに となるような拡大）により問題を言い換え、この基本定理を使い、冪根拡大の問題を直接対応できる群の問題へ変換する。

クンマー理論と類体論のような理論は、この基本定理から予想することができる。

無限次拡大の場合 この基本定理には、正規拡大であり分離拡大である無限次代数拡大へ適用できるバージョンも存在する。これには、ガロア群にクルル位相というある位相構造を定義することが必要で、閉集合である部分群だけが上記の対応と関連している。

脚注

参考文献