合同方程式に対する代数学の基本定理の証明
📂整数論合同方程式に対する代数学の基本定理の証明
定理
ある素数pについてp∤a0とすると、全ての係数が整数の多項式
f(x)=a0xd+a1xd−1+⋯+ad−1x+ad
に対して方程式 f(x)≡0(modp)は、せいぜいd個の合同でない解を持つ。
解説
皆がよく知っているように、実係数の多項式について話すならば、n次方程式は重根を含めてn個の解を持つというのが定理だ。これを数論で考えると(modp)において整数の係数のみを持つd次方程式はせいぜいd個の解しか持たないと言える。このようなステートメントは整数に複素数を導入することでさらに簡潔に変わることができる。
証明
戦略:代数学の基本定理が複素解析を通じて導出される一方で、合同方程式に関しては初等的な数論知識で十分である。合同でない解がd個よりも多く存在すると仮定して矛盾を導く。
方程式P(x)≡0(modp)において、異なる解がnよりも多く存在するようなn次の整数係数多項式Pが存在すると仮定する。その中で、最小の次数の多項式fを選ぶと、以下のように表せる。
f(x)=A0xd+A1xd−1+⋯+Ad−1x+Ad(p∤A0)
すると、方程式f(x)≡0(modp)は異なる解r1,r2,⋯,rd,rd+1を持つ。f(x)≡0(modp)の解rに対して
f(x)=(x−r)g(x)+f(r)
と表される。f(x)を(x−r)で割った商のg(x)は、以下のような(d−1)次の整数係数多項式である。
g(x)=B0xd−1+B1xd−2+⋯+Bd−2x+Bd−1(p∤B0)
rにr1を代入するとf(r1)≡0(modp)となり
f(x)≡(x−r1)g(x)(modp)
rkはf(x)=0の根であるから、(2≤k≤d+1)に対して
f(rk)≡(rk−r1)g(rk)≡0(modp)
rk−r1≡0(modp)であるから、g(rk)≡0(modp)である必要がある。したがって、g(x)≡0(modp)はd個の異なる解r2,r3,⋯,rd+1を持つ。f(x)は、次元よりも多くの異なる解を持つ多項式の中で最も低いd次の多項式であるが、g(x)が(d−1)次でありながらもd個の異なる解を持っているので矛盾である。
■
関連項目