ヘンゼルの補題
では両方の値が等しいので既約である可能性がある。
既約であるかどうか決定するためにはニュートンの多角形を使う必要があるpg 144。
a \in \mathbb{F}_p
(-) \mapsto (-)^p
x^p - a
を考える。この微分は
\begin{align}
\frac{d}{dx}x^p - a &= p\cdot x^{p-1} \\
&\equiv 0\cdot x^{p-1} \bmod p \\
& \equiv 0 \bmod p
\end{align}
となり常にゼロである。
p
\mathbb{F}_p
に存在しないが、方程式
x^p - x = x(x^{p-1} - 1)
の解は存在する。次の式
\begin{align}
\frac{d}{dx} x^p - x &= px^{p-1} - 1 \\
&\equiv -1 \bmod p
\end{align}
は決してゼロにならないので、解が存在すればそれは
\mathbb{Z}_p
に持ち上げることができる。フロベニウスにより
a^p = a
なので、ゼロではない元全体
\mathbb{F}_p^\times
が解全体である。実は、\mathbb{Q}_p
に含まれる1の冪根はこれらだけである。
補題を使って、多項式 f の法
での根 r を
での新しい根 s に
となるように持ち上げることができる。
(m=1 と取る。数学的帰納法により大きい m はしたがう)。
また、法
での根でもあるので、法
での根の持ち上げである。
持ち上げた根 s は法 p
と合同なので、
f'(s) \equiv f'(r) \not\equiv 0 \bmod p
を満たす。
したがって、
f'(r_k) \not\equiv 0 \bmod p
を満たせば持ち上げの操作は繰り返すことができ、f(x) \equiv 0 \bmod p^k
からはじめて、p の高次冪に対して同じ合同式を満たす解の数列
rk+1, rk+2, ...
を作れる。
このことはまた、
f の法
での根が全て単根であれば、
pk+1, pk+2, ...
での根の数と同じであることを示している。
r が法
で単根になっていないとき、このプロセスでは何が起きているのであろうか? これを見るために、次の状況
f(r) \equiv 0 \bmod p^k  \quad \text{and} \quad f'(r) \equiv 0 \bmod p
を考えよう。このとき、s \equiv r \bmod p^k
f(s) \equiv f(r) \bmod p^{k+1}
を意味する。つまり任意の整数 t に対して
f(r + tp^k) \equiv f(r)\bmod p^{k+1}
が成り立つ。それゆえ次の2つの場合がある。
f(r) \not\equiv 0 \bmod p^{k+1}  なら r の法 pk+1 への f(x) の根の持ち上げは存在しない。
f(r) \equiv 0 \bmod p^{k+1}  なら r の任意の法 pk+1 への持ち上げは f(x) の法 pk+1 での根である。
例:
p = 2 として両方のケースを見てみよう。
f(x) = x^2 +1 とし、r = 1 とする。このとき、f(1)\equiv 0 \bmod 2 で
f'(1) \equiv 0 \bmod 2
である。f(1) \not\equiv 0 \bmod 4
なので、1の法4への持ち上げで
f(x) の法4での根になるものは存在しない。
g(x) = x^2 -17、r = 1 とする。すると
g(1)\equiv 0 \bmod 2
g'(1) \equiv 0 \bmod 2
である。また、g(1) \equiv 0 \bmod 4
であるので、この解を法4へ持ち上げることができ、2つの持ち上げ(1と3)はともに解である。これらの解に対しても微分は法2でやはり0であるので、アプリオリにはこれらを法8に持ち上げられるかどうかは分からない。しかし実際には
g(1) も g(3) も法8で0と合同であるので持ち上げることができる。法8では1, 3, 5, 7が解である。これらの中で
g(1) と g(7) だけが法16で0なので、1と7だけが法16に持ち上げることができ、それらは1, 7, 9, 15である。これらの中では7と9だけが
なので、同様に法32での解7, 9, 23, 25が得られる。任意の整数 k ≥ 3 に対して法2での
の根への持ち上げは4つ存在することがわかる。
p 進数では、p の冪乗を法とする有理数の合同類というものを、分母が
の倍数でなければ考えることができる。このことを使うと、
法 pk での根
から法 pk+1 での根
を求める反復計算をずっと直感的に行うことができる。次の合同式
tf'(r_k) \equiv -(f(r_k)/p^{k})\bmod p^m
を見つける代わりに、有理数
-(f(r_k)/p^{k})/f'(r_k)
で定める。分母に pk が出てくるように見えるが、
f(rk) が
で割れるため実際には出てこない。そして
r_{k+1} = r_k + tp^k = r_k - \frac{f(r_k)}{f'(r_k)}
と置く。これは整数にはならないかもしれないが、p
進整数にはなっている。数列
p 進整数
に収束し、極限は
の解になっている。そして、rk
を計算する漸化式をよく見てみると、実数の場合における求根アルゴリズムであるニュートン法の漸化式とまったく同じになっている。
p 進数の中で計算を行い
p 進絶対値を使うことで
f'(a)\equiv 0 \bmod p
の解についても使えるようにしたヘンゼル補題がある。f'(a)
が0になってしまわないことは必要である。この一般化されたヘンゼルの補題は次のようになる。整数 a で
|f(a)|_p < |f'(a)|_p^2
を満たすものがあったとすると、p 進整数 b で
f(b) = 0 かつ
|b-a|_p <|f'(a)|_p
となるものが一意的に存在する。この
b を作るにはニュートン法の漸化式が初期値
p 進数に収束することを示しその極限を
と置けばよい。条件
|b-a|_p <|f'(a)|_p を満たす根として
b が一意であることを示すには追加の議論がいる。
先ほどのヘンゼルの補題の m=1 の場合はこの一般化された補題の特殊な場合になっている。条件
f'(a)\not\equiv 0 \bmod p
|f(a)|_p < 1
|f'(a)|_p = 1
を意味するからである。
p を奇素数、a を0ではない
p を法とする平方剰余とする。このとき、p 進整数環 \Z_p の中に
a の平方根が存在することをヘンゼルの補題を使って示すことができる。これを見るために
f(x)=x^2-a
と置く。r を法 p での
a の平方根とすると
f(r) = r^2 - a \equiv 0 \bmod p \quad \text{and} \quad f'(r) = 2r \not\equiv 0 \bmod p
が成り立つ。2番目の式は
から出発して反復計算を行うことにより整数の列 \{r_k\} を
r_{k+1} \equiv r_k \bmod p^k, \quad r_k^2 \equiv a \bmod p^k
が成り立つように作ることができる。この列はある
p 進整数 b に収束し
を満たす。
この b は、法 p で r1 と合同になる
\Z_p
の唯一の平方根である。逆に、a を
\Z_p の平方数で
p で割り切れないものとすると、
これは0ではない法 p での平方剰余である。a
が法 p でゼロではない平方剰余かどうかは平方剰余の相互法則で簡単に判定できるので、これで(奇素数 p に対する)p 進数が p 進平方根を持つかどうかを決定する実用的な方法が得られたことになる。p = 2
の場合にも、一般化されたヘンゼルの補題を用いることでこの方法を拡張することができる(17の2進平方根の例を後で見る)。
以上の議論をもっと具体的に理解するために、7進整数環の中で"2の平方根"、つまり方程式
x^2-2=0
の解を見つけてみよう。この方程式の法7での解の1つは3(もう1つの解は4)なので、r_1 = 3
としよう。ヘンゼルの補題における
r_2
\begin{align}
f(r_1) &= 3^2-2=7 \\
f(r_1)/p^1 &=7/7=1 \\
f'(r_1) &=2r_1=6
\end{align}
となる。これらの式から、次の式
tf'(r_1) \equiv -(f(r_1)/p^k)\bmod p
t\cdot 6 \equiv -1\bmod 7
となり、これは
t = 1
を意味する。したがって、
r_2 = r_1 + tp^1 = 3+1 \cdot 7 = 10 = 13_7
と計算できた。簡単に確かめられるように、10^2\equiv 2\bmod 7^2
が成り立っている(ニュートン法の反復を直接7進数で使うと、r_2 = r_1 - f(r_1)/f'(r_1) = 3 - 7/6 = 11/6
となる。11/6 \equiv 10 \bmod 7^2 なので整合している)。
r_3 = 108 = 3 + 7 + 2\cdot 7^2 = 213_7
となる。この計算を1回繰り返すごとに(つまり k の値が1つ増えていく度に)次の7の冪乗の項が追加され7進数での桁が1つが増えていく。7進整数環の中でこの数列は収束し、その極限は
\Z_7
での2の平方根となる。その7進展開の初めの方は
3 + 7 + 2\cdot7^2 + 6\cdot 7^3 + 7^4 + 2\cdot 7^5 + 7^6 + 2\cdot 7^7 + 4\cdot 7^8 + \cdots
となる。
r_1 = 4
\Z_7
における2の平方根が得られる。
これは法7で3ではなく4に合同になるもので、実は最初に得られた平方根を-1倍したものになっている(これは
であることと辻褄があっている)。
f(x) = x^2-17
を考える。a=1
f(a) =-16
であり、また
f'(a) = 2
であるので、
|f(a)|_2 < |f'(a)|_2^2
が成り立つ。これから、ある2進整数 b で
b^2 = 17 \quad \text{and} \quad |b-a|_2 < |f'(a)|_2 = \frac{1}{2}
を満たすものが一意に存在する。二番目の式は
を意味する。2進整数の中には17の平方根が2つ存在し、それらは符号が異なり、法2では合同であるが法4では合同ではない。これは、一般化された形のヘンゼルの補題から得られるのが法2ではなく法4で1と合同な17の2進平方根で、法4で一意であることと整合的である。最初の近似根として
を取った場合でも一般化されたヘンゼルの補題を適用することができ、法4で3と合同になる唯一の17の2進平方根をやはり見つけることができる。これがもう1つの17の2進平方根である。
x^2-17
へ持ち上げるやり方の場合、法2での根1からの持ち上げの過程は次のようになる。
1 mod 2 は 1, 3 mod 4 に持ち上がる。
1 mod 4 は 1, 5 mod 8 に、3 mod 4 は 3, 7 mod 8 に持ち上がる。
1 mod 8 は 1, 9 mod 16 に、7 mod 8 は 7, 15 mod 16 に持ち上がる。一方、3 mod 8 と 5 mod 8 は mod 16 での根に持ち上がらない。
9 mod 16 は 9, 25 mod 32 に、7 mod 16 は 7, 23 mod 16 に持ち上がる。一方、1 mod 16 と 15 mod 16 は mod 32 での根に持ち上がらない。
k が3以上であれば
には4つの根がある。しかし2進極限は2つしかない。持ち上げられた根と極限の2進展開を比べてみよう。例えば、法32での4つの根を法16で等しくなるものを組にして書くと次のようになる。
一方、17の2進平方根の展開は
1 + 2^3 +2^5 +2^6 +2^7 +2^9 + 2^{10} + \cdots
1 + 2 + 2^2 + 2^4 + 2^8 + 2^{11} + \cdots
となっている。
基本形は使えないが一般化された形のヘンゼルの補題なら使えるもう1つの例として、c ≡ 1 mod 9
\Z_3
で立方数になることの証明を見よう。f(x) =x^3-c
と置き、最初の近似根として
を取る。任意の r に対して
f'(r)\equiv 0 \bmod 3
となってしまうので、基本形のヘンゼルの補題を使って
の根を見つけることはできない。
|f(1)|_3 <|f'(1)|_3^2
である必要がある。これは
c\equiv 1 \bmod 27
ということである。つまり、
が3進根を持つことがわかり、c
が3進立方数であることがわかる。しかし、
というより弱い条件のもとでこの結果が欲しい。c ≡ 1 mod 9
であれば、c ≡ 1, 10, or 19 mod 27
である。この3つの
の値に応じて初期値を使い分けて一般形のヘンゼルの補題を適用する。c ≡ 1 mod 27
なら、a = 1 を使う。c ≡ 10 mod 27
なら、a = 4 を使う(4は法27での f(x) の根)。c ≡ 19 mod 27
なら、a = 7 を使う。なお、任意の
は3進立方数になる、という主張は正しくない。例えば、4は法9で立方数にならないので3進立方数ではない。
同様にして、少し準備が必要だが、ヘンゼルの補題を使って任意の奇素数 p に対して法
\Z_p
p 冪乗数であることを示すことができる(p = 2 の場合はこれは成り立たない)。
ヘンゼルの補題は多変数の多項式への一般化もある。f (X1, X2, ..., Xn)
を整数係数の多項式とし、ディオファントス方程式
を考える。これがある素数 p に対して mod p2m + 1 (m は非負整数)で解
を持ったとする。つまり
が成り立ったとする。さらに、少なくとも1つの変数について f の偏微分の a における値が mod pm + 1 でゼロではなかったとする。このとき、a は mod pm + 1 で a と等しい
での解に持ち上がる。同様に Z の解に持ち上げることもできるので、このディオファントス方程式は p 進整数環 Zp で解を持つ。
A をイデアル
\mathfrak{m}
について完備な可換環とし、f(x) \in A[x] とする。次の式
f(a) \equiv 0 \bmod f'(a)^2 \mathfrak{m}.
を満たす a ∈ A のことを f の近似根と呼ぶ。f が近似根を持つなら、a に"近い"本当の根 b ∈ A も持つ。つまり、次の式
f(b) = 0 \quad \text{and} \quad b \equiv a \bmod{\mathfrak m}
を満たす b が存在する。さらに、f'(a) が零因子でないならば、b は一意的である。
このことは多変数の場合に次のように一般化できる。
定理:  A を可換環でイデアル \mathfrak{m} \subset A について完備なものとする。f_1, \ldots, f_n \in A[x_1, \ldots, x_n] を A 係数の n 個の n 変数多項式とする。\mathbf{f} = (f_1, \ldots, f_n) を An から自身への写像と考え、J_{\mathbf{f}(\mathbf{x}) をそのヤコビ行列とする。a = (a1, ..., an) ∈ An を f = 0 の近似解、つまり
f_i(\mathbf{a}) \equiv 0 \bmod (\det J_{\mathbf{f}(a))^2 \mathfrak{m}, \qquad 1 \leqslant i \leqslant n
が成り立つものとする。このとき、ある b = (b1, ..., bn) ∈ An で f(b) = 0 を満たすもの、つまり
f_i(\mathbf{b}) =0, \qquad 1 \leqslant i \leqslant n
が成り立つものが存在する。さらに、この解は
b_i \equiv a_i \bmod \det J_{\mathbf{f}(a) \mathfrak{m}, \qquad 1 \leqslant i \leqslant n
が成り立つという意味で a に"近い"解である。
この定理の特別な場合として、f_i(\mathbf{a}) \equiv 0 \bmod \mathfrak{m}
がすべての i に対して成り立ち、しかも
\det J_{\mathbf{f}(\mathbf{a})
の単数なら、解
ですべての i に対して
b_i \equiv a_i \bmod \mathfrak{m}
が成り立つものが存在することがわかる。
n = 1 の場合、
A の元で
J_{\mathbf{f}(\mathbf{a}) = J_f(a)=f'(a)
である。したがって、この多変数のヘンゼルの補題の仮定は1変数の場合には通常のヘンゼルの補題の仮定と同じになっている。
環が完備であることはヘンゼルの補題が成り立つための必要条件ではない。1950年に、東屋五郎は可換な局所環であって極大イデアル
についてヘンゼルの補題が成り立つものをヘンゼル環と名付けた。
1950年代に永田雅宜は、任意の可換な局所環
A とその極大イデアル m に対して
が常に存在することを証明した。この
のヘンゼル化と呼ぶ。A
もネーターである。また、Ah
はエタール位相の極限として構成されるので代数的である。したがって、Ah
はヘンゼルの補題が成り立つにも関わらず、通常は完備化
よりもずっと小さく、同じ圏に属している。