p-adic 域与局部域

p-adic 域是通过对有理数在 p-adic 绝对值下进行完备化而构建的；其 p-adic 整数环、剩余域和一致化子使其成为局部域的典型范例，是单一素数算术的自然归宿。

Definition

有理数的 p-adic 绝对值由整除它的 p 的幂次决定。p-adic 数域是在此绝对值下有理数的完备化；局部域是相对于离散赋值完备且具有有限剩余域的域。

Scope

本主题涵盖 p-adic 赋值和绝对值、超度量不等式、奥斯特洛夫斯基（Ostrowski）关于有理数绝对值的分类、p-adic 数和 p-adic 整数环的构造、极大理想、剩余域和一致化子、通过 p-adic 数字展开描述元素、赫恩泽尔引理（Hensel's lemma）用于提升根，以及作为具有有限剩余域的完备离散赋值域的局部域的一般概念。

Core questions

• p-adic 绝对值是如何定义的，为什么它满足强超度量不等式？
• 为什么奥斯特洛夫斯基定理说这些本质上是有理数上除了通常绝对值之外的唯一绝对值？
• p-adic 整数是什么，数字展开和剩余域如何描述它们的结构？
• 赫恩泽尔引理如何将解从剩余域提升到完整的局部域？

Key theories

奥斯特洛夫斯基定理与完备化

有理数上的每个非平凡绝对值都等价于普通绝对值或 p-adic 绝对值；在每种绝对值下进行完备化会得到实数或 p-adic 域，展示了有理数的所有位置。

p-adic 整数的结构

p-adic 整数构成一个紧致局部环，其极大理想由 p 生成，剩余域是模 p 的整数；每个 p-adic 数都有一个唯一的以 p 为基数的展开式，可能向右无限延伸。

赫恩泽尔引理

多项式模 p 的一个简单根可以唯一地提升到 p-adic 整数中的一个根；这使得局部域表现得像剩余域的一个代数上方便的扩充。

Clinical relevance

局部域是局部类域论和朗兰兹纲领（Langlands program）中自守表示的局部组成部分的背景；赫恩泽尔提升（Hensel lifting）也是多项式因式分解和模素数幂快速计算中的一种算法工具。

History

赫恩泽尔于 1897 年引入 p-adic 数，旨在将幂级数技术引入数论，并证明了以他命名的提升引理。奥斯特洛夫斯基于 1916 年对有理数上的绝对值进行了分类，阐明了实数和 p-adic 完备化穷尽了所有可能性，并奠定了局部观点。

Key figures

• Kurt Hensel
• Alexander Ostrowski
• Helmut Hasse

Seminal works

• serre1973
• koblitz1984

Frequently asked questions

什么是一致化子？

它是一个局部域赋值环的极大理想的生成元；对于 p-adic 数，素数 p 本身就是一致化子，每个非零元素都是一个单位乘以它的幂次。

为什么 p-adic 整数是紧致的？

它们是模 p 的幂次的有限整数环的逆极限，这使得它们在 p-adic 度量中是一个闭合有界集，因此是紧致的，这与普通整数不同。