ガロア理論

出典: フリー百科事典『ウィキペディア（Wikipedia）』

ガロア理論（-りろん、Galois theory）は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する代数学の理論である。1830年代におけるエヴァリスト・ガロアによる代数方程式のべき根による可解性などの研究に端を発しているためこの名前がつけられている。数学的構造についての最も初期の研究であり、圏と関手の考え方を含むような非常に現代的なパラダイムにもとづく理論だと見なされている。

ガロア理論によれば、（特に有限次の）"ガロア拡大" と呼ばれる体の代数拡大について、拡大の自己同型群の部分群と、拡大の中間体との対応関係を記述することができる。

[編集] 概要

ガロア理論では加減乗除ができるような数の範疇での代数方程式がとらえられる。したがって有理数や複素数の範囲で多項式によって表された方程式の解を考えたり、あるいは整形数の多項式で素数を法とした解を考える場合がガロア理論の直接的な対象となる。

代数方程式が代数的に解ける、つまり係数に対する四則演算と根号の有限個の組合せで解が表せるかどうかが問題になる。4次までの代数方程式についてはこれがなりたっており、例えば二次の多項式 x² - 2ax + bの二つの根は

$a + \sqrt{a^2 - b}, a - \sqrt{a^2 - b}$

と表すことができる。一般的に、与えられた多項式 p （以下技術的な仮定として p の分離性を仮定する）の根が多項式の係数の四則演算とべき根によって表せるかどうかは、係数の作る体 K の適当な冪根拡大に根が含まれるかどうか、とい言い換えることができる。別の見方をすれば、与えられた多項式の根を全て添加して、その上では p が一次式の積に分解するようにした体（p の分解体 (splitting field)）L が、体 K のべき根拡大になっているか、定式化できる。

p を形式的に根の一次式の積として表す（実際、これはKを含む代数閉体上で可能になる）ことでの係数は根の基本対称式であること（根と係数の関係）が分かる。したがって拡大体 L の自己同型 σ が根の入れ替えを引き起こしているときには σ の下で p の係数たちや、より一般に K の元は変化しないことがわかる。一方、Kの元を不変にするような L の自己同型は p の根を入れ替えている。このような変換すべての集まり Gal(L/K) は変換の合成という二項演算について群の構造を持っており、LのK上のガロア群または p のガロア群とよばれる。

仮に p の根が係数の加減乗除やべき根による式で表せていたとすると、その式のうち一部分で表される数から生成するような体を考えることができ、こうして得られる体は K を含んで L に含まれる体（Lの部分拡大）となる。このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするようなGal(L/K)の部分群が存在する。Kの元xのn乗根はn個あるが、それらすべてで生成されるようなLの部分体は重要な役割を果たす。より一般に、体の拡大において、ある体上で既約な多項式の分解体となるという性質を正規性といい、中間体の正規性はガロア群の部分群が正規部分群であることに対応している。

例えば、Lの正規部分拡大のうちでK の特定の元のべき根によって生成されるもの M の対称性を表す群 Gal(M/K) = Gal(L/K) / Gal(L/M)は巡回群になる。L が K のべき根拡大になっているかどうかは群 G が可解群になっているかどうかと同値になる。このようにして分解体の自己同型を調べることで方程式の可解性について考察することができる。一方、最も一般的な設定の下では群 Gal(L/K) はn次の対称群になる。特に、5次以上の一般の多項式の対称性を表す5次の対称群は可解群ではなく、このことから5次以上の代数方程式は一般に可解でない（代数的な根の公式が存在しない）ことがわかる。

[編集] より発展的な定式化

抽象代数学においては、方程式とその分解体という具体的な対象を一旦放棄して、抽象的に定義された体の代数的拡大を取り扱うことになる。上と同様に拡大体の自己同型と部分群の間の対応がうまくいくように、分離性と正規性とよばれる二つの条件が要求される。この二つを満たすような拡大は ガロア拡大 (Galois extension) と呼ばれる。一般に体 K の有限次分離拡大の「合併』として K の分離閉包 K^sep が考えられる。K^sep の正規部分拡大 L の自己同型でKの元を固定しているもの全体 Gal(L/K) はLに含まれる K の有限次分離拡大のガロア群の射影極限となっている。Gal(L/K)は各点収束の位相について位相群となり、Lの中間体のなす系と、 Gal(L/K) の閉部分群たちのなす系との間に同値性が成り立つ。

体Kに対しその絶対ガロア群G_K = Gal(K^sep/K)が推移的かつ連続に作用する有限離散空間Xが与えられたとする。このときXからK^sepへの写像の空間(K^sep)^Xに体するG^Kの作用

(g.f)[x] = g.f(g^-1x)

が考えられる。この作用の下で固定されている写像たちのなす部分代数は、Xの任意の一点の固定部分群に関するK^sepの不変部分体と同型になる（Xの点の取り替えはK^sepの中での共役な部分体の取り替えに対応する）。Xへの作用の推移性を外すことはKの分離拡大体の代わりにK上のエタール代数を考えることに対応し、こうしてK上のエタール代数のなす圏とG_Kが連続に作用する離散有限空間のなす圏との間の圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化がえられる。

[編集] 逆問題

与えられた方程式（あるいは体のガロア拡大）のガロア群を計算する問題を "ガロアの順問題"、与えられた群をガロア群にもつ方程式（あるいは体の拡大）を構成する問題を "ガロアの逆問題" と呼ぶことがある。

[編集] 有限体上のガロア群

フロベニウス、...TBD

[編集] ガロア理論の基本定理

体 L を体 K の有限次ガロア拡大とする。L と K の中間体 M とGal(L/K)の部分群 H について次の式が成立つ。

M = L^Gal(L/M), H = Gal(L/L^H)

ただし、Gal(L / M) は拡大 L / K のガロア群であり、L^Hは L の元のうちで H の下で不変になっているもののなすL の部分拡大を指す。

したがって、Lの中間体 M とガロア群 Gal(L / K) の部分群 H の間の対応

φ : M → H = Gal(L/M), ψ: M = L^H ← H

は互いに逆で、これらは全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。つまり、M₁ ⊃ M₂ ならば φ(M₁) ⊂ φ(M₂), G₁ ⊃ G₂ なら ψ(G₁) ⊂ ψ(G₂) となる。

[編集] 歴史

ガロアは1832年の（死の原因となる）決闘の前日に、友人のオーギュスト・シュヴァリエに宛てて、ガロア理論と楕円関数論に関する数学的業績を要約した手紙を書いた。その後、1846年になって、リューヴィルがガロアの功績を知って自分の雑誌にガロアの論文集を掲載したことで、多くの数学者が刺激を受けることになった。早い時期に、ベッチ、クロネッカー、ケイリー、セレは群概念を厳密化していった。ジョルダン、シルベスター、リー、アルティン、グロタンディーク、テンソル圏...TBD