ガロア理論の復習(6) )

※2021年11月23日(火)開始→12月２日(木)

※(余談)11月29日は,1869年だったかな？

シャイアン族大虐殺の悲劇があった日です。1970年

当時20歳の学生だった私,ベ平連など戦争反対のデモ

に参加していた頃,に,珍しく封切りで「ソルジャー・

ブルー」という米映画を見ました。

酋長が白旗を掲げていたのにも関わらず,ネイティブ

が女子供を中心に数百人も青い服の騎兵隊に蹂躙され,

惨殺されるのを見て,実話に基づいた映画とはいえ義憤

を感じ,若い心が慄えた記憶があります。

キャンディス・バーゲンが出てｌましたね。野性的な

女優でした。当時,可愛さだけなら,Ｄ・ホフマン主演の

「卒業」に出ていたキャサリン・ロスの方が私的には好み

でしたが,まあそんなこと考える映画じゃなかったですね。

私は最近,よくセキや低血糖の発作が起きて,転倒など

がキッカケで容態急変,ということも有り得る事態です。

全くの無神論者なので,あと何日で石に還らずにこの世に

いられるるんだろうか？私の残り時間は？と自問する毎日

です。今朝(12/２)も,急に気分が悪くなり朝飯は全部嘔吐

してしまいました。今は小康です。(余談終わり※)

※さて,本題の続きです。

※「第５章 体の拡大」の続きからです。

[定理5-9](基本定理)

体Ｆの体Ｆ~の上への写像σが環準同型である

とき,すなわち,ｘ,ｙ∈Ｆに対して,σ(ｘ＋ｙ)

＝σ(ｘ)＋σ(ｙ),,かつ,σ(ｘｙ)＝σ(ｘ)σ(ｙ)

のとき,σはＦからＦ~の上への同型写像である。

,この同型写像を,σ:Ｆ→Ｆ~と表わす。

このとき,σは,(1)σ(0)＝0.,σ(1)＝1,および,

(2)σ(－ｘ)＝－σ(ｘ),かつ,σ(ｘ^-1)＝{σ(ｘ)}^-1

という性質を持つ。

(証明)まず,kerσ＝{ｘ∈Ｆ,σ(ｘ)＝0}＝{0}なので,

Ｆ,Ｆ~を環と見たとき,[環の準同型定理]によって,

{Ｆ~/kerσ)}～Ｆ(同型)であり,しかも(Ｆ~/{0})＝Ｆ~

ですから,Ｆ~～Ｆ(同型)です。。つまり,σは,Ｆから

Ｆ~の上への同型写像となっています。

(※何故なら,和(加法)も積(乗法)も保存され,後述

するように,σ(1)＝1なので,もしもｘ＝ｎ∈Ｚなら

σ(ｘ)＝σ(ｎ)＝ｎσ(1)＝ｎ＝ｘです。また,ｘが

有理数で.ｘ＝(ｐ/q)∈Ｑ(ｑ≠0)の場合なら,1＝σ(1)

＝ｑ{σ(1/ｑ)},かつ,σ(ｘ)＝ｐ{σ(1/ｑ)}ですから,

σ(ｘ)＝(ｐ/ｑ)＝ｘです。

ｘを有理数体Ｑから,実数体Ｒの元へと拡張しても同じ

で.σ(ｘ)＝ｘと考えられます。

よって,σ(ｘ)＝0なら,ｘ＝0が成立するはずです。

(※↑性質(1)の逆命題)

そして,このことは,kerσ＝|0}を意味し,写像σが1対１

の写像(単射)であることを意味します。※)

次に,σの性質(1),(2)を証明します。

まず,(1)は,σ(ｘ)＝σ(ｘ＋0)＝σ(ｘ)＋σ(0)

⇒σ(０)＝0,,および,σ(ｘ)＝σ(ｘ)σ(1)(ｘ≠0)より

σ(1)＝1,です。次に,(2)は,0＝σ(0)＝σ{ｘ＋(－ｘ)}

＝σ(ｘ)+σ(－ｘ) ⇒σ(－ｘ)＝－σ(ｘ)であり,

また,1＝σ(1)＝σ(ｘ^-1ｘ)＝σ(ｘ^-1)σ(ｘ)

⇒σ(ｘ^-1)＝{σ(ｘ)}^-1です。(証明終わり)

