ガロア理論の基本定理のソースを表示

{{出典の明記|date=2015年9月}}
[[数学]]において、'''[[ガロア理論]]の基本定理''' ({{lang-en-short|fundamental theorem of Galois theory}}) とは、ある種の[[体の拡大]]がなす構造を記述する結果である。

定理の最も基本的な主張は「[[体の拡大|体]]の[[有限拡大|有限次]][[ガロア拡大]] {{math|''E''/''F''}} が与えられると、その[[体の拡大#中間体|中間体]]と[[ガロア群]] {{math|Gal(''E''/''F'')}} の[[部分群]]の間に[[全単射|一対一対応]]が存在する」ことである。（中間体とは、{{math|''F'' ⊆ ''K'' ⊆ ''E''}} を満たす体のことを言う、それらを {{math|''E''/''F''}} の'''部分拡大'''と言う。）この定理は拡大体 {{math|''E''/''F''}} の中間体の分類という難しく聞こえる問題を、ある[[有限群]]の部分群を列挙せよというより扱い易い問題へ変換している。

==証明==

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

[[原始元定理]]を使うかなり簡単な証明もあるが、有限体の場合に異なる（しかしより簡単な）証明をする必要があるため、現代的な取扱いではほとんど用いられない<ref>See {{cite book |last=Marcus |first=Daniel |title=Number Fields |others=Appendix 2 |location=New York |publisher=Springer-Verlag |year=1977 |isbn=0-387-90279-1 }}</ref>。

抽象的な言葉では「{{仮リンク|ガロア対応|en|Galois connection}}が存在する」と述べられる。その多くの性質は単に形の上でのことであるが、実際の[[順序集合]]の同型写像を記述するにはいくらか作業を要する。

==対応の明示的な記述==

有限拡大に対し、対応は次のように明示的に述べることができる。
* {{math|Gal(''E''/''F'')}} の任意の部分群 {{mvar|H}} に対し、対応する体は普通 {{mvar|E<sup>H</sup>}} と書かれ、これは全ての {{mvar|H}} の自己同型により固定される {{mvar|E}} の元の集合である。
* {{math|''E''/''F''}} の任意の中間体 {{mvar|K}} に対し、対応する部分群は、単に {{math|Aut(''E''/''K'')}} であり、これは全ての {{mvar|K}} の元を固定する {{math|Gal(''E''/''F'')}} に属する自己同型の集合である。

例えば、一番上の体 {{mvar|E}} は {{math|Gal(''E''/''F'')}} の自明な部分群に対応し、基礎体 {{mvar|F}} は {{math|Gal(''E''/''F'')}} の全体に対応する。

==対応の性質==

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

* '''包含関係を逆にする'''(inclusion-reversing){{sfn|Cox|2012|loc=Theorem 7.3.2|p={{google books quote|id=TshTYrh7MDYC|page=163|163}}}}。部分群の包含関係 {{math|''H''<sub>1</sub> &sube; ''H''<sub>2</sub>}} が成り立つことと体の包含関係 {{math|''E''<sup>''H''<sub>1</sub></sup> ⊇ ''E''<sup>''H''<sub>2</sub></sup>}} が成り立つこととは同値。
* 拡大次数は包含関係を逆にするという性質と矛盾しない形で群の位数と関係する。具体的には {{mvar|H}} が {{math|Gal(''E''/''F'')}} の部分群であれば {{math|{{!}}''H''{{!}} {{=}} [''E'' : ''E<sup>H</sup>'']}} であり {{math|{{!}}Gal(''E''/''F'')/''H''{{!}} {{=}} [''E<sup>H</sup>'' : ''F'']}} である{{sfn|Cox|2012|loc=Theorem 7.3.1(b)|p={{google books quote|id=TshTYrh7MDYC|page=162|162}}}}。
* 体 {{mvar|E<sup>H</sup>}} は {{mvar|F}} の[[正規拡大]]（分離拡大の部分拡大は分離的だから、これはガロア拡大というのと同じ）であることと、{{mvar|H}} が {{math|Gal(''E''/''F'')}} の[[正規部分群]]であることとは同値である。このとき {{math|Gal(''E''/''F'')}} の元の {{mvar|E<sup>H</sup>}} への制限は、{{math|Gal(''E<sup>H</sup>''/''F'')}} と[[商群]] {{math|Gal(''E''/''F'')/''H''}} の間の[[群同型]]を引き起こす。

== 例 ==
[[File:Lattice diagram of Q adjoin the positive square roots of 2 and 3, its subfields, and Galois groups.svg|thumb|600px|部分体と{{仮リンク|部分群の束|en|Lattice of subgroups}}]]
体 {{math|''K'' {{=}} '''Q'''(√2, √3) {{=}} '''Q'''(√2)(√3)}} を考える。 {{mvar|K}} は {{math|√2}} と {{math|√3}} を順に添加することで決定されるので、{{mvar|K}} の各々の元は次のように表すことができる。
:<math>(a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}</math>
ここに {{math|''a'', ''b'', ''c'', ''d''}} は有理数である。このガロア群 {{math|''G'' {{=}} Gal(''K''/'''Q''')}} は {{mvar|a}} を固定するような {{mvar|K}} の自己同型を調べることで決定することができる。ガロア群に属する置換は最小多項式の根の入れ替えだけができるので、そのような自己同型は {{math|√2}} を {{math|√2}} もしくは {{math|&minus;√2}} へ写し、{{math|√3}} を {{math|√3}} もしくは {{math|&minus;√3}} へ写す必要がある。{{mvar|f}} が {{math|√2}} と {{math|&minus;√2}} とを入れ替えるとすると、
:<math>f\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})+(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}+c\sqrt{3}-d\sqrt{6}</math>
となり、{{mvar|g}} が {{math|√3}} と {{math|&minus;√3}} を入れ替えるとすると、
:<math>g\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a+b\sqrt{2})-(c+d\sqrt{2})\sqrt{3}=a+b\sqrt{2}-c\sqrt{3}-d\sqrt{6}</math>
となる。これらは明らかに {{mvar|K}} の自己同型である。何も変えない恒等写像である自己同型 {{math|1}} も存在し、{{mvar|f}} と {{mvar|g}} の合成も存在し、それらの''両方の''冪根の符号を変える。
:<math>(fg)\left((a+b\sqrt{2})+(c+d\sqrt{2})\sqrt{3}\right)=(a-b\sqrt{2})-(c-d\sqrt{2})\sqrt{3}=a-b\sqrt{2}-c\sqrt{3}+d\sqrt{6}.</math>
したがって
:<math>G = \left\{1, f, g, fg\right\}</math>
であり、 {{mvar|G}} は[[クラインの四元群]]に同型である。この群は 5つの部分群を持ち、それらの各々は基本定理から {{mvar|K}} の部分体と対応する。
* （単位元のみを含む）自明な部分群は、{{mvar|K}} の全体に対応する。
* 全体 {{mvar|G}} は、基礎体 {{math|'''Q'''}} に対応する。
* 2元からなる部分群 {{math|{{mset|1, ''f''}}}} は、{{mvar|f}} が {{math|√3}} を固定するので部分体 {{math|'''Q'''(√3)}} に対応する。
* 2元からなる部分群 {{math|{{mset|1, ''g''}}}} は、{{mvar|g}} が {{math|√2}} を固定するので部分体 {{math|'''Q'''(√2)}} に対応する。
* 2元からなる部分群 {{math|{{mset|1, ''fg''}}}} は、{{mvar|fg}} が {{math|√6}} を固定するので部分体 {{math|'''Q'''(√6)}} に対応する。

