📂抽象代数

アイゼンシュタインの判定法

定理 ¹

$f(x) = a_{n} x^{n} + \cdots + a_{0 } \in \mathbb{Z} [ x ]$が、素数$p \in \mathbb{Z}$と$k = 0,1,2, \cdots , n-1$に対して以下の条件を満たす場合、$f(x)$は$\mathbb{Q}$の上で既約関数である。

• (i): $a_{n} \not\equiv 0 \pmod{p}$
• (ii): $a_{k} \equiv 0 \pmod{p} $
• (iii): $a_{0} \not\equiv 0 \pmod{p^2}$

説明

$f(x) = ax^{n} + b$形の整数多項式に対する非常に簡単な判定法として意味がある。$\mathbb{Q}$に対する判定法という点で、代数的数に関連する議論で役に立つことができる。

例

$f(x) = 25 x^{5} - 9 x^4 - 3 x^2 - 12$が$\mathbb{Q}$上で既約関数であることを示せ。

解答

• (i) $25 \not\equiv 0 \pmod{3}$
• (ii) $-9 \equiv -3 \equiv 0 \pmod{3}$
• (iii) $12 \not\equiv 0 \pmod{9}$

$p=3$に対してアイゼンシュタインの判定法を適用すると、$f(x)$は既約関数である。

証明

$f(x) \in \mathbb{Z} [ x ]$が、次数が$r<n$の$R(x)$と次数が$s<n$の$S(x)$に対して$f(x) = R(x) S(x)$とすると、 $$ R(x) , S(x) \in \mathbb{Q} [ x ] \iff R(x) , S(x) \in \mathbb{Z} [ x ] $$ を知ることができる。$Z[x]$から、 $$ f(x) = (b_{r} x^{r} + \cdots + b_{0}) (c_{s} x^{s} + \cdots + c_{0}) $$ が三つの条件(i)、(ii)、(iii)を満たすと仮定すると、条件(iii)で、 $$ b_{0} c_{0 } = a_{0} \not\equiv 0 \pmod{p^2} $$ なので、$b_{0}$と$c_{0}$が同時に $$ b_{0} \equiv c_{0} \equiv p \equiv 0 \pmod{p} $$ ではない。代わりに、どちらかが合同である場合、 $$\begin{cases} b_{0} \not\equiv 0 \pmod{p} \\ c_{0} \equiv 0 \pmod{p} \end{cases}$$ を考えると、条件(i)で、 $$ b_{r} c_{s} = a_{n} \not\equiv 0 \pmod{p} $$ でなければならない。

今、$c_{k} \not\equiv 0 \pmod{p}$を満たす$k$の中で最小の値を$m$と呼ぶことにすると、 $$ a_{m} = b_{0 } c_{m} + b_{1} c_{m-1} + \cdots + \begin{cases} b_{m} c_{0} & , r \ge m \\ b_{r} c_{m-r} & , r<m \end{cases} $$ である。$(\star)$から、$b_{0} \not\equiv 0 \pmod{p}$であり、$m$の定義によって、$c_{m} \not\equiv 0 \pmod{p}$なので、 $$ c_{m-1} \equiv \cdots \equiv c_{0} \equiv 0 \pmod{p} $$ である。よって、 $$ a_{m} \not\equiv 0 \pmod{p} $$ であり、条件(i)と(ii)に従って、$m=n$でなければならない。

結局、$s \ge m = n$であるが、これは$s < n$という前提と矛盾する。

■