2019/12/10

拡大体の大きさ

エミール・アルティン『ガロア理論入門』第2章第3節の続き。

おそらく体論のなかでは基礎の部分となりますが、僕にとってはもう少し理解したいところの大きなひとつとなるところです。

これまで KK 上代数的な要素 αα を根にもつ KK 内の最小多項式 f(x)f(x) の性質を見てきました。先取りになってしまいますが、これから、この ααKK 添加した体 K(α)K(α) の性質を探っていくことになります。
次に EE の中で、次のような要素 θθ のつくる部分集合 E0E0 をとりあげる。
θ=g(α)=c0+c1α++cn1αn1θ=g(α)=c0+c1α++cn1αn1
ここに g(x)g(x)KK 内の多項式で nn よりも低次とする( nnf(x)f(x) の次数である)。この集合 E0E0 は加法、乗法で閉じている。乗法で閉じていることは g(x)h(x) を次数が n より小さい2つの多項式としたとき
g(x)h(x)=q(x)f(x)+r(x)
とおけば、g(α)h(α)=r(α) となることからわかる。最後にまた c0,c1,,cn1θ から一意的に定まることがわかる。なぜなら、もし同一の θ に対して2通りの表わし方があれば、差をとることによって α の満たす n より低次数の方程式が存在することになってしまうからである。
最初は θ や、その θ がつくる部分集合 E0 が何を意味しているのかわからず、しばらく悶々としていたのですが、具体例を入れることで少し理解することができました。

有理数体上の代数的な要素である 2 を例にします。2 の有理数体での最小多項式は x22 です。引用部分に当てはめると、α=2, f(x)=x22 です。このとき、θ=g(2)=c0+c12 です。g(x)K 内の多項式(ここでは、g(x)=c0+c1x )ですので、c0,c1 は有理数。馴染みのある記号(いや、馴染みはないけれど)におきかえると、θ=p+q2 、つまりこの例では、部分集合 E0 は、
E0={p+q2p,qQ}
となります。

以前に、KE のとき、EK 上のベクトル空間とみることができることを学びました。『ガロア理論入門』とは別の本ですが、Q2 を添加した体 Q(2)Q 上のベクトル空間と見なせることも知ってはいます。ここ例での θ は、Q(2) の任意の要素を表わし、 E0 は、Q(2) を表わしています。θ=g(α)=c0+c1α++cn1αn1 は、体 Kα を添加したときの任意の要素を一般的に表わしていると考えられます。

さきに進みましょう。
さてここで、集合 E0 の内部構造は、α の特性によって定まるものではなく、既約多項式 f(x) によって定まるものであることを注意しよう。すなわち、この多項式を知れば、集合 E0 における和と乗法を定めることができるわけである。この E0 は実は体であることがこのあと証明され K(α) と書かれる。もし E0 が体 K(α) であることが示されたならば、K(α) は線形独立な 1,α,α2,,αn1 で生成されることになるので
(K(α)/K)=n
であることが判明する。
「集合 E0 の内部構造は、α の特性によって定まるものではなく、既約多項式 f(x) によって定まる」ということも最初のうちはよくわかりませんでした。 θ の値は α の値によって決まるのではないか、と。しかしよくよく読んでいると、値ではなく「内部構造」という言葉が使われていますし、また α=2 として具体例を挙げて確認したときに、f(x) が2次の多項式であったため、θ が2項( c0c12 )の和の項となっていることに気がつきました。つまり、最小多項式が3次の多項式だったら θ=c0+c1α+c2α2 となり、このような意味で、集合 E0 の内部構造は最小多項式 f(x) によって定まるといえます。

これからこの集合 E0 が体であることを示していきます。そしてE0 が体であれば、(K(α)/K)=n となります。いわば、α を添加した体はどれだけ大きく拡大するのかを示すことができるのです。

0 件のコメント:

コメントを投稿

ブログ アーカイブ