体と自己同型写像(4)
今のところ体上の代数の同型を使ってうまく計算が書けるポイントはまだ見つかっていないので、本の説明をたどっているだけになっています。ガロア理論は体上の代数の同型の作る群についての理論であるし代数方程式は体上の代数の話なので、書ける部分はあるとは思うのですが、ガロア理論をそのように書いているものは見つけることができませんでした。本を書く人がそのような説明ではわかりにくいと考えているからそうなっていると思われます。体上の代数の同型はベクトル空間の同型であってアーベル群の同型であるものと考えられますので、そうなっているのかもしれません。これを私が説明しようとしても難しいとは思うのですが、このブログの目的は計算が簡単になるところがあるかどうかを調べるということですので、そのような視点であればできることがあるかもしれません。ということでまたしばらく本の説明をたどっていきます。
定義 5.8 ガロア拡大
を
の拡大体とし、
に含まれるものとします。
に作用する
の元を不変にする同型写像がすべて自己同型写像になるとき。「
は
のガロア拡大体である」、「
はガロア拡大である」と表します。このときの自己同型群を
の
上のガロア群といい、
で表します。
定理 5.30
を
上の方程式
の最小分解体とします。
の任意の元
をとり、その最小多項式を
とします。このとき
の解はすべて最小分解体
に含まれます。
[証明] の解を
とすると
の最小分解体
は
となり定理 5.26より
となる
が存在します。
の
上の最小多項式
の次数を
、その解を
とし、
となるように自己同型写像
と定めると、これらがガロア群の
個の元となっています。
ここで は
の元ですから
の
上の多項式で
と書くことができます。定理 5.6より
となります。
ここで を解に持つ
次方程式
を考えます。
の係数は
に関する対称式となるので
の基本対称式で書くことができます。
の基本対称式の値は
の係数でしたから有理数になります。
は
上の多項式となります。
ですから
は
を解として持ち
は
の最小多項式
で割り切れます。よって
の解は
のうちのいくつかになります。
はすべて
の元ですから
はすべて
の元です。よって
の解はすべて
に含まれることになります。[証明終わり]
この証明は本の通りになっているので、うまく書けないか後で検討することにします。