推進定理

本記事ではガロア理論の推進定理について解説します。

前提

本記事では以下の内容を前提としています。それぞれ詳細はリンク先の記事をご覧ください。

L/Kを体の拡大、E,Fをその中間体とし、EFEFの合成体とする。このとき以下が成立する。()(1)E/Kはガロア拡大EF/Fはガロア拡大(2)E/K,F/Kはガロア拡大EF/Kはガロア拡大

L/Kを有限次ガロア拡大とする。このときL/Kの中間体と、ガロア群 G:=Gal(L/K)の部分群は以下の対応により一対一に対応している。LMGal(L/M)GGHLHL

これらを踏まえて、まずは推進定理でどのようなことを考えるのかを見ていきましょう。

気持ち

ガロア理論の基本定理により、有限次ガロア拡大の中間体とガロア群の部分群には一対一対応がありました。しかもただ対応しているだけでなく、包含関係や合成などの情報も保った非常に良い対応です。

つまりガロア群は、ガロア拡大に関し非常に多くの情報を保持しているということです。

ところで上にあるガロア拡大の性質 () によると、2つの中間体 E,Fに対し、拡大
E/EFEF/F,E/EF,F/EFEF/EFにはガロア拡大について関係があることが分かります。

ということは、(これらがガロア拡大になるときには)対応するガロア群にも何らかの関係があるのではないか……?というのが今回紹介する推進定理の内容になります。

主張

主張は以下の通りです。

L/Kを体の拡大、E,Fをその中間体とすると、以下が成立する。(1)E/EFは有限次ガロア拡大EF/Fは有限次ガロア拡大となり、さらにこのときGal(EF/F)Gal(E/EF)が成立する。
(2)E/EF,F/EFは有限次ガロア拡大EF/EFは有限次ガロア拡大となり、さらにこのときGal(EF/EF)Gal(E/EF)×Gal(F/EF)が成立する。

(証明) (1)性質() から EF/Fはガロア拡大である。また E/EF は有限次拡大なので、ある EF 上代数的な元 a1,,anE が存在し、E=(EF)(a1,,an)が成立する。これよりEF=F(E)=F(EF,a1,,an)=F(a1,,an)となるが、a1,,anEF上代数的より、特にF上代数的なので EF/F は有限次拡大である。
また、fGal(EF/F) に対し f|E を考えると、E/EF が正規拡大であることから、f(E)Eとなる( 正規拡大の性質)。よって f|EGal(E/EF) の元となり、準同型Φ:Gal(EF/F)Gal(E/EF);ff|Eが定まる。
(単射性) fGal(EF/F)f|E=idEを満たしたとする。これはすなわち fE の元を固定するということ。よって fE,F の元を共に固定するので、f=idEFが従う。よってΦ は単射である。
(全射性) G:=Im(Φ)とおく。GGal(E/EF) の部分群なので、有限次ガロア拡大 E/EF に関するガロア理論の基本定理からEG=EFを示せば、G=Gal(E/EF) すなわち Φ が全射であることが従う。
xEG とする。このとき任意の fGal(EF/F) に対しf(x)=f|E(x)=x(xEG)より有限次ガロア拡大 EF/F に関するガロア理論の基本定理からxEFGal(EF/F)=Fが従う。よって xEF となり、EG=EF が従いΦ が全射であることが示された。

以上により Φ は同型である。

(2) 性質() から EF/EF はガロア拡大である。また(1)より [EF:EF]=[EF:F][F:EF]=[E:EF][F:EF]<より EF/EF は有限次拡大である。
さらに先と同様に準同型Ψ:Gal(EF/EF)Gal(E/EF)×Gal(EF/EF);f(f|E,f|F)を考える。これが単射であることを示すため、fGal(EF/EF)f|E=idE,f|F=idFを満たしたとすると、fE,F の元を共に固定するので、f=idEF が従う。よって Ψ は単射であり、いま|Gal(EF/EF)|=|Gal(E/EF)×Gal(EF/EF)|なので Ψ は同型となる。

名前といい主張といいかなり好きな定理です。

コメント

タイトルとURLをコピーしました