2026-08-15 · 让模 p 的根长成精确根

0. 导读与元结构 (Orientation & Meta-structure)

昨日把同余

$$x\equiv y(\mathrm{mod}{p}^N)$$

解释为 $x,y$ 在 p-adic 距离下相差至多 $p^{-N}$，并把相容的有限层数据组织成 ${\mathbb{Z}}_p$。但方程求解还有一道缺口：若 $f(a)\equiv 0(\mathrm{mod}p)$，这个粗糙近似能否继续成为模 $p^2,p^3,\dots$ 的相容根，最终变成 ${\mathbb{Z}}_p$ 中满足 $f(\alpha )=0$ 的精确根？一般而言，答案是否定的；决定成败的是近似根处的线性化能否求逆。

本期固定素数 $p$，并分清三类对象：

1. $f\in {\mathbb{Z}}_p[X]$ 是多项式，$a_n\in {\mathbb{Z}}_p$ 是其模 $p^n$ 的近似根；
2. $a_{n}mod{p}^n$ 是有限环 ${\mathbb{Z}}_p/p^n{\mathbb{Z}}_p\cong \mathbb{Z}/p^n\mathbb{Z}$ 中的剩余类；
3. $\alpha \in {\mathbb{Z}}_p$ 是相容近似列的 p-adic 极限。

核心量词是：对给定的 $p,f,a_1$，若 $f(a_1)\equiv 0(\mathrm{mod}p)$ 且 $f^{\prime }(a_1)\not\equiv 0(\mathrm{mod}p)$，则对每个 $n\ge 1$ 都存在唯一的相容提升类 $a_{n}mod{p}^n$，并存在唯一的 $\alpha \equiv a_1(\mathrm{mod}p)$ 使 $f(\alpha )=0$。

前置知识是昨日的 p-adic 赋值、${\mathbb{Z}}_p$ 的完备性、同余与形式导数。主导证明机制只有三步：Taylor 展开隔离线性项；利用 $f^{\prime }(a_1)$ 为单位解出唯一校正量；利用完备性把无限校正收束为精确根。

这是 p-adic-locality 三日微弧的第 2 日：第 1 日构造局部空间；今日在局部空间中提升根；第 3 日将转向 local–global principle（局部—整体原理），追问所有局部方程都有解时，有理数方程是否有解。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 一次只补一位：校正方程从何而来

对 $x,y\in {\mathbb{Z}}_p$，写

$$x\equiv y(\mathrm{mod}{p}^n)$$

表示 $x-y\in p^n{\mathbb{Z}}_p$，等价于 $v_p(x-y)\ge n$。设已经找到 $a_n\in {\mathbb{Z}}_p$，使

$$f(a_n)\equiv 0(\mathrm{mod}{p}^n).$$

要保持旧的 $n$ 位而再补一位，候选必可写成

$$a_{n+1}=a_n+t_n{p}^n,t_n\in \{0,1,\dots ,p-1\}(\mathrm{mod}p).$$

对任意交换环 $R$、任意 $f\in R[X]$，存在 $G\in R[X,Y]$ 使恒等式

$$f(X+Y)=f(X)+f^{\prime }(X)Y+Y^{2}G(X,Y)$$

成立。这只是把二项式展开中 $Y$ 的零次、一次项取出；不需要除以 $2!,3!,\dots$，因此在模 $p^n$ 运算中没有分母问题。

令 $f(a_n)=p^n{q}_n$。代入 $Y=t_n{p}^n$；因 $2n\ge n+1$，二次余项被 $p^{n+1}$ 整除，于是

$$\begin{array}{rl}f(a_n+t_n{p}^n)& \equiv f(a_n)+f^{\prime }(a_n)t_n{p}^n(\mathrm{mod}{p}^{n+1})\\ & \equiv p^n(q_n+f^{\prime }(a_n)t_n)(\mathrm{mod}{p}^{n+1}).\end{array}$$

