1 基本概念
p-adic 数是围绕某个素数 \(p\) 建立的一类数系。它不以“数值大小”作为核心判断标准，而是通过整数中含有多少个因子 \(p\) 来衡量两个数的接近程度。由于这种距离观念与实数体系不同，p-adic 数在处理整除、同余和局部性质时尤其自然。
1.1 p-adic 数的定义
p-adic 数可理解为对有理数体系的一种扩张，其关键在于引入与素数 \(p\) 相关的完备结构。直观上，若一个数能被 \(p\) 整除得越多次，它在 p-adic 意义下就越“接近”0。通过这种方式，可以把原本只在有限模运算中出现的层层余数信息统一起来，形成一个包含无限 p 进展开的数。
1.2 p-adic 绝对值
p-adic 绝对值是描述这种数系的基本工具。对于非零有理数，可先写成 \(p\) 的幂次乘以一个不再含 \(p\) 因子的部分，p-adic 绝对值取决于其中 \(p\) 的幂次：幂次越高，绝对值越小。这样定义出的绝对值满足非阿基米德性质，即三角不等式会强化为一种更严格的形式。
1.3 p-adic 距离与完备化
利用 p-adic 绝对值可以定义距离，并据此研究收敛与完备性。与实数通过柯西列补全得到实数域类似，有理数在 p-adic 距离下也可以进行完备化，从而得到新的数域。完备化后的体系能够容纳那些在模 \(p^n\) 意义下逐步逼近的极限对象。
1.4 p-adic 展开表示
每个 p-adic 数都可写成类似进位制的展开形式： \[ a_0+a_1p+a_2p^2+\cdots \] 其中各位数字通常取自 \(0,1,\dots,p-1\)。这种展开不是向右无限延伸，而是从低位到高位逐层累积，体现出 p-adic 数系的核心特征。展开越往高次项延伸，所包含的信息越精细。
2 构造方法
p-adic 数的构造方式主要有两条路径：一条是从有理数出发，通过引入 p-adic 范数并作完备化；另一条是通过逆极限把模 \(p^n\) 的整数系统拼接起来。两种方法在本质上是一致的，都强调逐层保留同余信息。
2.1 从有理数到 p-adic 数
从有理数构造 p-adic 数的思路，类似于把原有体系中的“可测量误差”改为按素数 \(p\) 的整除层次来衡量。由于许多分数在 p-adic 意义下反而更容易处理，因此这一构造为研究数论中的局部现象提供了便利。
2.1.1 p-adic 范数的引入
p-adic 范数首先在有理数上定义，依据一个数被 \(p\) 整除的次数来确定其大小。若某个分数的分子分母中含有较高次的 \(p\)，则其范数相应更小。该范数与通常的绝对值相反：整数越“能被 \(p\) 吃掉”，在 p-adic 世界里就越靠近零。
2.1.2 等价类与完备化过程
在 p-adic 范数下，有理数中的柯西列未必收敛于有理数本身，因此需要引入等价类来描述极限对象。两个柯西列若相互逼近到任意精度，就可视为同一元素。通过对所有柯西列按这一关系分类，即完成完备化，得到 p-adic 数域。
2.2 逆极限构造
逆极限构造从模 \(p^n\) 的有限结构出发，把不同层级的余数系统按兼容关系连接起来。每一层都提供有限信息，而层层兼容后便形成一个完整对象。这种方法非常适合强调同余渐进细化的数论问题。
2.2.1 整数模幂系统
考虑整数模 \(p, p^2, p^3,\dots\) 的序列，每一层之间都有自然的投影映射。较高模数的余数会决定较低模数的余数，因此这些系统之间存在稳定的兼容关系。正是这种逐层约束，构成了 p-adic 整数的骨架。
2.2.2 p-adic 整数环的极限定义
把所有模 \(p^n\) 系统中的兼容序列收集起来，就得到 p-adic 整数环。这个定义不依赖传统小数观念，而是直接把“所有层级的余数信息”视为一个整体。由此生成的对象天然携带无限精度的 \(p\) 进展开。
2.3 与十进制展开的对比
p-adic 展开与十进制展开看似相似，实则逻辑方向完全不同。十进制重视从高位到低位的数量大小，而 p-adic 展开则重视低阶同余信息向高阶逐步提升。
2.3.1 进位方向的差异
在普通十进制中，加法或乘法的进位通常向更高位传递；而在 p-adic 体系里，展开更像是从有限模数信息逐层向外“长出”更高次项。换言之，p-adic 数的稳定性来自高次项的不断补充，而不是来自末位的截断。
2.3.2 无限左展开的意义
p-adic 数常被形容为“向左无限延伸”的展开，这是一种形象说法，强调其高阶项可以无限增加。与实数小数点右侧无限延长不同，这里的无限性对应的是越来越细的 \(p\) 进整除层次。它使得许多方程在 p-adic 框架下能够找到自然解。
3 p-adic 整数与数域结构
p-adic 体系的核心对象包括 p-adic 整数环与 p-adic 有理数域。前者类似于普通整数的完备版本，后者则是由整数环进一步扩张而成的域结构。它们共同构成了 p-adic 数理论的基础。
3.1 p-adic 整数环 Z_p
p-adic 整数环 \(Z_p\) 是所有 p-adic 整数构成的集合，通常可看作在 p-adic 拓扑下封闭的整数系统。它既保留了模运算中的整除信息，又具备完备性，因此在数论证明中经常作为局部分析的基本舞台。
3.1.1 基本性质
\(Z_p\) 是一个带单位元的交换环，且在 p-adic 拓扑下是完备且紧致的。其元素可以用 p 进展开唯一表示，且加法、乘法都与展开形式相容。由于这些性质，\(Z_p\) 既像整数环，又比普通整数环更适合处理极限过程。
3.1.2 单位元与极大理想
在 \(Z_p\) 中，能被 \(p\) 整除的元素形成一个极大理想，通常记作 \(pZ_p\)。不在该理想中的元素都是单位元，即可逆元。这个结构非常简单：一个 p-adic 整数是否可逆，只需看它的最低位是否被 \(p\) 整除。
3.2 p-adic 有理数域 Q_p
p-adic 有理数域 \(Q_p\) 可视为 \(Z_p\) 的分式域，是 p-adic 体系中最常用的数域之一。它不仅包含所有 p-adic 整数，还允许出现有限个 \(p\) 的负次幂，从而表达更广泛的数。
3.2.1 域结构
\(Q_p\) 是一个完备的离散赋值域，乘法与加法均满足域公理。每个非零元素都可写成 \(p^k u\) 的形式，其中 \(u\) 是单位元，\(k\) 为整数。这个分解清楚地反映了数的 p-adic 级别。
3.2.2 代数封闭性与扩张
\(Q_p\) 本身通常不是代数封闭的，许多多项式在其中没有根。为解决这一问题，可以考虑其代数扩张或完备扩张。此类扩张在局部数论与 p-adic 解析中都非常重要，因为它们允许更丰富的根结构出现。
3.3 整数、单位与可逆元
在 p-adic 世界中，整数和可逆元之间的区分比在普通整数环中更具层次性。可逆性不再取决于绝对大小，而取决于是否含有 \(p\) 因子。
3.3.1 可逆性的判定
一个 p-adic 整数若与 \(p\) 互素，则它在 \(Z_p\) 中可逆。判定方法常常只需检查其模 \(p\) 的余数是否为零。若最低位不为零，则该元素存在乘法逆元，并且可以通过逐层提升得到其逆展开。
3.3.2 余数类与代表元
每个模 \(p\) 的余数类都可选取一个代表元，通常取 \(0,1,\dots,p-1\)。这一选择为展开表示提供了统一规范。随着模数提升到 \(p^n\)，代表元的集合也随之细化，最终拼接成完整的 p-adic 信息。
4 算术性质
p-adic 数的算术运算与通常代数运算形式相似，但其收敛与求解规则具有明显的局部特征。许多在实数中不成立或不易处理的级数与方程，在 p-adic 体系中反而表现出良好结构。
4.1 加法与乘法规则
p-adic 加法和乘法可以直接按展开位逐项进行，并在需要时进行进位处理。由于高次项在 p-adic 意义下越来越“小”，所以无限长的展开并不会造成不适定性。运算结果仍保持在同一数域中，且与模 \(p^n\) 的截断运算完全兼容。
4.2 收敛性与级数
在 p-adic 分析中，级数是否收敛主要看其项是否趋于零，而不是看绝对值求和是否有限。许多在实分析里发散的级数，在 p-adic 框架下会表现出优良的收敛行为。
4.2.1 p-adic 级数收敛判别
若级数的项在 p-adic 范数下趋近于 0，往往就能保证级数收敛。这是因为非阿基米德性质使得部分和之间的差异受最小项控制，而不会像实数情形那样因累积误差而失控。该判别法在构造函数与证明定理时十分常用。
4.2.2 几何级数在 p-adic 中的表现
几何级数 \(\sum x^n\) 在 p-adic 中的收敛条件与实数不同。只要 \(x\) 的 p-adic 绝对值小于 1，级数就可收敛，并满足熟悉的求和公式。由此可见，p-adic 世界对“无穷累加”的容忍度相当高。
4.3 根与方程求解
p-adic 方法在求解多项式方程方面尤为强大，尤其适用于先模 \(p\) 找解、再逐层提升的过程。许多局部解可以通过迭代方式扩展成完整的 p-adic 解。
4.3.1 Hensel 引理
Hensel 引理是 p-adic 方程求解中的核心工具。它说明：如果一个多项式在模 \(p\) 意义下有“合适”的简单根，那么这个根常常可以提升为 p-adic 根。该结论把有限同余信息与无限精度解联系起来，极具实用价值。
4.3.2 多项式在 p-adic 域中的根提升
根提升的过程通常从一个模 \(p\) 的近似解开始，然后逐步修正到模 \(p^2, p^3,\dots\)。每一步都只需解决较小的线性误差，因此算法上较为稳定。最终得到的 p-adic 根可视为从粗略同余逐渐雕琢而成的极限对象。
5 p-adic 分析
p-adic 分析研究的是定义在 p-adic 数域上的函数、级数和微分性质。由于距离结构非阿基米德，这一领域与经典实分析有许多相似外表，却在局部行为上呈现出明显差异。
5.1 连续性与可微性
在 p-adic 环境中，连续函数和可微函数的表现往往更“刚性”。很多函数在小邻域内会保持极稳定的性质，使得局部分析显得格外整齐。
5.1.1 p-adic 函数
p-adic 函数指定义在 \(Q_p\) 或 \(Z_p\) 上的映射。它们可由多项式、幂级数或更一般的解析表达式构成。由于 p-adic 拓扑的特殊性，这类函数常表现出局部常数性或分段稳定性。
5.1.2 p-adic 微积分入门
p-adic 微积分以导数和积分的类比概念为基础，但适用条件更为严格。某些经典定理在 p-adic 中需要重新表述，因为函数的局部变化方式不同于实数情形。尽管如此，导数仍可用于描述局部线性近似，积分也能在适当框架下建立。
5.2 p-adic 指数与对数
指数函数和对数函数在 p-adic 分析中同样存在，但它们的定义域通常受收敛半径限制。借助幂级数，可以在适当邻域内建立类似实分析中的基本运算体系。
5.2.1 定义与收敛域
p-adic 指数函数和对数函数通常通过标准幂级数定义。由于级数收敛依赖于 p-adic 范数，因此其有效范围往往局限于接近 0 或 1 的邻域。进入该范围后，这些函数可用于研究单位群结构和局部参数化。
5.2.2 解析延拓问题
与复分析相比，p-adic 解析延拓具有不同的技术障碍。由于非阿基米德性质，解析函数往往更容易被局部数据所决定，但跨越不同区域的延拓并不总是自然。研究这一问题有助于理解 p-adic 函数的整体结构。
5.3 p-adic 解析函数
p-adic 解析函数通常由收敛幂级数给出，是 p-adic 分析中的重要对象。它们兼具代数和分析特征，在局部研究中尤为有效。
5.3.1 幂级数表示
在适当收敛域内，p-adic 解析函数可写成幂级数形式。与实分析相似，幂级数的系数决定了函数的局部行为；不同的是，收敛条件受 p-adic 范数控制，因此某些系数增长较快的级数仍可能收敛。
5.3.2 局部分析性质
p-adic 解析函数通常具有强烈的局部刚性：在足够小的邻域内，函数行为往往可由有限信息决定。这种性质使得局部估计、根的计数以及分解问题变得更易处理，也增强了其在数论中的应用价值。
6 代数数论中的应用
p-adic 数在代数数论中占据中心地位，尤其适用于研究素数在扩张中的行为、局部可解性以及全局问题的局部分解。它提供了把复杂整体问题拆分成若干素数局部问题的框架。
6.1 局部域理论
局部域理论研究完备离散赋值域及其相关结构。p-adic 域是这一理论中最典型的例子，常作为一般局部域的原型。
6.1.1 完备离散赋值域
完备离散赋值域具有离散的值群与完备的拓扑结构。p-adic 数域正是这种类型的典范，其赋值记录了元素中含有多少个 \(p\) 因子。该框架把数的整除性质转化为可度量的分析问题。
6.1.2 规范化赋值与局部结构
通过规范化赋值，可以统一描述不同元素在 \(p\) 方向上的“层级”。局部结构则体现在单位群、极大理想与剩余域之间的关系上。借助这些概念，可以系统研究扩张、分歧和同余行为。
6.2 局部—整体原理
局部—整体原理试图说明：一个数论方程是否有全局解，往往可以先检查其在各个局部完备域中的解是否存在。p-adic 域是这种检查中不可或缺的一环。
6.2.1 有理点的局部判定
对于某些代数方程，若它在所有相关的 p-adic 域中都有解，并且在实数域中也有解，那么常常能够推测其在有理数域中的可解性。虽然这种推断并非处处成立，但它提供了强有力的筛选标准。
6.2.2 Hasse 原理相关内容
Hasse 原理强调通过局部信息判断全局解的存在。p-adic 检验是这一原理的重要组成部分，尤其在二次型、二次曲线和某些代数方程中表现突出。尽管存在例外，局部分析仍是研究整体可解性的基本手段。
6.3 素数分解与分歧
在数域扩张中，素数的分解方式决定了结构的复杂程度。p-adic 视角能够精细描述素数在扩域中的拆分、合并以及分歧现象。
6.3.1 扩张中的分歧现象
当一个素数在扩张中对应的理想出现更高重数时，就称发生了分歧。p-adic 方法可以用赋值和极大理想的变化来刻画这一现象。分歧程度反映了扩张对原有局部结构的扰动强弱。
6.3.2 惯性与剩余域
惯性描述的是素数在扩张中保持原状的部分，而剩余域则是模掉极大理想后得到的有限域。二者共同构成了局部扩张的基本数据。通过比较惯性与分歧，可以较全面地理解素数在扩张中的行为。
7 重要定理与工具
p-adic 理论中有若干核心引理和工具，它们在方程求解、扩张分析和局部结构研究中反复出现。许多结果都建立在赋值与完备性这两项基本性质之上。
7.1 Hensel 引理及其变体
Hensel 引理是最著名的 p-adic 工具之一，其变体适用于更一般的多项式或更宽松的根条件。它将模 \(p\) 的近似解逐步提升为真正的 p-adic 解，因此在计算和证明中都极具价值。
7.2 Krasner 引理
Krasner 引理刻画了 p-adic 域中代数元素对附近元素的稳定性。大意是：如果两个数足够接近，那么前者生成的扩张往往包含后者生成的扩张信息。该结论在研究局部扩张与根的稳定性时非常有用。
7.3 p-adic 解析工具
p-adic 解析工具主要用于研究幂级数、零点分布和函数局部行为。它们把代数方法与分析方法结合起来，形成了独特的计算体系。
7.3.1 Newton 多边形
Newton 多边形通过多项式系数的赋值信息来判断根的数量与性质。它把代数问题转化为几何图形的斜率分析，从而帮助估计根的 p-adic 绝对值。该方法在多项式分解中尤其常见。
7.3.2 赋值论方法
赋值论方法围绕元素的 p-adic 级别展开，用以比较不同项的大小关系。通过赋值，可以简洁地表达收敛、分歧、单位性以及根的提升条件。它是 p-adic 理论中贯穿始终的基础语言。
8 相关概念与比较
p-adic 数与实数、有限域及一般进制表示之间既有联系，也有本质差别。对这些差异的把握，有助于理解 p-adic 体系的定位。
8.1 与实数体系的差异
实数体系强调大小、顺序与度量的连续性；p-adic 体系则强调整除层次和同余结构。前者适合描述几何与经典分析问题，后者更适合局部数论与模信息。两者虽然都可完备化，但完备化的方向完全不同。
8.2 与进制数表示法的联系
p-adic 展开与常见进制表示在形式上相似，都采用若干“数字”按权展开。但普通进制是有限小数点向右表示量值，而 p-adic 则是向高次幂方向无限延伸。它们共享进位思想，却服务于不同的数学目标。
8.3 与有限域及模运算的联系
p-adic 数与模运算之间关系紧密，因为它们本质上整合了模 \(p^n\) 的逐层信息。有限域可视为 p-adic 整数模掉极大理想后的剩余结构。换言之，p-adic 体系是把有限模信息提升为无限精度对象的自然容器。
8.4 与其他局部数域的比较
p-adic 数域属于典型的非阿基米德局部数域。与实数、复数等阿基米德完备域相比，它在拓扑和分析性质上更为“离散”。在更一般的局部数域中，p-adic 域常作为原型，用来类比与推广。
9 历史与发展
p-adic 数的出现源于对数论问题的深入研究，尤其是对同余和局部性质的系统化需求。随着理论不断发展，它从一个技术工具逐渐演变为现代数论的重要组成部分。
9.1 p-adic 数的提出背景
p-adic 数的思想最初来自研究方程可解性和同余条件时的需要。数学家发现，若只看整数在模 \(p^n\) 下的行为，许多问题会呈现出更清晰的层次结构。于是，将这种层次结构抽象为新的数系，成为自然的发展方向。
9.2 主要发展阶段
p-adic 理论早期主要服务于代数数论和局部分析，随后逐步融入赋值论、局部域理论和算术几何。随着完备化、扩张理论和解析方法的成熟，p-adic 研究范围不断扩大，形成了较为完整的体系。
9.3 现代研究方向
现代 p-adic 研究涉及局部—整体方法、p-adic 解析空间、表示论以及算术几何中的局部结构分析。相关理论还与计算数论、模形式和更高维几何对象相联系。其共同特点是强调以局部信息理解整体算术结构。
10 示例与计算
具体例子有助于理解 p-adic 数的展开、运算与方程求解方式。与抽象定义相比，实际计算更能体现其“按素数逐层细化”的特征。
10.1 典型 p-adic 展开示例
以 3-adic 数为例，某些整数可写成 \[ \cdots + a_4 3^4 + a_3 3^3 + a_2 3^2 + a_1 3 + a_0 \] 其中各位数字取值为 0、1 或 2。若一个数在模 \(3^n\) 下的余数序列逐层确定，那么它的 3-adic 展开也随之唯一确定。这种表示使得“无限左展开”具有明确含义。
10.2 简单方程的 p-adic 解
考虑方程 \(x^2=1\)。在多数 p-adic 域中，\(x=1\) 与 \(x=-1\) 都是解；若进一步研究更复杂的方程，如 \(x^2=a\)，则可先检查其模 \(p\) 解，再借助 Hensel 引理提升。这样一来，原本难以直接求解的问题就变成了分层检验与迭代修正。
10.3 计算技巧与常见误区
p-adic 计算中常见技巧包括：先判断元素的 \(p\)-整除次数，再处理单位部分；先做模 \(p^n\) 近似，再逐步提升到更高精度。常见误区则是把 p-adic 大小观念与实数大小混为一谈，或者误以为“无限展开”意味着通常意义上的无限增大。实际上，p-adic 的核心在于同余精度，而非数值幅度。