===================================
因数分解の一意性
===================================
多項式の因数分解について、次のような重要な定理があります。


.. admonition:: theorem

	多項式は全て、既約な多項式の積に因数分解でき、その分解の仕方はある体上で一意的です。　


この定理の証明には、解析的な手法を必要とし、けっこう長いので省略します。中学校や高校で『次の式を因数分解しなさい』というような練習問題をやったと思いますが、上の定理の意味は『どんどん因数分解していけば、どこか決まったところでこれ以上因数分解できなくなるよ』ということです。経験上なんとなく定理の意味は明らかだと思います。学校でやった練習問題に決まった答えがあるのは、因数分解の仕方が一意的だからです。


また『ある体上で』という部分がとても重要です。例えば $f(x)=x^{3}+2x^{2}+x+2$ は $f(x)=(x+2)(x^{2}+1)$ と因数分解できますが、有理数体上でこれ以上の因数分解はできません。しかし、もしも複素数体上で考えれば、さらに $(x^{2}+1)=(x+i)(x-i)$ と因数分解できます。どちらにせよ、考えている体上では、既約多項式の積に因数分解できるのです。


.. [*]  $f(x)=(x+2)(x^{2}+1)$ の因数分解は、中学校では $(x+2)(x^{2}+1)$ が答えでしたが、高校に行くと $(x+2)(x+i)(x-i)$ という分解も出てきました。『中学校ではまだ虚数を習ってないから』という、なんだか文部省の都合のような理由で数学の問題の答えが違うのはおかしいと思ったものですが、いまもう一度考えてみると、中学校の代数は実数体上に制限されており、高校の代数は複素数体上まで拡大されていたと言えるわけです。中学の教科書の巻頭に小さく『実数体上の因数分解だけを考えます』と書いておけば、高校の教科書と答えが違っても堂々と数学的に言い訳できたわけですね。


ただし、瑣末なことですが、定数倍だけ異なる多項式を別のものと考えれば、次の例のように無数の因数分解の仕方が可能になる場合もあります。今後、定数倍だけ異なる多項式は、基本的には同じものと考えます。

<tex>
x^{6}+x^{4}+x^{2}+1=(x^{2}+1)(x^{4}+1)=(2x^{4}+2)(\frac{1}{2}x^{2}+\frac{1}{2})
</tex>



原始的な多項式
----------------------------------------------------------
有理数体 $Q$ 上の多項式 $f$ を考えます。

<tex>
f(x)=c_{0}+c_{1}x+...+c_{n}x^{n} \ \ \ (c_{i} \in Q)
</tex>


次の３つの条件を満たすとき $f$ を *原始的* であると言います。

1.  $f \ne 0$
2. 係数 $c_{i}$ が全て整数である。
3. 係数 $c_{i}$ が全て互いに素である。


原始的な多項式には、次のような興味深い性質があります。

.. [*] また何だか変な用語が出てきましたが、原始的とは英語の $primitive$ の訳です。原始と聞くと、どうも原始人・原始時代など、未開なイメージを想起させますから、あまり上手い訳語だとは思えませんが、日本語になかなかうまく対応する言葉がないのでしょう。


.. admonition:: theorem

	原始的な多項式同士の積は、やはり原始的になります。


.. admonition:: proof

	条件 $1$ と $2$ は明らかですから、条件 $3$ だけを確認すれば良いでしょう。二つの多項式を $f(x)=a_{0}+a_{1}x+...+a_{n}x^{n}, \ g(x)=b_{0}+b_{1}x+...+b_{m}x^{m}$ と置き、 $f$ と $g$ の積 $fg$ を考えます。いま仮に $fg$ の係数が互いに素ではなく、公約数 $p$ を持つとします。 $fg$ の $i+j$ 次の項の係数は $ \sum a_{k}b_{i+j-k}$ と表わされますので、これは $p$ が $a_{i}b_{j}$ を割るという仮定に他なりません。しかし、 $p$ が $a_{i}b_{j}$ を割るならば、 $p$ は $a_{i}$ か $b_{j}$ 、もしくはその両方を割るはずで( 既約と可約_ 参照)、これは $f,g$ が原始的であるという条件に反します。よって $fg$ も原始的になります。■




多項式 $f(x)=c_{0}+c_{1}x+...+c_{n}x^{n}$ が $F$ 上で原始的ではないとすると、係数 $c_{i}$ は最大公約元 $c$ を持つはずです。その最大公約元を *内容* と呼び、 $c=c(f)$ のように書きます。『原始的な多項式とは、 $c=1$ である多項式である』と言い換えることも出来ます。　

一般に、どのような多項式 $f(x)$ からでも、各係数を内容で割ることで原始的多項式 $\bar{f}(x)$ を作ることが出来ます。

<tex>
f(x)= c \bar{f}(x)
</tex>


次の定理は「ガウスの補題」として知られている有名なものです。証明には原始的、内容など、いま出てきたばかりの概念をさっそく使います。


.. admonition:: theorem

	整係数の多項式は、整係数の多項式の積に因数分解できる場合のみ、有理数体 $Q$ 上で可約になります。
	
	
.. admonition:: proof 

	整係数の多項式 $f$ が $Q$ 上 $f=gh$ のように因数分解できるとします。 $g,h$ の内容を $a,b$ とすると、 $f=(ab)\bar{g}\bar{h}$ のように原始的な多項式 $\bar{g},\bar{h}$ を使って $f$ を表現できます。先ほどの定理により $\bar{g}\bar{h}$ は原始的ですから、 $f=(ab)\bar{g}\bar{h}$ という表現は $f$ の因数分解になっています。 $(ab)$ は $f$ の内容で、明らかに整数です。逆に有理数体 $Q$ 上で可約な多項式が因数分解できることは自明ですので、定理が示されます。■


しばらく新しい定理や概念の説明ばかりが続きましたので、少し、しんどいく感じてきたかも知れません。覚えたことや分かったことを、少しずつ確認しながら先へ進むようにして下さい。ほとんどが多項式に関する話題でしたので、実際に二次方程式か何かの具体例を考えてみれば、新しい定理や概念の意味も納得いくと思います。もうしばらく代数方程式に関係した内容が続きます。


.. _既約と可約: http://www12.plala.or.jp/ksp/algebra/Factorization/




@@author:Joh@@
@@accept: 2006-06-24@@
@@category: 代数学@@
@@id: UniqueFactorization@@