故提升问题恰好化为有限域 ${\mathbb{F}}_p$ 中的一个线性同余：

$$q_n+f^{\prime }(a_n)t_n\equiv 0(\mathrm{mod}p).$$

如果 $f^{\prime }(a_n)\not\equiv 0(\mathrm{mod}p)$，它在 ${\mathbb{F}}_p$ 中可逆，$t_n$ 便存在且唯一。这里导数条件不是装饰：它正是“线性化可以反解”的代数表达。

1.2 Hensel 引理：单根的存在与唯一提升

定理（Hensel 引理，单根形式）。 设 $p$ 为素数，$f\in {\mathbb{Z}}_p[X]$，$a\in {\mathbb{Z}}_p$。若

$$f(a)\equiv 0(\mathrm{mod}p),f^{\prime }(a)\not\equiv 0(\mathrm{mod}p),$$

则存在唯一的 $\alpha \in {\mathbb{Z}}_p$，使得

$$f(\alpha )=0,\alpha \equiv a(\mathrm{mod}p).$$

等价地，$amodp$ 是 $fmodp$ 的单根 (simple root)，而这个单根对每个 $n\ge 1$ 唯一提升为模 $p^n$ 的根。

证明架构。

第一步：递归构造。 令 $a_1=a$。假设已构造 $a_n$，满足

$$f(a_n)\equiv 0(\mathrm{mod}{p}^n),a_n\equiv a(\mathrm{mod}p).$$

上一节的校正方程给出唯一的 $t_{n}modp$，令 $a_{n+1}=a_n+t_n{p}^n$，便有

$$f(a_{n+1})\equiv 0(\mathrm{mod}{p}^{n+1}),a_{n+1}\equiv a_n(\mathrm{mod}{p}^n).$$

又因 $a_n\equiv a(\mathrm{mod}p)$，有 $f^{\prime }(a_n)\equiv f^{\prime }(a)\not\equiv 0(\mathrm{mod}p)$，所以可逆性在每一步都保持。

第二步：以完备性取得精确根。 若 $m>n$，相容性给出

$$a_m\equiv a_n(\mathrm{mod}{p}^n),|a_m-a_n{|}_p\le p^{-n}.$$

故 $(a_n)$ 是 ${\mathbb{Z}}_p$ 中的 Cauchy 列。由于 ${\mathbb{Z}}_p$ 完备，存在 $\alpha \in {\mathbb{Z}}_p$ 使 $a_n\to \alpha$。多项式求值连续，因此

$$f(\alpha )=\underset{n\to \mathrm{\infty }}{lim}f(a_n)=0;$$

也可直接说，对每个 $n$，$f(\alpha )\equiv f(a_n)\equiv 0(\mathrm{mod}{p}^n)$，从而 $v_p(f(\alpha ))\ge n$ 对所有 $n$ 成立，只能有 $f(\alpha )=0$。

第三步：证明唯一性。 若 $\beta \in {\mathbb{Z}}_p$ 也满足 $f(\beta )=0$ 且 $\beta \equiv a(\mathrm{mod}p)$，先有 $\beta \equiv \alpha (\mathrm{mod}p)$。归纳假设 $\beta \equiv \alpha (\mathrm{mod}{p}^n)$，写 $\beta =\alpha +p^{n}u$。Taylor 恒等式模 $p^{n+1}$ 给出

$$0=f(\beta )\equiv f(\alpha )+f^{\prime }(\alpha )p^{n}u=f^{\prime }(\alpha )p^{n}u(\mathrm{mod}{p}^{n+1}).$$

而 $f^{\prime }(\alpha )\equiv f^{\prime }(a)\not\equiv 0(\mathrm{mod}p)$，故 $u\equiv 0(\mathrm{mod}p)$，于是 $\beta \equiv \alpha (\mathrm{mod}{p}^{n+1})$。这对所有 $n$ 成立，所以 $\beta =\alpha$。