[定義5－9]Ｆ上の整式(多項式):ｆ(ｘ)∈Ｆ[ｘ]が,

ｆ(ｘ)＝ａ₀ｘⁿ＋ａ₁ｘ^n-1＋..＋ａ_n  ;ただし,0≦ｊ≦ｎ

のｊについてａ_j∈Ｆ,かつ,ａ₀≠0なる形で与えられる

とき,これの係数に左からσを施し,Ｆ~上の整式として,:

σ(ａ₀)ｘⁿ＋σ(ａ₁)ｘ^n-1＋..＋σ(ａ_n)をつくる。

この整式を(σｆ)(ｘ),または,単に(σｆ)と表わす。

[定理5-10]:∀ｆ(ｘ),ｇ(ｘ)∈Ｆ[ｘ]に対して,

次の性質:(1) σ(ｆ＋ｇ)＝σｆ＋σｇ,および,

(2) σ(ｆｇ)＝(σｆ)(σｇ)　が成立する。

(証明)これは,σが体Ｆの上で同型写像なので明らかです。

すなわち,ｆ(ｘ)＝Σ_j=0ⁿａ_jｘ^n-j,ｇ(ｘ)＝Σ_k=0^mｂ_kｘ^m-k

なる具体的形であれば,和の写像の場合,{σ(ｆ＋ｇ)}(ｘ)

＝Σ_k{σ(ａ_ｋ＋ｂ_ｋ)ｘ^n-k}＝(σｆ＋σｇ)(ｘ)　です。

積の場合も,詳細は略しますが,２重有限数列の積の

公式から,σ(ｆｇ)＝Σ_jΣ_k{σ(ａ_jｂ_ｋ)}ｘ^n+m-j-kと

なって,右辺＝｛σｆ(ｘ){σｇ(ｘ)}です。

(証明終わり)

[定理5-11]:ｐ(ｘ)がＦ上で既約のとき(σｐ)(ｘ)も,

Ｆ~上で既約である。

