いよいよガロア理論です.ここまでに, 体の自己同型写像 と ガロア群の例 を通じて,体の自己同型写像群(つまりガロア群)というものを考えることで,正規拡大体の拡大次数をガロア群の位数で表すことができ,体の拡大と群という二つの概念が,美しく関係することを勉強しました.この考えを少し発展させると,正規拡大体の列を順次考えていくのに対応して,ガロア群の正規部分群の列が対応するのではないか,と想像できるでしょう.( ガロア群の例 の最後の例に,ガロア群が部分群を持つ例があります.)この記事で考える ガロア理論の基本定理 というのは,そのような体の拡大とガロア群の部分群の関係に関する定理です.今後の話題(作図可能な正多角形だとか,可解な方程式だとか)は,全て,この定理を中心に展開していきます.よく,定理の意味を理解して下さい.
theorem
体 とそのガロア拡大 の間に,中間体 があるとします.このとき, は のガロア拡大にもなっており,ガロア群 は の部分群になっています.また, が の正規部分群の場合に限り, は のガロア拡大になります.
体の包含関係 と,群の包含関係 が逆になる点に注意してください.(これを,体と群の包含関係が 反変的 と言ったりします.慣れるまで,一番よく混乱するのは,この反変的包含関係かも知れません.)これは『ガロア理論の基本定理』と呼ばれる大事な定理で,体の昇鎖列と部分群の組成列の関係を示した点が斬新であるだけでなく,中間体が関係している点が秀逸です.
一般に,体とその拡大体があったとき,その中間体にはどのようなものがあるのかを調べるのは容易ではありません.それは,体は一般的に無限集合であることが多く,無数に中間体を決められる可能性があるからです.ところが,拡大体がガロア拡大体である場合に限り,間にある中間体の構造はガロア群の構造に反映され,ガロア群を調べることで中間体の個数や様子をいとも簡単に知ることが出来るわけです.ガロア群はちょうど,中間体を調べるためのモニターのような役割を果たしています.ですから,今後の話題でも,中間体を考えることがとても重要です.このような隠されたカラクリを見破ったガロアの慧眼に,改めて畏怖の念を感じます.
少し長くなりますが,以下に証明を示します.
proof
【 が のガロア拡大体であることの証明】拡大体 は, 上のある分離多項式の最小分離体になっていますので, の元 を使って と書けるはずです.このとき も明らかです.解 を 上に持つ, 上で既約な多項式 を考えるとき, は, を解に持つ 上の多項式 を割るはずです.ここで, ガロア拡大とガロア群 で考えた【補足-1】より, は 上に全ての解(個数は の次数)を持ち,全ての解は相異なります.これより は のガロア拡大体になっていると言えます( ガロア拡大とガロア群 の定義 参照). より, は明らかです. と はどちらも の部分群になっています.■
proof
【 がガロア拡大体→ は の正規部分群の証明】 が のガロア拡大体ならば, のある元 を使って と書けるはずです. の 上の最小多項式を とすると, は全ての解を 上に持ちます. ですが,ある同型写像 に対して を満たすはずですので, は の解の一つで, が要請されます.この結果は, が を満たす同型写像だということです.また, は を不動に保ちますので, の元で にも属するもの( と書きます)は, を満たします.これより,写像 を考えると, によって なる写像がなされ, は準同型写像の群になります.準同型定理によって が成り立ちます.準同型写像の核は常に正規部分群ですから, が示されました.■
proof
【 は の正規部分群の証明→ がガロア拡大体】いま とします.このとき,二つの同型写像 に対し, を得ます. の元 に対し が成り立ちますので,これを変形して と見ると, は変換 に対して不動を保ち, が言えます( は の元に対す固定体でした).ここで,写像 を考えます. という変な記号を使いましたが,これは『 に属する同型写像で, の部分集合 を不動に保つもの』という意味だとします.まだ が部分体になることが示せていないので, と書くのは早計です.さて, 写像の核は です.いま,第三同型定理( 同型定理 参照)より が言えますので,拡大次数について が言えます.一方, は に対する固定体に含まれるはずですので, が成り立ちます.従って あって であり, は のガロア拡大体になっています.■
最後の証明より, を満たす同型写像の存在が示されます.ふう.