1.3 一个可执行的提升：$2$ 在 ${\mathbb{Q}}_7$ 中有平方根

取

$$f(X)=X^2-2,p=7,a_1=3.$$

因为

$$f(3)=7\equiv 0(\mathrm{mod}7),f^{\prime }(3)=6\not\equiv 0(\mathrm{mod}7),$$

Hensel 引理保证存在唯一 $\alpha \in {\mathbb{Z}}_7$，满足 ${\alpha }^2=2$ 且 $\alpha \equiv 3(\mathrm{mod}7)$。逐层校正实际给出

$$\begin{array}{ccc}n& a_{n}mod{7}^n& f(a_n)mod{7}^n\\ 1& 3& 0\\ 2& 10=3+7& 0\\ 3& 108=10+2\cdot 7^2& 0\\ 4& 2166=108+6\cdot 7^3& 0\end{array}$$

并且 $a_{n+1}\equiv a_n(\mathrm{mod}{7}^n)$。这些不是四个互不相干的模方程解，而是同一个 $7$-adic 根的前四层有限信息。另一个模 $7$ 单根 $-3\equiv 4$ 则提升为另一个平方根 $-\alpha$；二者从第一层就落在不同的剩余类球中。

1.4 Newton 迭代为何在 p-adic 世界更整齐

因为 $f^{\prime }(a)$ 是 ${\mathbb{Z}}_p$ 的单位，可以直接在 ${\mathbb{Z}}_p$ 中写 Newton 迭代

$$x_{k+1}=x_k-\frac{f(x_k)}{f^{\prime }(x_k)},x_0=a.$$

若 $v_p(f(x_k))\ge m\ge 1$，则校正量

$$h_k=-\frac{f(x_k)}{f^{\prime }(x_k)}$$

满足 $v_p(h_k)\ge m$。Taylor 恒等式中常数项与线性项精确抵消：

$$f(x_k+h_k)=h_k^{2}G(x_k,h_k),$$

所以

$$v_p(f(x_{k+1}))\ge 2m.$$

同时 $x_{k+1}\equiv x_k(\mathrm{mod}p)$，故 $f^{\prime }(x_{k+1})$ 仍是单位。于是正确的 p-adic 位数至少成倍增长。实数 Newton 法通常还需控制初值邻域、导数变化与误差大小；在这里，超度量、整系数 Taylor 余项和“单位导数”把这些控制压缩成稳定的赋值不等式。

研究生延伸。 Hensel 引理可看作 non-Archimedean implicit function theorem（非 Archimedean 隐函数定理）的原型。抽象化后，一个局部环若满足适当的根提升性质，称为 Henselian local ring（Henselian 局部环）。在有限扩张、étale 映射、代数簇的局部点以及 p-adic analytic geometry（p-adic 解析几何）中，“特殊纤维上的单根唯一提升”仍是同一机制。

1.5 谱系：从幂级数类比到局部算术算法

Kurt Hensel 在 19 世纪末从数域与函数域的类比出发发展 p-adic 思想；MacTutor 所引历史研究将 Weierstrass 的代数函数幂级数方法列为直接动机之一。Hensel 的 Neue Grundlagen der Arithmetik 发表于 1904 年的 Journal für die reine und angewandte Mathematik 第 127 卷；Keith Conrad 的讲义将该文 §4（pp. 77–84）列为 Hensel 引理的原始出处。

原始类比的存续核心不是“把数写成无穷级数”这一表面形式，而是：以素数 $p$ 充当函数域中的局部参数，把更高次 $p$ 幂整除解释为更高阶近似，再用完备性保证无限改进有极限。现代 Hensel 引理进一步把这个观念变成可执行算法：有限域中的单根信息，经线性校正即可控制整个 p-adic 邻域。

2. 固定模板习题 (Template Exercise)

