Loading [MathJax]/jax/output/CommonHTML/jax.js

2019/12/10

最小多項式の性質

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

最小多項式について、3つの性質を挙げています。本では3つの性質についての一般的な証明がなされていますが、ここでは具体例を使ってその証明を見ていきたいと思います。
αK 上代数的のとき、α を根にもつ K 内の 0 でない多項式の中で最低次数のものを選び、次にそれに適当な K の要素をかけて、その最高次の係数を 1 にしたものをつくり、これを f(x) で表わす。するとこの多項式 f(x) について、次の3つの性質がなりたつ。
  1. g(x)g(α)=0 のような K 内の多項式とすると g(x)f(x) で割りきれる。
  2. f(x)K 上既約である。
  3. f(x) は上のつくり方のもとで一意的に定まる。
例として、 2 の有理数体上の最小多項式 x22 を見てみます。上にならい、f(x)=x22 とします。x222 を根にもち、2 は有理数体上代数的です。 2 を根にもつ、有理数係数の中で最低次数の多項式で、最高次の係数が1ですので、x222 の有理数体上の最小多項式となります。

g(x)g(2)=0 である有理数係数の多項式とします。g(x) は、f(x) よりも低次数の r(x) を用いて、g(x)=f(x)q(x)+r(x) と表すことができます。g(x)f(x) で割った商を q(x) 、余りを r(x) として表わした等式です。

この等式の x に、2 を代入すると、g(2)=f(2)q(2)+r(2) となります。いま、f(2)=0g(2)=0 ですので、r(2)=0 となります。

r(2)=0 ということは、r(x) は \sqrt{2} を根にもちます。しかし、r(x) は 有理数係数の多項式で、その次数がf(x) よりも低次の多項式となりますので、零多項式でなければなりません。つまり、g(x)=f(x)q(x)+0=f(x)q(x) となり、g(x)f(x) で割りきれることになり性質1がなりたちます。

また g(x)=f(x)q(x) ですので、f(x) は一意に定まります。g(x)q(x) で割った商がいろいろな多項式になったら困ります。

さらに、もし f(x)=x22 が有理数体上で因数分解できたとすると、その因子の多項式のひとつは f(x) よりも低次で、x=20 になるものとなり、最小多項式のとり方に反します。したがって f(x)=x22 は有理数体上で既約です。

最小多項式の例として x22 で示しましたが、αK 上の最小多項式として上と同じやり方で、3つの性質を証明することが可能です。
最小多項式の性質
αK 上代数的のとき、α を根にもつ K 内の 0 でない多項式の中で最低次数のものを選び、次にそれに適当な K の要素をかけて、その最高次の係数を 1 にしたものをつくり、これを f(x) で表わす。するとこの多項式 f(x) について、次の3つの性質がなりたつ。
  1. g(x)g(α)=0 のような K 内の多項式とすると g(x)f(x) で割りきれる。
  2. f(x)K 上既約である。
  3. f(x) は上のつくり方のもとで一意的に定まる。

0 件のコメント:

コメントを投稿

ブログ アーカイブ