K⊂EK⊂E で、体 KK 上の代数的な EE の要素 αα の最小多項式 f(x)f(x) の性質を確認し、要素 θθ のつくる EE の部分集合 E0E0 が体であり、K(α)K(α) であることを示そうとしています。そのために、 まずは E0E0 を模写した E1E1 が体であることを示そうとしています。 E1E1 は、体の公理のほとんどが満たされていて、残るは、乗法に関して、0以外のすべての要素について逆元が存在することを示すことです。
ここで、 E1E1 が体であることを示すために E1E1 の2つの要素 g(ξ)≠0g(ξ)≠0 と h(ξ)h(ξ) が与えられたとき逆元とは、次のような要素です。
g(ξ)X(ξ)=h(ξ)g(ξ)X(ξ)=h(ξ)
となるような E1E1 の要素
X(ξ)=x0+x1ξ+⋯+xn−1ξn−1X(ξ)=x0+x1ξ+⋯+xn−1ξn−1
が存在することを示さねばならない。
逆元の定義(逆元の公理)
aa を集合 GG の要素とし、ee を単位元とする。aa に対して、以下の式を満たす b∈Gb∈G を、演算★に関する aa の逆元と呼ぶ。
a★b=b★a=ea★b=b★a=e
g(ξ)X(ξ)=h(ξ)g(ξ)X(ξ)=h(ξ) となるような X(ξ)X(ξ) が存在することを示すことが、なぜ、乗法に関して0以外のすべての要素について逆元が存在することを示すことになるのか。aa を集合 GG の要素とし、ee を単位元とする。aa に対して、以下の式を満たす b∈Gb∈G を、演算★に関する aa の逆元と呼ぶ。
a★b=b★a=ea★b=b★a=e
きちんとした証明になっているかどうかは少し怪しいですが、現時点での僕なりの理解を書いておきます。
もし X(ξ)X(ξ) が存在するとすれば、X(ξ)=g−1(ξ)h(ξ)X(ξ)=g−1(ξ)h(ξ) となるはずです。
g(ξ)X(ξ)=g(ξ)g−1(ξ)h(ξ)=h(ξ)g(ξ)X(ξ)=g(ξ)g−1(ξ)h(ξ)=h(ξ)
つまり、g(ξ)g(ξ) の逆元である g−1(ξ)g−1(ξ) が存在すれば、X(ξ)X(ξ) も存在することになります。もし g−1(ξ)g−1(ξ) が存在しなければ、X(ξ)X(ξ) も存在しません(この部分の証明が必要な気がします)。なので、g(ξ)X(ξ)=h(ξ)g(ξ)X(ξ)=h(ξ) となるような X(ξ)X(ξ) が存在することを示すことは、g−1(ξ)g−1(ξ) が存在することを示すことと同値であるといえます(いえると思っています)。
たとえ話ですが、次のようなことを考えてみましょう。方程式 2x=32x=3 を満たす整数 xx は存在しません。有理数であれば x=32x=32 と答えることができます。 3232 が存在すれば、1212 も存在するといえます(こちらのたとえ話でもちょっと曖昧です)。
整数全体の集合は体ではありません。有理数全体の集合は体です。整数の場合、除法について閉じてはいませんが、有理数の場合は除法でも閉じています。体は四則演算ができる数の集合といってもいいものです。 g(ξ)X(ξ)=h(ξ)g(ξ)X(ξ)=h(ξ) となるような E1E1 の要素 X(ξ)=x0+x1ξ+⋯+xn−1ξn−1X(ξ)=x0+x1ξ+⋯+xn−1ξn−1 が存在することを示すことは、E1E1 内で除法ができることを示すことでもあります。
逆元の存在についてちょっと曖昧にしたままですが、次に進みます。
0 件のコメント:
コメントを投稿