题目

设 $X_1,X_2,\dots$ 是相互独立的实随机变量，且存在 $\mu \in \mathbb{R}$、${\sigma }^2<\mathrm{\infty }$，使对每个 $k\ge 1$ 都有

$$\mathbb{E}[X_k]=\mu ,\mathrm{Var}(X_k)\le {\sigma }^2.$$

令

$${\bar{X}}_n=\frac{1}{n}\sum _{k=1}^n{X}_k.$$

证明：对每个 $\epsilon >0$，

$$\mathbb{P}(|{\bar{X}}_n-\mu |\ge \epsilon )\le \frac{{\sigma }^2}{n{\epsilon }^2},$$

从而 ${\bar{X}}_n\to \mu$ 依概率收敛。

模板识别

信号是“独立和的平均 + 二阶矩有统一控制 + 只要求依概率收敛”。此时不必寻找精确分布，也不必使用中心极限定理；标准路线是先算均值与方差，再把 Chebyshev 不等式作用于样本平均。

分级提示

1. 先求 $\mathbb{E}[{\bar{X}}_n]$；注意这里不需要独立性。
2. 独立性在哪一步真正使用？写出和的方差。
3. 由 $\mathrm{Var}(X_k)\le {\sigma }^2$ 控制 $\mathrm{Var}({\bar{X}}_n)$。
4. 把 Chebyshev 不等式的随机变量取为 ${\bar{X}}_n$，阈值取为 $\epsilon$；最后对每个固定的 $\epsilon >0$ 令 $n\to \mathrm{\infty }$。

3. 大家之言 (Mathematician in Their Own Words)

人物与语境。 数论学家 Emmanuel Kowalski 在 2009 年 1 月 17 日的第一人称博客短文 Find the statement from the proof 中追问：一份脱离命题陈述的证明，是否仍应让读者重建出它究竟证明了什么。他紧接着指出，若某个假设只被藏在计算或“留给读者”的检查里，这种重建就会漏掉关键条件。

核验引文：

“Should the proof of a theorem (taken in isolation) allow us to reconstitute precisely its statement? That seems like an interesting question, and I guess my personal answer would be that it should, more or less, given maybe enough context information.”

中译：“一条定理的证明（孤立地看）是否应该让我们精确重建出它的陈述？这似乎是个有趣的问题；我个人大概会回答：只要给出足够的语境信息，它多少应该能够做到。”

Hensel 引理恰好可用来检验这项标准。证明中反复出现的操作是解线性同余

$$q_n+f^{\prime }(a_n)t_n\equiv 0(\mathrm{mod}p).$$

若读者从证明反推定理，就会被迫恢复“$f^{\prime }(a_n)$ 模 $p$ 可逆”，进而恢复单根假设 $f^{\prime }(a)\not\equiv 0(\mathrm{mod}p)$；极限步骤又会迫使读者恢复 ${\mathbb{Z}}_p$ 的完备性。换言之，好的证明不仅推出结论，也应暴露每条假设在何处承担工作。Kowalski 随后关于“假设可能被藏进计算”的提醒，在这里正对应一种常见坏写法：只写“选择合适的 $t_n$”，却不说明为什么这个选择存在且唯一。

4. 反例与边界 (Counterexample & Boundary)

4.1 删掉导数条件，根可能在下一层立即消失

取 $p=2$、

$$f(X)=X^2+1,a=1.$$

逐项检查：

1. $f(1)=2\equiv 0(\mathrm{mod}2)$，所以 $1mod2$ 确实是模 $2$ 的根。
2. $f^{\prime }(X)=2X$，故 $f^{\prime }(1)=2\equiv 0(\mathrm{mod}2)$；这个根不是单根。
3. 任意提升 $x\equiv 1(\mathrm{mod}2)$ 都是奇数。写 $x=2k+1$，则
   $$x^2+1=4k(k+1)+2\equiv 2(\mathrm{mod}4),$$
   因而模 $4$ 根根本不存在。
