27.最小分解体と正規拡大
修正
- トレースの表記:
- ノルムの表記:
- 体の生成の表記:
- 最小分解体の定義:13節より今節へ移動。こちらの方が普遍的。
体の同型に関する延長の一般論
補題 を体の同型、を多項式とする。をの分解体、をの分解体とする。更にをそれぞれの根とする。このときが既約なら、の延長となる同型が存在し、を満たすように取れる。
(証明)が同型なのでともにより同型である。従ってが既約ならも既約であり、または代数的だから
が成り立つ。はこの同型を通してをにより定めればよい。
系 一般に重複を込めての根をとし、の根をとする。このときの延長となる同型が存在する。
(証明)に関する帰納法で示す。のときは明らか。のとき既約多項式が取れてと表せる。ここで並び替えてとして良い。は規約だから補題よりの延長となる同型が存在する。ところでにおいてと表せば、はの分解体でもある。についても同様であり、更にが成り立つ。従って帰納法の仮定からの延長となる同型
が存在する。がの延長となることや、などは明白だろう。
以上より、の根全体で生成される体は、分解体の取り方に依らず決まることが分かる。そこでこれをの最小分解体(minimal splitting field)と呼ぶ。このときはと表して良い。
命題 をの最小分解体とする。このときが成り立つ。
(証明)とする。であり、とすればが従う。とすればであり、とすればを得る。以下同様にしてが従う。
正規拡大
先述のように、ある多項式の根をに添加した体は一意的である。またその存在については分解体の存在で既に述べている。であるならば、全ての多項式に対してそれらの根を含むような体が存在するか、またそれが一意的であるかを疑問に思うだろう。私達は現段階において、この疑問に答えを見出すことは出来ない。何故なら根を加えていくことで生じる拡大の列は無限に伸びてしまい、有限の立場にいる限りその高みに至ることはできないからである。だが具体的な例に限れば、然るべき準備の後にその存在については述べることができる。
定義 体自身が任意のの根を常に持つ(特に全ての根を持ち、一次式の積に分解できる)とき、代数閉体(algebraically closed field)であるという。また代数拡大においてが代数閉体であるとき、はの代数閉包(algebraic closure)と呼ぶ。
体の拡大において、が代数閉体であるとき(整閉包)はの代数閉包になる。
例えばは代数閉体である。この事実は「代数学の基本定理」として知られる。またはの代数閉包である。の元は代数的数(algebraic number)と呼ばれ、円周率や自然対数はここには入らないことが知られている。は絶対ガロア群といい、数論の人に言わせれば数の全てを知っているらしい。
以下を体、をの代数閉包とする。はの中間体、特には代数拡大とする。
注意 上記の仮定を置く理由について補足したい。まずシュタイニッツにより任意の体が代数的閉包を持つことが示されているが、ツォルンの補題や整列可能定理、あるいはクラス版の極大性原理等々、選択公理に類する存在公理が用いられる。仮にこれを認めるにせよ、任意の代数拡大が代数閉包に埋め込める(単射な環準同型、特には体なので環準同型が存在する)ことを示すには一意性が必要となる。(はの代数閉包でもあり、同型が取れる。)参考文献に挙げた桂の『代数学Ⅲ』では一意性の証明に埋め込みの存在を用いているので正しくない。他を探すには少し時間が掛かるし、自分で考えるのはもっと時間が掛かる。そもそも存在公理をまだ導入してないので多分証明できない。というわけで当面は代数閉包に含まれる状況のみを考えることで回避しようと思う。詳しい人が居たら誰か教えて下さい。*1
はガロア拡大であるとしよう。このとき定義よりが成り立つ。の最小多項式をとすれば、任意のに対してもの根となる。相異なものを集めて
と置けば、としてが成り立つ。ここでと定めれば、においてが成り立つ。任意のは同型(特に単射)であるから
である。故にとすれば
を得る。よってはの作用で不変だから、が分かる。従ってとなる。これはにおいてとなることを意味する。実際とすれば、次元に関して帰納的にの係数がに属すことを示せる。故にの規約性よりとは同伴となるが、特に最高次の係数同士を比較すればが従う。つまりはの最小多項式の根を常に自分自身の中に含むことが分かる。
そこで次のような拡大を考えてみよう。
定義 代数拡大は、任意のに対して、の最小多項式の根が全てに含まれる(つまりにおいて一次式の積に分解する)とき正規拡大(normal extension)と呼ぶ。
正規拡大の条件は、ある意味で代数閉包の条件を弱めたものと思える。ガロアの条件を調べるのは難しいが、正規拡大については次の特徴付けが存在する。
命題 有限次拡大に対して以下は同値。
- は正規拡大である。
- はある多項式の最小分解体である。
(証明)を正規拡大とする。有限次拡大だから基底が取れる。の最小多項式をとし、と置く。このときはの最小分解体となる。実際はの根を全て含み、またがの分解体であれば、の分解体でもあるのでとなる。の元は達の線形和で表されるからが従う。
逆にがの最小分解体であるとする。の根をとすればである。の最小多項式を取る。の上の最小分解体を取り、においてと一次式の積(重複込み)で表せるとする。ここでとしてよい。このとき
が成り立つ。一方での上の最小分解体を考えると、は既約だから、を満たす体の同型が存在する。はの上の最小分解体でもあるから、の延長が存在する。ならより、
が成り立つ。故にをに制限することができて、を得る。つまりはの根を全て含む。
所感
ぐるっと回る証明が面白い。予定では分離拡大をやるつもりだったけど、自己同型から自然に出てくるのは正規拡大だったので変更した。