亨泽尔引理

亨泽尔引理（Hensel's Lemma）是代数领域的一条重要结果，主要应用于p进数理论中，用于从模 $p^k$ 的解递归地提升到模 $p^{k+1}$ 的解。这在求解某些多项式方程的整数解或处理 $p$-进数域问题时非常有用。

引理的内容

设 $f(x)$ 是一个整系数多项式，$p$ 是一个素数。假设 $a_0$ 是方程 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$ 的一个解，即满足：

$$f(a_0)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k),$$

且满足：

$$f^{\prime }(a_0)\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p),$$

其中 $f^{\prime }(x)$ 是 $f(x)$ 的导数。

那么，存在一个整数 $a_1$，使得：

$$a_1\equiv a_0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k),$$

且 $a_1$ 是方程 $f(x)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k+1})$ 的解。

递归思想

利用亨泽尔引理，我们可以从模 $p^1$ （即模 $p$）的解逐步递推，找到模 $p^2,p^3,\dots ,p^n$ 的解。这种过程称为亨泽尔提升。

证明思路

假设 $a_1=a_0+t{p}^k$，其中 $t$ 是一个待定整数。将其代入 $f(x)$ 并展开：

$$f(a_1)=f(a_0)+f^{\prime }(a_0)\cdot t{p}^k(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k+1})。$$

由于 $f(a_0)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^k)$，我们需要 $t$ 满足：

$$f^{\prime }(a_0)\cdot t{p}^k\equiv -f(a_0)(\mathrm{m}\mathrm{o}\mathrm{d}{p}^{k+1})。$$

这里利用 $f^{\prime }(a_0)\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$ 的条件，保证了方程关于 $t$ 的解存在且唯一。

应用

1. 多项式方程的整数解：确定模 $p^n$ 的解，进而得到 $p$-进数域中的解。
2. $p$-进数理论：构造和分析 $p$-进数。
3. 代数几何：研究局部性质或光滑点的存在性。

例子

假设有一个多项式 $f(x)=x^2-2$，我们想找到它在 $p=5$ 的解。

1. 首先，考虑 $f(x)=x^2-2\mathrm{m}\mathrm{o}\mathrm{d}5$，我们可以求得 $x=3$ 是模 5 下的解，因为 $3^2\equiv 9\equiv 4\equiv -2(\mathrm{m}\mathrm{o}\mathrm{d}5)$。
2. 然后计算导数 $f^{\prime }(x)=2x$，在 $x=3$ 时 $f^{\prime }(3)=6\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}5)$。
3. 根据亨泽尔引理，既然 $f^{\prime }(3)\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}5)$，我们可以将解提升到 $5^2=25$ 的模数。
4. 通过亨泽尔引理，可以得到一个更精确的解（模 25），并进一步提升到更高的模数。

亨泽尔引理是研究代数方程特别是p-adic解的一个强有力工具。