4. 若存在 $\alpha \in {\mathbb{Z}}_2$ 使 ${\alpha }^2+1=0$ 且 $\alpha \equiv 1(\mathrm{mod}2)$，将它约化模 $4$ 就会得到上一项禁止的根，矛盾。

所以“模 $p$ 有根”不能单独推出“在 ${\mathbb{Z}}_p$ 中有根”。失败点很精确：校正同余中的系数 $f^{\prime }(a)$ 等于 $0modp$，线性项无法用来消除当前误差。

4.2 导数为单位是充分条件，不是所有可提升情形的必要条件

反方向也要辨清。取 $f(X)=X^2-1$、$p=2$、$a=1$。仍有 $f^{\prime }(1)=2\equiv 0(\mathrm{mod}2)$，但

$$\alpha =1,\beta =-1$$

都是 ${\mathbb{Z}}_2$ 中的根，而且二者都满足 $\alpha \equiv \beta \equiv 1(\mathrm{mod}2)$。因此根不但能提升，单根版本的唯一性还发生了分叉。

两例合起来给出准确边界：奇异根 (singular root) 不是一律不能提升，而是模 $p$ 的一阶信息已不足以决定存在性与唯一性；可能无提升，也可能有一个或多个提升。处理它们需要更细的高阶信息，例如强 Hensel 条件

$$v_p(f(a))>2v_p(f^{\prime }(a)),$$

或等价的绝对值形式 $|f(a){|}_p<|f^{\prime }(a){|}_p^2$，而不能把单根定理机械套用。

5. 今日一问与数学地图 (Question & Map)

今日一问。 设 $u\in {\mathbb{Z}}_2^{\times }$ 是 $2$-adic 单位。试证明

$$u\text{ 是 }{\mathbb{Q}}_2\text{ 中的平方}⟺u\equiv 1(\mathrm{mod}8).$$

请分别处理必要性与充分性：必要性只需逐一分析奇数平方模 $8$；充分性则要求你解释为何对

$$f(X)=X^2-u,a=1$$

虽然 $f^{\prime }(1)=2$ 不是 $2$-adic 单位，近似仍然“足够好”到可以启动强 Hensel 引理。你需要比较 $v_2(f(1))$ 与 $2v_2(f^{\prime }(1))$，并追踪 Newton 校正量的赋值。这里不展开完整证明。

数学地图：

$$\text{同余与形式导数}⟶\text{模 }p\text{ 单根}⟶\text{Hensel 提升}⟶\text{p-adic Newton 法}⟶\text{Henselian 局部环与 étale 映射}⟶\text{局部点与算术几何}.$$

明日转向另一条纵线：

$$\text{各 }{\mathbb{Q}}_p\text{ 与 }\mathbb{R}\text{ 上的局部解}⟶\text{二次型的 Hasse--Minkowski 定理}⟶\text{local--global principle}⟶\text{其适用范围与失败障碍}.$$

今天的 Hensel 引理负责在一个固定素点内把有限精度变成精确解；局部—整体问题则追问：把所有素点的信息汇总后，能否重建 $\mathbb{Q}$ 上的解。二者是不同层次的“局部性”，不可混为一谈。

附录 A：习题完整解答 (Full Solution)

展开完整解答

模板：独立和的方差缩放 + Chebyshev 二阶矩集中。

由期望的线性性，对每个 $n\ge 1$，

$$\mathbb{E}[{\bar{X}}_n]=\frac{1}{n}\sum _{k=1}^n\mathbb{E}[X_k]=\frac{1}{n}\cdot n\mu =\mu .$$

这里尚未使用独立性。由于 $X_1,\dots ,X_n$ 相互独立，它们两两协方差为零，所以