(証明）もしも(σｐ)がF~上可約なら,σｐ＝(σｑ)(σｒ)

の因数分解が可能です。σは全単射なので,対応するＦ[ｘ]

の元ｑ,ｒが存在するため,右辺＝σ(ｑｒ)であり,これは

ｐ＝ｑｒと書けることを意味しｐも可約になって,ｐが既約

という仮定に反します。(証明終わり)

[定義5-10](同型写像の延長)

σ:Ｆ→Ｆ~とし,体Ｅを体Ｆの拡大体とする。

τがＥからＦ~の拡大体Ｅ~の上への同型写像であり,

Ｅの部分体Ｆの上では,τ＝σであるとき,τはσのＥ

への「延長」である,という。

[定理5-12](同型写像の延長定理1)

σ:Ｆ→Ｆ~とし,体Ｅを体Ｆの拡大体とする。

τ:Ｅ→Ｅ~が,σのＥへの延長であるとき,(Ｅ~/Ｆ~)

＝(Ｅ/Ｆ)である

(証明)ω₁,..,ω_nＦが,Ｆ上独立なＥの基底をなすとき，

(τω₁)_,,.,(τω_n)は,Ｆ~上独立なＥ~の基底をなします。

何故なら,τがＥからＥ~への同型写像なので,Ｅ~の元:

β＝ａ₁(τω₁)＋..＋ａ_n(τω_n)には,β＝ταとなるＥ

の元αが,α＝τ^-1β＝ａ₁ω₁＋..＋ａ_nω_n で与えられる

ことに同値であるからです。(※β＝0ならα＝0で,

1次独立性の条件を与える自明な関係式も同値です。)

故に,ｎ＝(Ｅ/Ｆ)＝(Ｅ~/Ｆ~)です。(証明終わり)

[定理5-13](同型写像の延長定理2)

同型:σをσ:Ｆ→Ｆ~とし,ｐ(ｘ)をＦの既約多項式

とする。αはｐ(ｘ)＝0の根であり,βは(σｐ)(ｘ)＝0

の根である,とする。そして,Ｅ＝Ｆ(α),Ｅ~＝Ｆ~(β)

とすると,写像τ: Σ_i(ａ_iαⁱ)→Σ_i{σ(ａ_i)βⁱ}は,Ｅから

Ｅ~への同型写像であり,τはσのＥへの延長である。

逆に,σのＥへの延長は,上記のτのようなものに限る。

(証明)degｐ(ｘ)＝ｎとする。

Ｆの拡大体Ｅ＝Ｆ(α)は,1,α,..α^n-1で張られる線型

空間であるため,その元は次数(ｎ－1)のＦ[ｘ]の多項式

ｆ(ｘ)によって,ｆ(α)という形に表わされます。

そして,τの定義によれば,τ{ｆ(α)}＝(σｆ)(β)で

あり,σはＦ~の上への写像なので,∀γ∈Ｆ~(β)対して,

γ＝Σ_i(ａ~_iβⁱ)＝τ[Σ_i(ａ_iαⁱ)]＝τ{ｆ(α)}；ただし,

ａ_i＝σ^-1(ａ~₁) or ａ~_i＝σ(ａ_i)と書けます。

よって,τはＥ~＝Ｆ~(β)の上への写像です。

τがＥ＝Ｆ(α)からＥ~＝Ｆ~(β)への環準同型写像

であることも,容易に示せます。

結局,τはＥからＥ~の上への同型写像です。

　しかも,γ＝Σ_i=0^n-1(ａ_iβⁱ)のａ~₁＝..＝ａ~_ｎ-1＝0

で,γ＝ａ₀(定数)であり,γ∈Ｆ~の場合は.γ＝τ(ａ₀)

＝σ(ａ₀) (ａ₀∈Ｆ)であり,Ｆ上では,τ＝σとなって

いるので.τはσのＥへの延長です。

この　逆が成立するというτの一意性も,Ｅの基底

の写像がＥ~の基底に,一意に写されるので自明です。

(証明終わり）

[系]:ｐ(ｘ)がＦの既約多項式で,α,βがｐ(ｘ)＝0

の根のとき,αをβに写像し,Ｆの元は不変に保つ写像,:

つまり,∀ａ∈Ｆに対してはτ(ａ)＝ａであるような

Ｆ(α)から,Ｆ(β)への同型写像:τが存在する。

(証明)σとして恒等写像を選べば.ａ∈Ｆに対して,

σ(ａ)＝ａであり,τとして,[Σ_iａ_iαⁱ]を[Σ_iａ_iβⁱ]

に写す延長を選べば.これが求める同型写像です。

(証明終わり)

[定義5-12](不変体,or固定体)

体ＥからＥのある拡大体Ωの中への相異なるｎ個

の同型写像:σ₁,σ₂..,σ_nが与えられたとき,

Ｆ＝{ａ∈Ｅ:σ₁(ａ)＝σ₂(ａ)＝...＝σ_n(ａ)}は,

Ｅの１つの部分体である。

これを,σσ₁,σ₂..,σ_nの「不変体(固定体)」という。

(※このとき, 0∈Ｆ,1∈Ｆ,および,ａ∈Ｆなら,

(－ａ)∈Ｆ,ａ^-1∈Ｆが成立することは自明です。※)

[補助定理]:不変体Ｆの元:ａ₁,ａ₂..,ａ_nがあり,∀ｘ∈Ｅ

に対して,ａ₁σ₁(ｘ)＋ａ₂σ₂(ｘ)＋..＋ａ_nσ_n(ｘ)＝0..(1）

が成立するのは,ａ₁,＝ａ₂.=.,＝ａ_n＝0のときである

。つまり,ｎ個のσ₁,σ₂..,σ_nは,F上１次独立である。

(証明)(ⅰ)ｎ＝1のとき(1)は,ａ₁σ₁(ｘ)＝0ですが,

ｘ≠0のとき,σ(ｘ)≠0なのでａ₁＝0を得ます。

(ⅱ)ｎ＞1のときｋ≦(ｎ－1)に対しては

ａ₁σ₁(ｘ)＋ａ₂σ₂(ｘ)＋..＋ａ_ｋσ_ｋ(ｘ)＝0.なら,

ａ₁＝ａ₂＝..＝ａ_k＝0と,補助定理が成立すると仮定

します。　そして,ｋ＝ｎに対して;

ａ₁σ₁(ｘ)＋ａ₂σ₂(ｘ)＋..＋ａ_nσ_n(ｘ)＝0と,

• 式が成立するとします。

仮定から,0≦i≦(ｎ-1)の全てのiについてσ_i≠σ_n

であり,σ_i(α)≠σ_n(α)となるα∈Ｅが存在します、

このαについて(1)式のｘに(αｘ)を代入すれば.

(1)は,次のようになります。すなわち,

ａ₁σ₁(α)σ₁(ｘ)＋...＋ａ_nσ_n(ｘ)σ_n(ｘ)＝0.(2)

です。他方,(1)の両辺に左からσ_n(α)を掛けると,

ａ₁σ_n(α)σ₁(ｘ)＋..＋ａ_nσ_n(α)σ_n(ｘ)＝0..(3)

です。(2)式から(3)式を辺々引き算すれば,

ａ₁σ{σ₁(α)－σ_n(α)}σ₁(ｘ)＋..

＋ａ_n-1{σ_n-1(α)－σ_n(α)}σ_n-1(ｘ)＝0.を得ます。

これは,ｋ＝(ｎ－1)＜ｎの自明な1次関係式なので,

帰納法の仮定から,ａ_i{σi(α)－σ_n(α)}＝0ですが

σ_i(α)≠σ_n(α)なので.ｉ＝1,...(ｎ－1)について.

ａ_i＝0です。それ故,ａ_nσ_n(ｘ)＝0となるので,ａ_ｎ＝0

も得られます。

したがって,帰納法により[補助定理]の成立が証明

されました。(証明終わり)

[定理5-14]:(Ｅ/Ｆ）≧ｎである。

(証明)(Ｅ/Ｆ)＝ｍで,ｍ＜ｎと仮定します。

体Ｆ上のベクトル空間としてのＥのＦ上の生成系

を,ω₁,ω₂,..,ω_mとします。次の,連立方程式

　σ₁(ω₁)ｘ₁＋σ₂(ω₁)ｘ₂＋..＋σ_n(ω₁)ｘ_n＝0,

・・・・・・・・・

　σ₁(ω_1m)ｘ₁＋σ₂(ω_m)ｘ₂＋..＋σ_n(ω_m)ｘ_n＝0,

を考えると,これは,ｎ個の未知数ｘ_jをｎよりも少ない

ｍ個の方程式系で求める連立1次方程式なので,自明で

ない解(少なくとも１つはゼロでない解)として,ｎ個

の解の組:(ｘ₁,ｘ₂,..,ｘ_n)を持ちます。

一方,∀α∈Ｅは,α＝ａ₁ω₁＋ａ₂ω₂＋..＋ａ_nω_n,

(ａ₁,ａ₂,..ａ_n∈Ｆ)で表わされます。

上の連立方程式の第１式に.σ₁(ａ₁)を掛け,第２式に

σ₂(ａ₂)を掛け,以下,第ｍ式まで同様な操作を続けると,

Ｆは不変体ですから,σ₁(ａ_j)＝…＝σ_n(ａ_j)なので,

σ₁(ａ₁ω₁)ｘ₁＋σ₂(ａ₁ω₁)ｘ₂＋..＋σ_n(ａ₁ω₁)ｘ_n＝0

・・・・・・・・,・・・

σ₁(ａ_mω_m)ｘ₁＋σ₂(ａ_mω_m)ｘ₂＋..＋σ_n(ａ_mω_ｍ)ｘ_n＝0

を得ます：これら全ての式を加えれば,∀α∈Ｅに対し,

非自明な組:(ｘ₁,ｘ₂,::ｘ_n)に対する等式として,

σ₁(α)ｘ₁＋σ₂(α)ｘ₂＋..＋σ_n(α)ｘ_n＝0を得ます。

一方,[補助定理]によれば,これは全てがゼロの自明な

ｎ個の組:ｘ₁＝ｘ₂＝..＝ｘ_n＝0でのみ成立する等式です。

したがって,矛盾が生じます。よって,ｍ≧ｎです。

(証明終わり)

第６章ガロア拡大体,ガロア群

[定義6-1](自己同型写像)

体ＥからＥ自身への同型写像を自己同型写像

という。Ｅの自己同型写像全体は明らかに群を

つくる。Ｅの自己同型(写像)の集合Ｇが有限群

をつくるとき,当然,Ｇは恒等写像を含む。

そして,Ｆ＝{ａ∈Ｅ;σ(ａ)＝ａ for∀σ∈Ｇ}

を.群Ｇの不変体(固定体)という。

また,Ｅの元αに対して,Ｇ＝[σ₁,σ₂,..σ_n}なら,

Ｓ(α)＝Σ_Gσ(ａ)(Σ_GはＧ全体をわたる総和)

＝σ₁(α)＋σ₂(α)＋..＋σ_n(α)で与えられる

Ｅの元を,αのスプ－ル(spur;対角和)という。

[定理6-1]:Ｓ(α)は不変体Ｆの元である。

そして,ＥにはＳ(α)≠0であるような元αが存在

する。

(証明)β＝Ｓ(α)とし,τをＧの任意の元とすると

τ(β)＝τ{Σσ(α)}＝Σσ(α)＝βより,β∈Ｆです。

何故なら,∀τ∈Ｇに対し,σ_j≠σ_ｋならτσ_ｊ≠τσ_k

より,Ｇ＝{σ₁,σ₂,..σ_n}＝{τσ₁,τσ₂,..τσ_n}

であることが明らかだからです。

そして,∀α∈Ｅに対して,Ｓ(α)＝0なら,αの恒等式

として,1次関係式σ₁(α)＋σ₂(α)＋..＋σ_n(α)＝0を

得ますが,これはαをｘに代えると,先の[補助定理]に

矛盾します。故に,Ｓ(α)≠0なるα∈Ｅが存在します。

(証明終わり)

[定義6-2](ガロア(Galois)拡大体とガロア群)

　体Ｅの自己同型写像のつくる群をＧとし,Ｇの不変体

をＦとするとき,ＥはＦの「ガロア拡大体」であるという。

ぞして,ＧをＥのＦ上の「ガロア群」という。

[定理6-2];体ＥがＦのガロア拡大体のとき,その拡大次数

はガロア群Ｇの位数に等しい。

つまり,(Ｅ/Ｆ)＝|Ｇ|＝(Ｇ：1)である。

(証明)(Ｅ/Ｆ)＝ｍ,|Ｇ|＝ｎとすれば.[定理5-14]

により,ｍ≧ｎですから,ｍ≦ｎを示せば十分です。

それにはＥの(ｎ＋1)個の元α_1,α₂,..α_n,α_n+1が

１次従属であることを示せばいいです。

そこで.次の連立方程式を考えます。

ｘ₁σ₁^-1(α₁)＋ｘ₂σ₁-₁(α₂)＋..＋ｘ_n+1σ₁^-1(α_n+1)＝0

ｘ₁σ₂^-1(α₁)＋ｘ₂σ₂-₁(α₂)＋..＋ｘ_n+1σ₁₂¹(α_n+1)＝0

・・・・・・・・・・

ｘ₁σ_n^-1(α₁)＋ｘ₂σ_n-₁(α₂)＋..＋ｘ_n+1σ_1n^-1(α_n+1)＝0

簡略式では,Σ_k=0ⁿ⁺¹ｘ_kσ_j^-1(α_ｋ)＝0(1≦ｊ≦ｎ)で

表わされます。そして,これらは,(ｎ＋1)個の未知数が,

それより少ないｎ個の方程式で与えられる系なのでＥの

中に,非自明な解:(ｘ₁,ｘ₂,..ｘ_n+1)を持ちます。

ｘ_jの少なくとも１つは非ゼロなので,一般性を失うこ

となくｘ₁≠0と仮定しいぇおきます。

このとき,∀α∈Ｅに対して(αｘ₁,αｘ₂,..αｘ_n+1)

もまた,この同次連立方程式の解です。

そこで,αｘ₁がＳ(αｘ₁)≠0を満たすように,αを選び

その後に,(αｘ₁αｘ₂,..αｘ_n+1)を,改めて(ｘ₁,ｘ₂,..ｘ_n+1)

と定義し直します。するとまず,Ｓ(ｘ₁)≠0です。

そして,方程式系:Σ_k=0ⁿ⁺¹[ｘ_kσ_j^-1(α_ｋ:)]＝0(1≦ｊ≦ｎ)

に,左からそれぞれσ_jを施せば,Σ_k=0ⁿ⁺¹[σ_j(ｘ_k)α_ｋ]＝0

(1≦ｊ≦ｎ)を得ます。さらに,これらｎ個を全て加えると,

Σ_k=0ⁿ⁺[Ｓ(ｘ_k)α_ｋ]＝0となります。

ところが,Ｓ(ｘ_k)∈Ｆであり,Ｓ(ｘ₁)≠0なので,結局,

これは,α_1,α₂,..α_n,α_n+1が1次従属であることを意味

します。それ故,ｍ≦ｎであるべきすから(Ｅ/Ｆ)＝ｎ

＝|Ｇ|です。(証明終わり)

[定義6-3]:σが体Ｆを元ごとに不変にするとき,σはＦを

不変にする,とか,σはＥ/Ｆの同型写像である,という。

[定理6-2の系]:ＥがＦのガロア拡大体で.ＧがＦを不変体

とするガロア群のとき,Ｇは体Ｆを不変にするＥの同型写像

の全体集合である。

(証明)Ｆを不変にするＥの自己同型写像σがＧに属さない

ならば,Ｆは,(ｎ＋1)個の自己同型写像の不変体となって,

[定理6-2]に矛盾します。故に,このσも.Ｇに属します。

(証明終わり)

[定理6-3]:Ｇ₁,Ｇ₂が体Ｅの自己同型写像の群で Ｇ₁≠Ｇ₂

のとき,これらの不変体は異なる。

(証明) Ｇ₁,Ｇ₂が同じ不変体Ｆを持つと仮定すると.

ｎ＝(Ｅ/Ｆ)＝|Ｇ₁|＝|Ｇ₂|ですから,Ｇ₁≠Ｇ₂の場合は,

(Ｇ₁∪Ｇ₂)がｎよりも多い元を持つことになります。

しかし,(Ｇ₁∪Ｇ₂)の不変体も明らかにＦですから,

(Ｅ/Ｆ)＝|Ｇ₁∪Ｇ₂|＞ｎとなって,矛盾します。(終わり)

[定理6-4](基本定理)

　ＥをＦのガロア拡大体とし,その自己同型群をＧ,

つまり,自己同型写像全体のつくる群をＧとする。

Ｅ/Ｆの中間体:Ｂに対してＢを不変にするＧの元

の全体のつくる部分群をＵとすると,Ｕの不変体は

Ｂである。そしてＢにＵを対応させる対応は,Ｅ/Ｆ

の中間体と,Ｇの部分群との間の1対１対応である。

(証明)中間体Ｂを不変にするＧの部分群をＵとし、

その位数を,|Ｕ|＝ｒとします。

そして,Ｕの不変体をＢ~とします。

するとＢはＵで不変なので,Ｂ⊂Ｂ~であり(Ｅ/Ｂ~)＝ｒ

ですから.(Ｅ/Ｂ)≧ｒです。

それ故.Ｂ＝Ｂ~を示すには,(Ｅ/Ｂ)＝ｒを示せば

よいことがわかります。

,さて,σ∈ＧをＢに施すと,ＢはＥの中に同型に写像

されます。すなわち,Ｂ～σ(Ｂ)(同型)です。

さて,σ₁,σ₂∈Ｇ,,σ₁≠σ₂なら,∀β∈Ｂに対して

σ₁(β)＝σ₂(β)であるための条件は,σ₁^-1σ₂(β)＝β,

つまり,(σ₁^-1σ₂)∈Ｕ,あるいは,σ₂∈(σ₁Ｕ)です。

同一の剰余類(σＵ)に属する自己同型写像が,体Ｂに

同じ同型写像を誘導するわけです。

つまり,σ₂∈(σ₁Ｕ)が,∀β∈Ｂでσ₁(β)＝σ₂(β)

すなわち,Ｂ上で同じ同型写像である,ための条件です。

{Ｇ{＝ｎのとき,ｎ＝ｒｓなら,異なる剰余類(σＵ)

の個数はｓです。つまりｓ＝(Ｇ；Ｕ)=||Ｇ|/|Ｕ|です。

異なるｓ個の剰余類(σＵ)の代表元をτ₁,τ₂..τ_sと

すると,これらは,体Ｂの上の自己同型写像と見なすこと

ができて,その不変体はＦです。

何故なら,(τ_j)_j=1^sの不変体をF~とすると,τ_j∈Ｇ

より.∀ａ∈Ｆに対しτ_j(ａ)＝ａなので,まず.Ｆ⊂Ｆ~

です。他方.ａ∈Ｆ~で,τ_j（ａ）＝ａならτ_jは,ａを

不変に保つＧの元でもあるので,ａはＧの不変体に属し

ａ∈Ｆです。それ故,Ｆ~⊂Ｆ~も成立するため,Ｆ~＝Ｆ

です。したがって,(Ｂ/Ｆ)≧ｓです。

この不等式を先に得た(Ｅ/Ｂ)≧ｒと合わせると

(Ｅ/Ｆ)＝(Ｅ/Ｂ)(Ｂ/Ｆ)≧(ｒｓ)を得ます。

しかし,実際には(Ｅ/Ｆ)＝ｎ＝(ｒｓ)なので,結局.

(Ｅ/Ｂ)＝ｒ,かつ,(Ｂ/Ｆ)＝ｓであると結論されます。

以上から,Ｅ/Ｆの中間体Ｂに対して.Ｂを不変にする

Ｇの元全体のつくる部分群Ｕが一意に対応します。

また,Ｇの部分群Ｕに対して,Ｂを不変体とする中間体

Ｂが存在して対応する,という逆命題も成立します・

ＵはＢを不変にするＧの元の全体であり,Ｕに対して

Ｂは一意的に定まります。 (証明終わり)

[基本定理の系]::中間体ＢからＥへのＦ上の同型写像

は,群Ｇの部分群Ｕによる剰余類から誘導されるものだけ

である。また,ＢはＦのガロア拡大体である。

(証明)Ｇの元から誘導される(Ｂ/Ｆ)個以外に,ＢからＥ

への同型写像が1つでもあれば{(Ｂ/Ｆ)＋１}個の同型写像

の不変体がＢであることになるため.ＢのＦ上の次元と同型

写像の総数が一致するという定理に矛盾します。故に,

そうした同型写像は存在しません。そして,ＢはＵの不変体

ですから,ＥはＢのガロア拡大体です。(証明終わり)

(※[基本定理]における対応は,Ｇの部分群に,その不変体

を対応させるものです。Ｇには,体Ｆ,Ｕには,体Ｂ，単位群

{ｅ}には,体Ｅが対応します。)

※ＥはＢのガロア拡大体ですが,ＢはＦのガロア拡大体とは

限りません。以下では,ＵがＧの正規部分群で(σＵσ^-1)＝Ｕ

であることが,ＵがＦを不変体とするＢのガロア群であるため

の必要十分条件であることを示します。

[定理6-5]:体Ｅは体Ｆのガロア拡大体あり,Ｇはガロア群

であるとする。そして,中間体Ｂに対応するＧの部分群を

Ｕとする。∀σ∈Ｇに対して(σＢ)もＥ/Ｆの中間体であり,

対応するＧの分群は(σＵσ^-1)である。

さらに,体Ｂが体Ｆのガロア拡大体であるための必要十分

条件は,ＵがＧの正規部分となることである。

このとき,そのガロア群は.(Ｇ/Ｕ)に同型である。

(証明)σ∈ＧならσはＥの自己同型写像ですから,(σＢ)

もＢと同じく,Ｅ/Ｆの中間体です。

何故なら,ＢはＥの部分体なので(σＢ)⊂Ｅであり,

(σＢ)も体であることは明らかです。一方,ＦはＧの

不変体なので,(σＦ)＝ＦであるからσＢが中間体の

場合も同じ不変体です。

そして,(σＢ)の元はσ(β)((β∈Ｂ)と表わされます。

故に,τ∈Ｇが,全てのσ(β)を不変にするのは,∀β∈Ｂ

に対して,τ{σ(β)}＝σ(β),つまり(σ^-1τσ)(β)＝β

となることが必要十分です。これは.(σ^-1τσ)がＢを不変

にすることを意味します。

それ故,τが(σＢ)を不変にする条件は,(σ^-1τσ)∈Ｕ

が成立することであり,これはτ∈(σＵσ^-1)と値です。

したがって,(σＵσ^-1)が中間体(σＢ)に対応するＧの

部分群です。

ところが,ＵがＧの正規部分群なら,∀σ∈Ｇに対して,,

(σＵσ^-1)＝Ｕです。中間体と部分群は1対1に対応する

ので,∀σ∈Ｇに対して,対応するＧの部分群が同じなら.

中間体も一致するため,(σＢ)＝Ｂとなり,σはＥの上の

自己同型写像であると同時に,Ｂの上の自己同型写像でも

あることになります。ただし,(σＢ)の元を不変にする

自己同型写像:τは,(σＵ)の元ですが,Ｕが正規部分群

なら,τ∈Ｕでもあります。ＵがＧの正規部分群である

ときは,ＵがＢ内でＦを不変体とするガロアａ群となり

Ｂがガロア拡大体となるための必要十分条件です。

そして,Ｂを不変にするガロア群の元:τは(Ｇ/Ｕ)

の剰余類(σＵ)の代表元として,１対1に対応する

ため,ガロア群と商群(Ｇ/Ｕ)は同型です。

逆に,ＢがＦのガロア拡大体であるとき,ＵがＧの

正規部分群でないなら,(σＵσ^-1)≠Ｕであるような

σ∈Ｇが存在し,σＢ≠Ｂです。よって(Ｂ/Ｆ)個の

ガロア群Ｕの元以外に(σＦ)＝Ｆを満たす写像が

存在するわけです。このσはＥの自己同型写像です

が,Ｂの自己同型写像ではありません。

これはガロア拡大体の条件に矛盾します。

したがって,ＵがＧの正規部分群であることがＢが

Ｆのガロア拡大体であるための必要十分条件です。

(証明終わり)

[定理6-6]:Ｅ/Ｆの中間体:Ｂ₁,Ｂ₂,にそれぞれ

自己同型部分群Ｕ₁,Ｕ₂が対応するとき,Ｂ₁⊃Ｂ₂

とＵ₁⊂Ｕ₂が同値である。

(証明) Ｂ₁⊃Ｂ₂のとき,σ∈Ｕ₁なら,∀β∈Ｂ₂に

対して,β∈Ｂ₁より,σ(β)＝βですからσ∈Ｕ₂

です。それ故,Ｕ₁⊂Ｕ₂です。逆に,Ｂ₂⊃Ｂ₁なら

Ｕ₁⊃Ｕ₂が成立します。

[定理6-7]:体Ｆのガロア拡大体Ｅのガロア群を

Ｇとする。２つの中間体:Ｂ₁,Ｂ₂に対し,Ｂ₁,Ｂ₂を

含む最小の体を(Ｂ₁Ｂ₂)とし,共通部分を(Ｂ₁∩Ｂ₂)

とする。Ｂ₁,Ｂ₂,にれ対応するガロア群をＵ₁,Ｕ₂と

するとき,(1)(Ｂ₁Ｂ₂)には,(Ｕ₁∩Ｕ₂)が対応する。

(2)(Ｂ₁∩Ｂ₂)には,Ｕ₁,Ｕ₂を含む最小の部分群:Ｗ

が対応する。

(証明)(1)σ∈Ｇとします。

σが(Ｂ1Ｂ2)を不変にすることは,Ｂ1とＢ2を

共に不変にすることを意味し.これは,σ∈Ｕ1,かつ,

σ∈Ｕ2,つまり,σ∈(Ｕ1∩Ｕ2)に対応します。

• 次に,中間体:(Ｂ₁∩Ｂ₂)に対応するＧの部分群

をＶとします。

すると,(Ｂ₁∩Ｂ₂)⊂Ｂ₁,かつ,(Ｂ₁∩Ｂ₂)⊂Ｂ₂です。

故に,[定理6-2]から,Ｖ⊃Ｕ₁,かつ,Ｖ⊃Ｕ₂です。

ところが,仮定により,ＷはＵ₁,Ｕ₂を含む最小の

Ｇの部分群ですからＷ⊂Ｖです。

そこで,Ｗに対応する中間体をＢとすると,Ｗ⊂⊃Ｕ₁,

かつ,Ｗ⊃Ｕ₂より,Ｂ⊂Ｂ₁,かつ,Ｂ⊂Ｂ₂ですから.

Ｂ⊂(Ｂ₁∩Ｂ₂)です。故にＷ⊃Ｖであり,結局,

Ｗ＝Ｖです。(証明終わり)

※途中ですが,今回はここで終わります。(つづく)