== 非アーベル的な例 ==
[[File:Lattice diagram of Q adjoin a cube root of 2 and a primitive cube root of 1, its subfields, and Galois groups.svg|thumb|600px|部分体と部分群の束]]
次の例はガロア群がアーベル群でない最も簡単な例である。

{{math|'''Q'''}} 上の多項式 {{math|''x''<sup>3</sup>&minus;2}} の[[分解体]] {{mvar|K}} を考える。すなわち、{{math|''K'' {{=}} '''Q''' (θ, ω)}} で、ここに {{mvar|θ}} は 2 の立方根であり、{{mvar|ω}} は 1 の立方根である（が 1 ではない）。例えば、{{mvar|K}} を複素数の中の体と考えると、{{mvar|θ}} として 2 の実立方根、{{mvar|ω}} として
:<math>\omega = \frac{-1}2 + i\frac{\sqrt3}2</math>
が取れる。ガロア群 {{math|''G'' {{=}} Gal(''K''/'''Q''')}} は 6 つの元をもち、3つの対象の置換群と同型である。{{mvar|G}} は（たとえば）2つの自己同型—— {{mvar|f}} と {{mvar|g}} とする ——により生成され、それらは次の {{mvar|θ}} と {{mvar|ω}} への作用により定められる。
:<math>f(\theta) = \omega \theta, \quad f(\omega) = \omega,</math>
:<math>g(\theta) = \theta, \quad g(\omega) = \omega^2.</math>
したがって
:<math>G = \left\{ 1, f, f^2, g, gf, gf^2 \right\}.</math>
である。

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

==応用==

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

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

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

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

== 脚注 ==
{{reflist}}

==参考文献==
* {{cite book
    |last1              = Cox
    |first1             = David A.
    |authorlink1        =
    |year               = 2012
    |title              = Galois Theory
    |edition            = Second
    |series             = Pure and Applied Mathematics
    |url                = {{google books|TshTYrh7MDYC|plainurl=yes}}
    |publisher          = Wiley
    |isbn               = 978-1-118-07205-9
    |mr                 = 2919975
    |zbl                = 1247.12006
    |doi                = 10.1002/9781118218457
    |ref                = harv
}}

{{DEFAULTSORT:かろありろんのきほんていり}}
[[Category:体論]]
[[Category:群論]]
[[Category:ガロア理論]]
[[Category:代数学の定理]]
[[Category:基本定理]]
[[Category:数学に関する記事]]