$$\begin{array}{rl}\mathrm{Var}({\bar{X}}_n)& =\mathrm{Var}\left(\frac{1}{n}\sum _{k=1}^n{X}_k\right)\\ & =\frac{1}{n^2}\sum _{k=1}^n\mathrm{Var}(X_k)\\ & \le \frac{1}{n^2}\cdot n{\sigma }^2=\frac{{\sigma }^2}{n}.\end{array}$$

对任意固定的 $\epsilon >0$，将 Chebyshev 不等式用于 ${\bar{X}}_n$，得到

$$\begin{array}{rl}\mathbb{P}(|{\bar{X}}_n-\mu |\ge \epsilon )& =\mathbb{P}(|{\bar{X}}_n-\mathbb{E}[{\bar{X}}_n]|\ge \epsilon )\\ & \le \frac{\mathrm{Var}({\bar{X}}_n)}{{\epsilon }^2}\\ & \le \frac{{\sigma }^2}{n{\epsilon }^2}.\end{array}$$

右端在 $n\to \mathrm{\infty }$ 时趋于 $0$。按依概率收敛 (convergence in probability) 的完整量词定义，即

$$\mathrm{\forall }\epsilon >0,\underset{n\to \mathrm{\infty }}{lim}\mathbb{P}(|{\bar{X}}_n-\mu |\ge \epsilon )=0,$$

因此 ${\bar{X}}_n\to \mu$ 依概率收敛。证毕。

这个模板的可迁移点是：先找出目标随机量的方差随规模衰减，再用 Chebyshev 把二阶矩控制翻译成尾概率控制。独立性用于消去协方差项；若只有不相关性，证明仍成立；若存在正相关，则必须另行估计协方差总和，不能直接写成方差之和。

资料与来源 (Sources)

1. Andrew V. Sutherland, 18.782 Introduction to Arithmetic Geometry, Lecture #8: Completions of $\mathbb{Q}$; Root-finding in p-adic Fields; Hensel’s Lemma, MIT OpenCourseWare, 2013-10-01. 本期单根形式、Taylor 恒等式、Newton 迭代与唯一性的主要现代课程来源。
   https://ocw.mit.edu/courses/18-782-introduction-to-arithmetic-geometry-fall-2013/93ce99bf80b49bb694ddf87467847f0f_MIT18_782F13_lec8.pdf

2. Keith Conrad, Hensel’s Lemma. 单根形式、逐层校正、强 Hensel 条件、$2$-adic 平方判据及原始文献索引。
   https://kconrad.math.uconn.edu/blurbs/gradnumthy/hensel.pdf

3. Kurt Hensel, Neue Grundlagen der Arithmetik, Journal für die reine und angewandte Mathematik 127 (1904), pp. 51–84. EuDML 书目信息与原文入口；Conrad 将 §4（pp. 77–84）列为 Hensel 引理原始出处。
   https://eudml.org/doc/149178

4. J. J. O’Connor and E. F. Robertson, Kurt Hensel, MacTutor History of Mathematics, last updated March 2006. 用于核对 Hensel 的数域—函数域类比、Weierstrass 幂级数动机及后续局部算术谱系；历史性二级来源与上列原始文献配对使用。
   https://mathshistory.st-andrews.ac.uk/Biographies/Hensel

5. Emmanuel Kowalski, Find the Statement from the Proof, E. Kowalski’s Blog, 2009-01-17. 本期“大家之言”的第一人称随笔与核验引文来源。
   https://blogs.ethz.ch/kowalski/2009/01/17/find-the-statement-from-the-proof

6. Scott Sheffield, 18.600 Probability and Random Variables, Lecture 27: Weak Law of Large Numbers, MIT OpenCourseWare, Fall 2019. Chebyshev 不等式与有限方差弱大数律模板。
   https://ocw.mit.edu/courses/18-600-probability-and-random-variables-fall-2019/c23341155f6563814bbdd0cdfd37a18d_MIT18_600F19_lec27.pdf