最小多項式について、3つの性質を挙げています。本では3つの性質についての一般的な証明がなされていますが、ここでは具体例を使ってその証明を見ていきたいと思います。
α が K 上代数的のとき、α を根にもつ K 内の 0 でない多項式の中で最低次数のものを選び、次にそれに適当な K の要素をかけて、その最高次の係数を 1 にしたものをつくり、これを f(x) で表わす。するとこの多項式 f(x) について、次の3つの性質がなりたつ。例として、 √2 の有理数体上の最小多項式 x2−2 を見てみます。上にならい、f(x)=x2−2 とします。x2−2 は √2 を根にもち、√2 は有理数体上代数的です。 √2 を根にもつ、有理数係数の中で最低次数の多項式で、最高次の係数が1ですので、x2−2 は √2 の有理数体上の最小多項式となります。
- g(x) を g(α)=0 のような K 内の多項式とすると g(x) は f(x) で割りきれる。
- f(x) は K 上既約である。
- f(x) は上のつくり方のもとで一意的に定まる。
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)=0、g(√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)=x2−2 が有理数体上で因数分解できたとすると、その因子の多項式のひとつは f(x) よりも低次で、x=√2 で0 になるものとなり、最小多項式のとり方に反します。したがって f(x)=x2−2 は有理数体上で既約です。
最小多項式の例として x2−2 で示しましたが、α の K 上の最小多項式として上と同じやり方で、3つの性質を証明することが可能です。
最小多項式の性質
α が K 上代数的のとき、α を根にもつ K 内の 0 でない多項式の中で最低次数のものを選び、次にそれに適当な K の要素をかけて、その最高次の係数を 1 にしたものをつくり、これを f(x) で表わす。するとこの多項式 f(x) について、次の3つの性質がなりたつ。
α が K 上代数的のとき、α を根にもつ K 内の 0 でない多項式の中で最低次数のものを選び、次にそれに適当な K の要素をかけて、その最高次の係数を 1 にしたものをつくり、これを f(x) で表わす。するとこの多項式 f(x) について、次の3つの性質がなりたつ。
- g(x) を g(α)=0 のような K 内の多項式とすると g(x) は f(x) で割りきれる。
- f(x) は K 上既約である。
- f(x) は上のつくり方のもとで一意的に定まる。
0 件のコメント:
コメントを投稿