『ガロワと方程式』の見落とし項目
(p.112) 拡大体の同型の個数の決定.
[定理 5.2] 上代数的数は,任意の同型により 上の共役数に写される。
証明:(略)
この定理から,代数的数 を に添加した体 に同型な体 は,ある の共役数 があって, となることがわかります. の元は不動ですから,
(5.1)
つまり, に同型な体は,共役体以外にはないということがわかります.(略)
[定理 5.3] 上 次の代数的数 に対して,その共役数を とすると, の同型(な体)はちょうど 個( に注意)あり,それらは で完全に定まる.
(ただし,)
一般の体の場合:
[定理 5.5] 体 上 次の代数的数 に対して, の 上の相異なる共役数を とすると, の 上の同型はちょうど 個あり,それらは で完全に定まる.すなわち
(ただし,)
特に, が 上分離的ならば,
である.
代数方程式が解けることを「体」で表現すること
『今度こそわかるガロア理論』(p.147)
[定義] 根号表示
を含む体 上の多項式
の根 が( 上で)根号表示されるとは, の元と根号 と四則演算によって が表せるときにいう.そして 上の多項式 のすべての根が( 上で)根号表示されるとき, は代数的に解けるという.( の代わりに 上で考える立場もある.)
根号表示されることの意味を別の形で述べてみよう. を含む体 の有限次拡大体 とその中間体の列
があって,各 に対し
となるとき, は体 のべき根による拡大体であるという.そして が の元であるとき, は( 上で)根号表示されるという.
『ガロワと方程式』(p.141)
さて,べき根とは の解のことをいいます. を一つの解とし,
とすると, のすべての解は
で表されます.
(p.150)
べき根で解けるということは,基礎の体 に対して, の分解体 が, から始まるベキ根拡大体の系列,すなわち
で, が のベキ根拡大体になっているような系列があって, であればよいことがわかります.
重根をもたない 係数の 次方程式 の根を としたとき, に を添加してできる体 (= の分解体)がベキ根拡大体になっていれば,その方程式は,べき根で解ける,ということ.
では,方程式がべき根で解けるためには,どのような条件を満たしているかを判定することが必要となる.そのためには のガロア群を調べればよいというのが,“方程式のガロア理論”で,
方程式の分解体がベキ根拡大体 ガロア群は可解群
となる. の対偶は,
ガロア群が可解群でない 方程式の分解体はベキ根拡大体でない
となって,一般の 次()以上の方程式のガロア群は, 次対称群 (と同型)で,それは可解群ではないので,その方程式の分解体は,ベキ根拡大体ではない,となって,分解体の元は根号表示できない,すなわち,有理数に四則演算とベキ開を作用させて得ることができないということになる.
各書籍の「ガロア(ガロワ)拡大」
「ガロワと方程式」,「代数の世界」の定義中の「すべての共役体が一致している」というのがしっくりこない.体 K が体 F 上のガロワ拡大であるというのは,要は,K は F 上の代数拡大で,K の各元の(F 係数の) 最小多項式(既約多項式?)は,重根をもたない1次式に分解できるということ?
「ガロワと方程式」(草場公邦)の場合
(p.127) [定義 6.1] 体 の分離拡大体 の 上のすべての共役体が一致しているとき,この共通の体 を, のガロワ拡大(体)であるという。
で, の 上の共役数を としたとき,
すなわち, の 上の共役体がすべて同一であれば, は のガロワ拡大体というわけです.このことは, が の共役数をすべて含んでいることを意味します.
を含む体 は, のガロワ拡大ではない. の最小多項式は だから, の共役数は、ほかに があって、これらは, に含まれない.
⇒ の 上のすべての共役体が一致しているとは,どういうこと?
分離的とは,
(p.104) [定義 4.10] 分解体で相異なる1次多項式の積に分解される 係数多項式を分離多項式,そうでないものを非分離多項式という.分離多項式の根を 上分離的な元,非分離多項式の根を F 上非分離的な元という.
[定義 4.11] F の拡大体 の任意の元が 上分離的なとき, を の分離拡大体という.
つまり, が の分離拡大体であるとは, の任意の元が重根をもたない 係数の多項式の根となれるということ.ならば, の 上の分離拡大体の共役体とは...
「代数の世界」(渡辺敬一,草場公邦)の場合
(p.153) 分離的な正規拡大 を特にガロワ拡大と云います.標数が 0 のときや,有限体などの完全体を考えているときには正規拡大はガロワ拡大と同意義です.
正規拡大は以下のとおり.「ガロワと方程式」のガロワ体の定義と分離性がないこと以外,ほぼ同じ.
(p.142) の中間体 の 上のすべての共役体が に一致するとき, を の正規拡大という.
さらに,共役体は以下のとおり.
(p.140) の中間体 が 上同型であるとき,この二つの体は 上共役であると云い, から への 同型写像を共役写像と呼ぶことにします.
と が共役ならば, から への同型写像があるのが「共役」なのはいいとして,この二つの共役体が一致するならば, なのだから, と が同型って,循環してないか?
この定義の直後の正規拡大の特徴はガロワ拡大の理解に役立ちそう.
(p.142) 定理 4.9 既約多項式 が正規拡大 で根を持てば, で1次式に分解する.逆に代数拡大 で一つの根を持つすべての既約多項式 が で1次式に分解すれば, は正規拡大である.
その次の定理も
定理 4.10 任意の有限次正規拡大 は(必ずしも既約でない)多項式 のすべての根を添加した体(= の分解体)である.逆に,ある多項式 の分解体 は 上の正規拡大である.
「こんどこそわかるガロア理論」(芳沢光雄)の場合
(p.134) 体 が体 の分離的正規拡大であるとき, は のガロア拡大という.
また,「正規拡大」は,以下のように定義される.
(p.128) 体 が体 の正規拡大であるとは, は の代数拡大で, の任意の元 に対し, は の分解体になっているときにいう.
したがって体 が体 の代数拡大であるとき,次が成り立つ.
が の正規拡大
の任意の元 に対し, と 上共役な( の代数拡大体の)元はすべて に属する.
はじめの定義中の「分離的」は,既約多項式が重根を持たないことを保証するためと思われる.
この定義なら, を含むガロア拡大体が だが, がガロア拡大体でないことはわかる.
「ガロア理論入門」(E.Artin,寺田文行=訳)の場合
(p.46) 定義 体 の拡大体 があり, が の自己同型写像のつくるある有限群 の不変体になっているとき, は の正規拡大体であるといい, を の 上の自己同型群という.
が 内の多項式で,その既約因子がすべて重根をもたないとき, は分離的であるとよばれる. を の拡大体とするとき, 内のある分離的な多項式の根であるような の要素 は,分離的であるとよばれる. の要素がすべて分離的のとき, は の分離拡大体であるとよばれる.
「共役」がまったく出てこない.よくわからなくなるのは,次の定理15.
定理 15.
正規拡大体は分離拡大体?
Artin の基本定理は,正規拡大体と自己同型群の関係となる.
定理 17.
拡大体が正規であるための必要十分条件が次の定理.
定理 18. E が K の正規拡大体であるための(必要十分)条件は,E が K 内のある分離多項式の分解体となっていることである.
ガロワと方程式
6.1 ガロワ拡大とガロワ群
[定義 6.1] ガロワ拡大体
体 の分離拡大体 の 上のすべての共役体が一致しているとき,この共通の体 を, のガロワ拡大(体)であるという.
補足
- 「体 の分離拡大体 」: は,その任意の元が 上分離的(元が重根を持たない最小多項式の根である.
- [定理 4.15] (p.107)「 が の分離拡大であれば,単拡大である.すなわち, となる が存在する」により,ある があって, で, の 上の共役数を としたとき, が のガロワ拡大であるとは,以下が成り立つこと.
- なら,[定理 4.3] (p.87)「 が 上 次の代数的数であれば, の任意の元は,すべて の 次の多項式として一意的に表せる」と [定理 4.6] (p.92)「 上代数的な に対して, も 上代数的である」から, の任意の元は, 上代数的,すなわち分離的である.
- の 上の最小多項式を としたとき, が のすべての根を含んでいる,すなわち, で は1次多項式の積に分解するので, は の分解体であるというのと同義.
- の 上の同型はすべて を に写すので, が 上のガロワ拡大であれば, の自己同型になる.
[定義 6.2] ガロワ群
体 が体 のガロワ拡大であるとき, の 上の自己同型( の元を不動にする自己同型 (p.112))のなす群を, の 上のガロワ群といい, と記す.(※ は, の自己同型群 の部分群である.)
今度こそわかるガロア理論 芳沢光雄
[定義] 自己同型写像
群 から の上への同型写像を の自己同型写像という. の自己同型写像全体からなる集合を と書くと, は写像の合成に関して群となり( 上の対称群 の部分群),これを の自己同型群という(単位元は 上の恒等写像).
[定義] 代数拡大
体 は体 の拡大体であるとする.このとき, の元 が 上のある多項式 の根であるとき, は 上代数的であるといい,そうでないとき超越的であるという.また, のすべての元が 上代数的のとき, は の代数拡大体であるという.
体 が体 の拡大体であるとき, は 上の線形空間である.この線形空間の次元を で表し, の 上の次数という.とくに が有限のとき, は の有限次拡大体という.
[定義] 最小多項式
体 が体 の拡大体で, の元 が 上代数的であるとき,(略) に対して一意的に定まる を の 上の最小多項式といい, で表す(irreducible:既約).もちろん, は, 上の既約多項式である.
なお,一般に最高次係数が1の多項式をモニックという.そこで はモニックな規約多項式である.
[定義] 最小分解体
体 上の1変数多項式 が, の拡大体 において,
と1次式の積に分解されるとき, は の分解体という.また( の分解体はいろいろ考えられるだろうが), の分解体で の分解体となるものは体 を必ず含む.そこで,体 をLにおける の最小分解体という.
[定義] 分離的拡大
体 上の1変数多項式 の任意の分解体Lに対し, において
と分解できる(). は素元分解環であるから,この分解は においては一意的である.さらに, の 上の最小分解体は互いに 同型であるから,この分解はどのような分解体でも本質的には同じである.
それを踏まえて,各 は の 重根であるといい, のとき は の重根であるという.また のとき は分離的あるといい,そうでないとき は非分離的であるという.
が体 の代数拡大体であるとき, の元 の 上の最小多項式 が分離的か非分離的であるかによって, はK上分離的,非分離的であるという.
とくに,体 の代数拡大体 のすべての元が 上分離的である時, は 上分離的(拡大)であるという.さらに,体 のすべての代数拡大体が 上分離的であるとき,は完全体であるという.
[定義] 導関数
多項式 に対し,
を の導関数という.
[定義] 単純拡大
体 の拡大体 が の1つの元 によって と表されるとき, は の単純拡大であるという. であるので, は の単純拡大である.
[定義] 正規拡大
体Kの代数拡大体の元 , に対して, が成り立つとき, と は 上(互いに)共役であるという.
体 が体 の正規拡大であるとは, は の代数拡大で, の任意の元 に対し, は, の分解体になっている( の分解体が である)ときにいう.
したがって体 が体 の代数拡大であるとき,次が成り立つ.
が の正規拡大
の任意の元 に対し, と 上共役な( の代数て拡大体の)元はすべて に属する
[定義] 自己同型群
が体のとき, から の上への体としての同型写像を の自己同型写像といい,それら全体からなる集合を で表し,これを の自己同型群という.実際,写像の合成に関して が群であることは明らかである.また, が体 の拡大体であるとき,
は 上では恒等写像
も写像の合成に関して群になる.特に が の正規拡大である場合には,この群を の 上のガロア群という.
[定義] 不変体,不変群
が体, が の自己同型群 の部分群であるとき,
すべての に対し
を( における) の不変体と呼んで, で表す. は の部分体である.
逆に が体 の拡大体であるとき,
すべての に対し
を( における) の不変群と呼んで, で表す. は の部分群である.
[定義] ガロア拡大
体 が体 の分離的正規拡大体であるとき, は のガロア拡大という.さらに, が可換群,巡回群となるとき,それぞれ は のアーベル拡大,巡回拡大という.
を標数0の体とし, を 上の重根を持たない多項式とする.このとき を の 上の最小分解体とすると, は 上のガロア拡大となる.このとき の 上のガロア群 を のガロア群といい, で表すことにする.
ガロア理論入門 E. Artin (訳: 寺田文行)
原書では…
10. アーベル群のその応用*1 (63ページ)
定理 26. 体の乗法群の任意の有限部分群 は巡回群である.
補題 1. 1つのアーベル群の元 と の位数をそれぞれ , とし, を と の最小公倍数とすると,この群の中には位数 の要素が存在する.*2
証明 (略)
補題 2. 1つのアーベル群で,最大の位数 を持つ元 が存在するならば(有限群はつねにこの条件を満たす), はこの群の任意の元 の位数 で割り切れる.よってこの任意の元は, を満たす.
証明 (略)
定理26の証明 の位数*3を とし, の要素のもつ位数の中で最大のものを とする.すると のすべての要素は を満たす.次数 のこの多項式は,体 の中では根を 個以上もち得ないので, である.
定理26はまた,有限生成のアーベル群に関する基底定理を用いても証明することができる.そのための用語の定義を以下にあげる.
定義 生成 をアーベル群とし,群演算を加法で書き表わすとする. の要素 が群 を生成するとは, の任意の要素 g が g_i の倍数の和として,
の形に
基底定理 有限生成のアーベル群は, をその極小な生成系の要素の個数として,巡回部分群 の直積である.ただし, のとき の位数は の位数の約数である.
証明 (極小な生成系の個数 の帰納法.)
- の場合,この群は巡回群であり,定理は自明である.