Fundamental theorem of Galois theory

ウィキペディア

ガロア理論の基本定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/09/14 03:50 UTC 版)

数学では、ガロア理論の基本定理 (fundamental theorem of Galois theory) は、ある種の体の拡大の構造を記述した結果である。

定理の最も基本的な形は、有限次ガロア拡大である体の拡大 E/F が与えられると、一対一対応が中間体とガロア群の部分群の間に存在する。（中間体とは、F ⊆ K ⊆ E を満たす体のことを言う、それらを E/F の部分拡大と言う。）

証明

基本定理の証明は、自明なことではない。通常の扱いで最も重要な点は、エミール・アルティン(Emil Artin)のむしろ微妙でデリケートな結果であり、与えられた自己同型群により固定された中間体の次元を制御することができる。ガロア拡大 K/F の自己同型群は、体 K 上の函数として線型独立である。この事実は、より一般的な事実である指標の線型独立性から従う。原始元定理を使うかなり簡単な証明もあるが、有限体の場合に独立した（しかしより簡単な）証明をする必要があるため、この証明は現代的な取扱いではほとんど用いられない。

抽象的な言葉では「ガロア対応(Galois connection)が存在する」と述べられる。その性質は少々形式的であるが、いくつかの事実を述べるには具体的に順序集合の同型写像を記述する必要がある。

対応の明確な記述

有限拡大に対し、対応は次のように明確に述べることができる。

• Gal(E/F) の任意の部分群 H に対し、対応する体は普通 E^H と書き、全ての H の自己同型により固定される E の元の集合である。
• E/F の任意の中間体 K に対し、対応する部分群は、まさに Aut(E/K) に一致し、全ての K の元を固定する Gal(E/F) の中の自己同型の集合である。

例えば、頂点にある体 E は Gal(E/F) の自明な部分群に対応し、基礎体 F は Gal(E/F) の全体に対応する。

対応の性質

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

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

例

部分体と部分群束(Lattice of subgroups)

体 K = Q(√2, √3) = Q(√2)(√3) を考える。最初 K は √2 を添加することにより決定され、次に √3 を添加することで決定されるので、K の各々の元は次のように表すことができる。

$(a+b{\sqrt {2}})+(c+d{\sqrt {2}}){\sqrt {3}},$

部分体と部分群束

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

Q 上の多項式 x³−2 の分解体 K を考える。すなわち、K = Q (θ, ω) で、ここに θ は 2 の立方根であり、ω は 1 の立方根である（が 1 ではない）。例えば、K を複素数の中の体と考えると、θ を 2 の実立法根で、ω を

${\displaystyle \omega ={\frac {-1}{2}}+i{\frac {\sqrt {3}}{2}}}$

とする。ガロア群 G = Gal(K/Q) は 6 つの元をもち、3つの対象の置換群と同型である。G は　2つの自己同型、いわば、f と g により生成され、それらは θ と ω の効果により次のように決定される。

${\displaystyle f(\theta )=\omega \theta ,\quad f(\omega )=\omega ,}$

${\displaystyle g(\theta )=\theta ,\quad g(\omega )=\omega ^{2},}$

と、従って、

${\displaystyle G=\left\{1,f,f^{2},g,gf,gf^{2}\right\}.}$

G の部分群と対応する部分体は次のようになる。

• 普通に行うように、G 全体は基礎体 Q に対応し、自明な群 {1} は K 全体に対応する。
• 位数 3 の群、{1, f, f ²} が唯一、存在する。対応する部分体は Q(ω) であり、これは Q 上、次数 2 であり（ω 最小多項式は x² + x + 1 ）、G の指数 2 の G の部分群であるという事実に対応している。また、この部分群は正規部分群で、Q 上で正規な体であるという事実に対応している。
• 位数 2 の部分群が 3個存在し、{1, g}、{1, gf}、{1, gf²} で、これらがそれぞれ 3つの部分体 Q(θ), Q(ωθ), Q(ω²θ) に対応している。3つの部分体は Q 上、次数 3 の部分体であり、指数 3 をもつ G の部分群に対応している。注意すべきは、部分群が G で正規部分群ではなく、この事実は部分体は Q 上、ガロア的になっていないという事実に対応している。例えば、Q(θ) は多項式 x³−2 の根を一つしか持っていないので、Q 上、正規ではありえない。

応用

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

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

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

無限次拡大の場合

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

参考文献

1. ^ See Marcus, Daniel (1977). Number Fields. Appendix 2. New York: Springer-Verlag. ISBN 0-387-90279-1.