P进数

数系的拓展

数系是人类将自然中的数量关系抽象化得到的代数系统。最早建立的数系是带有加法与乘法的自然数${\displaystyle \mathbb {N} =\{0,1,2,3\cdots \}}$ ，其后引入了负数、分数的概念，形成了有理数${\displaystyle \mathbb {Q} }$ ^[1]:32。${\displaystyle \mathbb {Q} }$ 是“最小的”能够包容四则运算的代数系统^{[N 1]}，这样的系统在近世代数中称为域^[2]。

度量

数系的拓展中，自然数系到有理数系的拓展是基于代数运算的需求，而有理数系到实数系的拓展则是拓扑学的需要。这里的拓扑指的是为代数体系赋予“形状”，定义“远近”、“长短”等概念，是建立几何和分析结构的基础。一个常见的拓扑学方法是引入“距离”的概念，正式称呼为度量^[3]。最直观的定义是将两个有理数的“距离”（度量）${\displaystyle d}$ 定义为两者之差的绝对值：

${\displaystyle d(x,y)=|x-y|.}$ 

两个有理数之间的度量是一个非负的有理数。也即是说度量${\displaystyle d}$ 是一个从有理数域映射到非负有理数集合的二元函数：${\displaystyle \mathbb {Q} \times \mathbb {Q} \rightarrow \mathbb {Q} ^{+}=\{x\in \mathbb {Q} ;\;\;x\geqslant 0\}}$ 。其中${\displaystyle \mathbb {Q} ^{+}}$ 的大小关系则是有理数域上定义的全序。这个度量基于欧几里得几何，叫做欧几里得度量或绝对值度量^[3]。

完备化

在${\displaystyle \mathbb {Q} }$ 上装备了度量后，可以讨论极限的概念。极限描述了一个数列在下标趋于无穷时的趋势，是分析学的基础。如果一个有理数列在下标趋于无穷时，数列的项与某个数${\displaystyle l\in \mathbb {Q} }$ 的距离可以小于任意给定的正有理数，就称${\displaystyle l}$ 为此数列的极限。拥有极限的数列的项在下标趋于无穷时相互无限“靠近”。但反过来，这样的数列不一定拥有有理数极限。比如说以下数列：

${\displaystyle {\frac {1}{2}},{\frac {2}{3}},{\frac {3}{5}},{\frac {5}{8}},{\frac {8}{13}},\cdots }$ 

这说明有理数在表示长度和距离的时候是不完备的，存在着无法用有理数表达的长度^[2]。为此需要对有理数进行扩展，称为完备化^[3]。

将${\displaystyle \mathbb {Q} }$ 完备化的拓扑方法由格奥尔格·康托提出。康托的方法依赖于现称为柯西数列的概念。柯西数列是一种可以用任意“小”的“圆盘”覆盖从某项起所有项的无穷数列。某个有理数数列${\displaystyle (a_{n})_{n\in \mathbb {N} }\in \mathbb {Q} ^{\mathbb {N} }}$ 是柯西数列，当且仅当对任意有理数${\displaystyle \epsilon >0}$ ，都存在自然数${\displaystyle N_{\epsilon }\in \mathbb {N} }$ ，使得对任意${\displaystyle n,m>N_{\epsilon }}$ ，都有${\displaystyle d(a_{n},a_{m})<\epsilon }$ 。康托承认每个这样的有理数数列都收敛到某个极限，将实数定义为某个柯西数列的极限^[2]。显然，对于所有有理数，都能找到一个以它为极限的柯西数列，比如常数数列。如果当两个柯西数列${\displaystyle (a_{n})_{n\in \mathbb {N} }}$ 和${\displaystyle (b_{n})_{n\in \mathbb {N} }}$ 的差：${\displaystyle (a_{n}-b_{n})_{n\in \mathbb {N} }}$ 收敛于${\displaystyle 0}$ ，就称这两个数列等价，这样就可以在所有的柯西数列中建立等价关系。而康托将所有的等价类的集合定义为实数集${\displaystyle \mathbb {R} }$ 。四则运算、绝对值度量和序关系“${\displaystyle >}$ ”都可以从有理数域自然诱导到${\displaystyle \mathbb {R} }$ 上。最重要的是，可以证明，所有${\displaystyle \mathbb {R} }$ 中元素构成的柯西数列都收敛到${\displaystyle \mathbb {R} }$ 中。这说明${\displaystyle \mathbb {R} }$ 是一个有序完备数域^[3]。

实数${\displaystyle \mathbb {R} }$ 作为${\displaystyle \mathbb {Q} }$ 的完备化是建立在绝对值度量上的，这种度量与日常现实中的欧几里德式的“距离”概念吻合，符合直观经验。实数也因此成为描述现实世界的有力数学工具。${\displaystyle p}$ 进数与实数的不同在于，它是将绝对值度量改为另一种非直观的度量对有理数进行完备化后得到的完备数域^{[4]:8[5]:50-51}。

分析方法

在有理数${\displaystyle \mathbb {Q} }$ 上引入绝对值度量，与此对应的柯西序列的等价类构成了完备数域${\displaystyle \mathbb {R} }$ 。${\displaystyle p}$ 进数则是在${\displaystyle \mathbb {Q} }$ 上引入不同的度量后进行完备化得到的完备数域。

给定素数${\displaystyle p}$ 。对任意${\displaystyle x\in \mathbb {Q} }$ ，将其写为分数形式${\displaystyle x={\frac {a}{b}}}$ ，其中${\displaystyle a}$ 和${\displaystyle b}$ 是整数，${\displaystyle b}$ 不等于0。根据算术基本定理，每个整数都可以唯一分解为素因数的乘积。考察${\displaystyle p}$ 在${\displaystyle a}$ 和${\displaystyle b}$ 的素因数分解中的次数${\displaystyle \operatorname {ord} _{p}(a)}$ 和${\displaystyle \operatorname {ord} _{p}(b)}$ ，定义${\displaystyle p}$ 进赋值^{[6]:90[4]:1-2}：

${\displaystyle \nu _{p}(x)=\operatorname {ord} _{p}(a)-\operatorname {ord} _{p}(b).}$ 

同时约定${\displaystyle \nu _{p}(0)=+\infty }$ 。例如${\displaystyle p=5}$ ，${\displaystyle x={\frac {63}{550}}}$ ，则

${\displaystyle \nu _{p}(x)=\operatorname {ord} _{p}(63)-\operatorname {ord} _{p}(550)=0-2=-2.}$ 

在此基础上，可以定义度量映射以及其对应诱导的范数^{[7]:59[4]:2[6]:90}：

${\displaystyle \operatorname {d} _{p}(x,y)=p^{-\nu _{p}(x-y)},\quad |x|_{p}=p^{-\nu _{p}(x)}.}$ 

例如

${\displaystyle \operatorname {d} _{5}({\frac {64}{550}},{\frac {1}{550}})=5^{-\nu _{5}({\frac {63}{550}})}=5^{2},\quad \left|{\frac {63}{550}}\right|_{5}=5^{-\nu _{5}({\frac {63}{550}})}=5^{2}.}$ 

可以验证映射${\displaystyle \operatorname {d} _{p}}$ 满足度量所需的一切性质^[7]:59。因此，用与构造实数相同的手段，可以构造一个完备有序数域，记作${\displaystyle \mathbb {Q} _{p}}$ ^{[6]:90[7]:60-61}。

由奥斯特洛夫斯基定理，${\displaystyle \mathbb {Q} }$ 的所有绝对值赋值或者等价于绝对值，或为平凡赋值，或等价于某素数${\displaystyle p}$ 的${\displaystyle p}$ 进赋值。从而${\displaystyle \mathbb {Q} }$ （关于某赋值）的完备化也只有这些^[5]:46[4]:3。

代数方法

用代数的方法，首先定义${\displaystyle p}$ 进整数环${\displaystyle \mathbb {Z} _{p}}$ ，然后构造其分式域，也可以得到${\displaystyle p}$ 进数域^[6]:92。

首先考虑由整数模${\displaystyle p^{n}}$ 的同余类构成的环：${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ 。${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ 与${\displaystyle \mathbb {Z} /p^{n-1}\mathbb {Z} }$ 之间存在自然的环同态^[8]：

${\displaystyle \varphi _{n}:{\begin{cases}\mathbb {Z} /p^{n}\mathbb {Z} \to \mathbb {Z} /p^{n-1}\mathbb {Z} \\x\mapsto x{\bmod {p^{n-1}}}\end{cases}}}$ ^{[N 2][8]}

考察逆向链：

${\displaystyle \cdots \;{\xrightarrow {\varphi _{n+1}}}\;\mathbb {Z} /p^{n}\mathbb {Z} \;{\xrightarrow {\varphi _{n}}}\;\mathbb {Z} /p^{n-1}\mathbb {Z} \;{\xrightarrow {\varphi _{n-1}}}\;\cdots \;{\xrightarrow {\varphi _{3}}}\;\mathbb {Z} /p^{2}\mathbb {Z} \;{\xrightarrow {\varphi _{2}}}\;\mathbb {Z} /p\mathbb {Z} }$ 

定义${\displaystyle \mathbb {Z} _{p}}$ 为其逆向极限：${\displaystyle \mathbb {Z} _{p}=\;\lim _{\longleftarrow }\left(\mathbb {Z} /p^{n}\mathbb {Z} ,\varphi _{n}\right)}$ ^[7]:56[8]。 也就是说，每个${\displaystyle p}$ 进整数${\displaystyle a\in \mathbb {Z} _{p}}$ 被定义为以下的序列^[8]：

${\displaystyle a=\{a_{1},a_{2},\cdots ,a_{n},\cdots \;\}}$ 

其中${\displaystyle a_{n}\equiv a_{n-1}{\pmod {p^{n-1}}}}$ 。可以证明，这样定义的${\displaystyle p}$ 进整数环${\displaystyle \mathbb {Z} _{p}}$ 与拓扑方法构造的${\displaystyle \mathbb {Q} _{p}}$ 中通过${\displaystyle \mathbb {Z} _{p}=\{x\;;\;|x|_{p}\leqslant 1\}}$ 定义的${\displaystyle p}$ 进整数环是同构的^[6]:91-92。

在以上的定义下，整数${\displaystyle \mathbb {Z} }$ 可以自然地嵌入${\displaystyle \mathbb {Z} _{p}}$ 中，每个整数都可以依照它在${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ 的同余类，唯一表示为一个${\displaystyle p}$ 进整数^[6]:91[8]。例如在${\displaystyle p=3}$ 时，整数3629在${\displaystyle \mathbb {Z} _{3}}$ 中对应的3进整数可以表示为：

${\displaystyle 3629_{3}=\{2,2,11,65,227,713,1442,3629,3629,3629,\cdots \;\}.}$ 

从上面的例子可以看到，对于正整数，${\displaystyle a_{n}}$ 将收敛于${\displaystyle a}$ 本身，对于负整数情况则复杂一些，例如，

${\displaystyle -1_{3}=\{2,8,26,80,242,\cdots \;\}.}$ 

由于环同态${\displaystyle \varphi _{n}}$ 良好地保持了环的结构，所以这种结构自然地延伸到逆向极限${\displaystyle \mathbb {Z} _{p}}$ 中。直观上可以理解为，${\displaystyle \mathbb {Z} _{p}}$ 是${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ 结构的极限。${\displaystyle n}$ 越大，${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ 和${\displaystyle \mathbb {Z} _{p}}$ 就越“相似”。

${\displaystyle p}$ 进整数环${\displaystyle \mathbb {Z} _{p}}$ 中的单位元显然是${\displaystyle 1_{p}=\{1,1,\cdots ,1,\cdots \;\},}$  一个${\displaystyle p}$ 进整数${\displaystyle a\in \mathbb {Z} _{p}=\{a_{1},a_{2},\cdots ,a_{n},\cdots \;\}}$ 是（乘法）可逆元当且仅当${\displaystyle a_{1}}$ 是${\displaystyle \mathbb {Z} /p\mathbb {Z} }$ 中的可逆元^[6]:91[8]。非可逆元的元素都可以表达为：

${\displaystyle a=p^{v_{p}(a)}u=\{p^{v_{p}(a)}u_{1},p^{v_{p}(a)}u_{2},\cdots ,p^{v_{p}(a)}u_{n},\cdots \;\},}$ 

其中${\displaystyle u=\{u_{1},u_{2},\cdots ,u_{n},\cdots \;\}}$ 是${\displaystyle \mathbb {Z} _{p}}$ 中的可逆元，${\displaystyle v_{p}(a)}$ 称为${\displaystyle p}$ 进整数${\displaystyle a}$ 的（代数）赋值^[8]。可以看出，这个赋值和拓扑构造时的赋值是等价的。可以证明${\displaystyle \mathbb {Z} _{p}}$ 是特征为0的整环^[8]。构造${\displaystyle \mathbb {Z} _{p}}$ 的分式域，可以证明其分式域（在恰当的拓扑同构的意义上^{[N 3]}）等于前面用拓扑方法构造的${\displaystyle \mathbb {Q} _{p}}$ ^[6]:92[8]。

每个${\displaystyle p}$ 进数${\displaystyle x\in \mathbb {Q} _{p}}$ 都有唯一的展开式^[7]:57：

${\displaystyle x={\frac {\alpha _{-k}}{p^{k}}}+{\frac {\alpha _{-k+1}}{p^{k-1}}}+\cdots +\alpha _{0}+\alpha _{1}p+\cdots +\alpha _{i}p^{i}+\cdots =\sum _{i=-k}^{\infty }\alpha _{i}p^{i}.}$ 

其中${\displaystyle k}$ 就是${\displaystyle x}$ 的${\displaystyle p}$ 进赋值${\displaystyle \nu _{p}(x)}$ ，${\displaystyle a_{i}\in \{0,1,\cdots ,p-1\}}$ ，${\displaystyle a_{-k}\neq 0}$ 。这一展开式在度量${\displaystyle \operatorname {d} _{p}}$ 下收敛到${\displaystyle x}$ ^[4]:14。代数构造中${\displaystyle p}$ 进整数的数列表示的第${\displaystyle N}$ 项，等于其展开式前${\displaystyle N}$ 项的部分和。设${\displaystyle p}$ 进整数${\displaystyle x}$ 的数列表示为${\displaystyle \{a_{1},a_{2},\cdots ,a_{n},\cdots \}}$ ，其展开式为${\displaystyle \sum _{i=0}^{\infty }\alpha _{i}p^{i}}$ ，则

${\displaystyle a_{N}=\sum _{i=0}^{N-1}\alpha _{i}p^{i}.}$ 

这说明${\displaystyle p}$ 进整数数列表示中，随着项数增大，数列的项在${\displaystyle \operatorname {d} _{p}}$ 下收敛到${\displaystyle p}$ 进整数自身。

仿照有理数中${\displaystyle p}$ 进制的记数法，可以将${\displaystyle p}$ 进数${\displaystyle x}$ 记为：

${\displaystyle x=\cdots \alpha _{i}\alpha _{i-1}\cdots \alpha _{1}\alpha _{0}.\alpha _{-1}\cdots \alpha _{-k+1}\alpha _{-k}}$ ^[6]:92，

称为${\displaystyle p}$ 进数的${\displaystyle p}$ 进记法。

按${\displaystyle \operatorname {d} _{p}}$ 的定义，${\displaystyle x}$ 的“大小”（范数）为${\displaystyle p^{k}}$ ^[6]:92。也就是说，一个${\displaystyle p}$ 进数小数点后位数越多则越大。这个性质与实数正好相反。

例子

从代数构造方法中可知，整数${\displaystyle \mathbb {Z} }$ 可以自然地嵌入${\displaystyle \mathbb {Z} _{p}}$ 中，因此非负整数在${\displaystyle \mathbb {Q} _{p}}$ 中表现为有限位数的${\displaystyle p}$ 进整数。其${\displaystyle p}$ 进记法和${\displaystyle p}$ 进制记数法雷同。例如当${\displaystyle p=5}$ 时，自然数${\displaystyle 438}$ 记为：${\displaystyle 3223_{5}}$ 。负整数和分母不为${\displaystyle p}$ 的正整数次幂的分数在${\displaystyle p}$ 进记法中则表现为向左侧延伸的无限循环^[9]:39。例如${\displaystyle {\frac {1}{7}}}$ 的${\displaystyle p}$ 进记法为：

${\displaystyle {\frac {1}{7}}=\dots 2412032412033_{5}={\dot {2}}4120{\dot {3}}3_{5}\;}$ 。

计算方法如下：

${\displaystyle {\frac {5^{3}-6}{7}}=32_{5}\;,\quad {\frac {5^{9}-6}{7}}=32412032_{5}\;,\quad {\frac {5^{15}-6}{7}}=32412032412032_{5}\;,\;\cdots }$ 

${\displaystyle \Rightarrow -{\frac {6}{7}}=\lim _{k\to +\infty }-{\frac {6}{7}}+{\frac {5^{6k+3}}{7}}=\dots 32412032412032_{5}\;.\quad \left(\left|{\frac {5^{6k+3}}{7}}\right|_{5}={\frac {1}{5^{6k+3}}}\;{\xrightarrow {k\to +\infty }}\;0\;.\right)}$ 

${\displaystyle \Rightarrow {\frac {1}{7}}=-{\frac {6}{7}}+1=\dots 2412032412033_{5}={\dot {2}}4120{\dot {3}}3_{5}\;}$ 。

如果有理数${\displaystyle x}$ 的分子或分母里含有${\displaystyle p}$ 的幂次，则可以仿照${\displaystyle p}$ 进制记数法的做法，先将其提出作为因数，写成${\displaystyle x=p^{k}{\frac {a}{b}}}$ 的形式，将${\displaystyle {\frac {a}{b}}}$ 表达为${\displaystyle p}$ 进记法，然后移动小数点得到${\displaystyle x}$ 的${\displaystyle p}$ 进记法。例如要求${\displaystyle {\frac {1}{175}}}$ 的${\displaystyle p}$ 进记法，可以先将${\displaystyle {\frac {1}{175}}}$ 表示为${\displaystyle {\frac {1}{175}}=5^{-2}{\frac {1}{7}}}$ ，写出${\displaystyle {\frac {1}{7}}}$ 的${\displaystyle p}$ 进记法后，将小数点向左移动两位得到：

${\displaystyle {\frac {1}{175}}={\dot {3}}2412{\dot {0}}.33_{5}}$ 

因此，分母为${\displaystyle p}$ 的正整数次幂的分数在${\displaystyle p}$ 进数中表现为有限小数。

${\displaystyle \mathbb {Q} _{p}}$ 具有许多与${\displaystyle \mathbb {R} }$ 不同的特性，其中某些可能违反直观直觉。举例来说，${\displaystyle \mathbb {Q} _{5}}$ 中不存在平方等于7的数（等价于实数中的${\displaystyle {\sqrt {7}}}$ ），但存在平方等于-1的数（等价于复数中的虚数单位${\displaystyle i}$ ）。一般来说，-1在${\displaystyle \mathbb {Q} _{p}}$ 中有平方根，当且仅当${\displaystyle p}$ 除以4余1^[10]。对不相同的素数${\displaystyle p}$ 、${\displaystyle q}$ ，${\displaystyle \mathbb {Q} _{p}}$ 与${\displaystyle \mathbb {Q} _{q}}$ 不同构，并且它们的交集只有${\displaystyle \mathbb {Q} }$ 。每一个${\displaystyle \mathbb {Q} _{p}}$ 中的元素个数都是不可数的^[11]。

拓扑性质

${\displaystyle \mathbb {Q} _{p}}$ 上的范数${\displaystyle |\cdot |_{p}}$ 是一个超度量的范数。它不仅满足三角不等式，而且满足更强的关系：

${\displaystyle |x+y|_{p}\leqslant \max\{|x|_{p},|y|_{p}\}.}$ 

这说明，如果将${\displaystyle \mathbb {Q} _{p}}$ 想象成一个几何空间，那么其中的三角形的一边长度总小于等于另外两边中较长者，也就是说所有的三角形都是锐角等腰三角形。这与实际中的欧式几何空间完全不同。由此${\displaystyle \mathbb {Q} _{p}}$ 与${\displaystyle \mathbb {R} }$ 具有截然不同的拓扑性质^[6]:90。

• 在${\displaystyle \mathbb {Q} _{p}}$ 中，一个数列${\displaystyle (x_{n})_{n\in \mathbb {N} }}$ 收敛当且仅当${\displaystyle x_{n+1}-x_{n}}$ 趋于0。一个无穷级数${\displaystyle \scriptstyle \sum _{n\in \mathbb {N} }}$ ${\displaystyle u_{n}}$ 收敛当且仅当${\displaystyle u_{n}}$ 趋于0。
• 考虑${\displaystyle \mathbb {Q} _{p}}$ 中的一个“球”：${\displaystyle B_{r}(x_{0})=\{x\in \mathbb {Q} _{p}\;;\;|x-x_{0}|_{p}\leqslant r\}}$ 。这个球即是开集，也是闭集。这个球中每一个点，都是球的球心。两个球之间或者完全不相交，或者一个完全在另一个里面^[6]:90。
• ${\displaystyle \mathbb {Q} _{p}}$ 上的拓扑是完全不连通的豪斯多夫空间：设有元素${\displaystyle x\in \mathbb {Q} _{p}}$ ，则包含${\displaystyle x}$ 的连通单元只有${\displaystyle \{x\}}$ .^[6]:90-91
• ${\displaystyle \mathbb {Q} _{p}}$ 是由${\displaystyle \mathbb {Q} }$ 完备化而得，因此${\displaystyle \mathbb {Q} }$ 在${\displaystyle \mathbb {Q} _{p}}$ 中稠密。不仅如此，任意给定有限个素数${\displaystyle p_{1},p_{2},\cdots ,p_{k}}$ 和正有理数${\displaystyle \epsilon >0}$ ，并在相应的${\displaystyle p}$ 进数域中各选定一个数：${\displaystyle \beta _{1}\in \mathbb {Q} _{p_{1}},\beta _{2}\in \mathbb {Q} _{p_{2}},\cdots ,\beta _{k}\in \mathbb {Q} _{p_{k}}}$ 后，都可找到有理数${\displaystyle \omega }$ ，它与任一个${\displaystyle \beta _{i}\in \mathbb {Q} _{p_{i}},\;\;i\in \{1,2,\cdots ,k\}}$ 之间的距离都小于${\displaystyle \epsilon }$ ^{[N 4][11]}。

${\displaystyle p}$ 进整数${\displaystyle \mathbb {Z} _{p}}$ 定义为所有范数不大于1的${\displaystyle p}$ 进数：${\displaystyle \mathbb {Z} _{p}=\{x\;;\;|x|_{p}\leqslant 1\}}$ 。这说明${\displaystyle \mathbb {Z} _{p}}$ 就是${\displaystyle \mathbb {Q} _{p}}$ 的单位球^[7]:61[5]:60。其“球面”为所有范数等于1的${\displaystyle p}$ 进整数集合：${\displaystyle \mathbb {Z} _{p}^{\times }=\{x\;;\;|x|_{p}=1\}}$ ，亦即${\displaystyle \mathbb {Z} _{p}}$ 中所有可逆元的集合^[7]:61。${\displaystyle \mathbb {Z} _{p}}$ 是紧致的^[6]:93[5]:64。所有的整数都是${\displaystyle p}$ 进整数，整数集合${\displaystyle \mathbb {Z} }$ 在${\displaystyle \mathbb {Z} _{p}}$ 中稠密^[7]:61[5]:60。

• ${\displaystyle \mathbb {Q} _{p}}$ 中的任一个球${\displaystyle B_{r}(x_{0})}$ 都可以表达为${\displaystyle x_{0}+p^{m}\mathbb {Z} _{p}}$ ，其中的${\displaystyle m}$ 是使得${\displaystyle p^{-m}\leqslant r}$ 的最小整数^[6]:93[5]:63。
• ${\displaystyle \mathbb {Q} _{p}}$ 是局部紧致的^[6]:93[5]:64。

代数性质

代数上，${\displaystyle \mathbb {Q} _{p}}$ 是${\displaystyle \mathbb {Z} _{p}}$ 的分式域。更准确地说，${\displaystyle \mathbb {Q} _{p}=\mathbb {Z} _{p}\scriptstyle \left[{\frac {1}{p}}\right]}$ 。也即是说，对每一个${\displaystyle x\in \mathbb {Q} _{p}}$ ，都存在整数${\displaystyle k}$ ，使得${\displaystyle p^{k}x\in \mathbb {Z} _{p}}$ ^{[5]:62[6]:92[9]:36}。

${\displaystyle \mathbb {Z} _{p}}$ 是特征为0的主理想整环。${\displaystyle \mathbb {Z} _{p}}$ 的非零理想只有主理想${\displaystyle I_{k}=p^{k}\mathbb {Z} _{p}}$ ，其中${\displaystyle k}$ 是任意自然数^[7]:61[9]:6。它唯一的极大理想是${\displaystyle I_{1}}$ ^[8][5]:60。根据同构基本定理，${\displaystyle \mathbb {Z} _{p}}$ 对${\displaystyle I_{1}}$ 的商同构于有限域${\displaystyle \mathbb {F} _{p}}$ ^[8]。类似地，${\displaystyle \mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}}$ 同构于${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$ ^[9]:34。

实数域${\displaystyle \mathbb {R} }$ 只有一个真代数扩张，就是复数域${\displaystyle \mathbb {C} =\mathbb {R} (i)}$ 。${\displaystyle \mathbb {C} }$ 不仅是代数闭域，而且是完备的。域扩张${\displaystyle \mathbb {C} /\mathbb {R} }$ 的次数为2。与此不同的是，${\displaystyle \mathbb {Q} _{p}}$ 的任何有限扩张都不是代数封闭的，${\displaystyle \mathbb {Q} _{p}}$ 的代数闭包是${\displaystyle \mathbb {Q} _{p}}$ 上的无限扩张，一般记作${\displaystyle {\bar {\mathbb {Q} }}_{p}}$ 。将${\displaystyle \mathbb {Q} _{p}}$ 上的拓扑拓延到${\displaystyle {\bar {\mathbb {Q} }}_{p}}$ 后会发现，${\displaystyle {\bar {\mathbb {Q} }}_{p}}$ 并不是完备的空间。使用标准方法将其完备化后，得到的空间称为${\displaystyle p}$ 进复数，记作${\displaystyle \mathbb {C} _{p}}$ 。${\displaystyle \mathbb {C} _{p}}$ 和复数域${\displaystyle \mathbb {C} }$ 是代数同构的，可以视为装备了另一种拓扑结构（超度量）的复数域^[6]:94。

如果${\displaystyle p}$ 是奇数，那么${\displaystyle n}$ 次单位根属于${\displaystyle \mathbb {Q} _{p}}$ 当且仅当${\displaystyle n}$ 整除${\displaystyle p}$ -1。换句话说，${\displaystyle \mathbb {Q} _{p}}$ 中由单位根构成的群只有${\displaystyle \mathbb {U} _{p-1}}$ 及其子群。${\displaystyle p=2}$ 时，单位根只有1和-1^[9]:110。

数论

${\displaystyle p}$ 进数对于同余信息有一种独特的编码方法，这在数论里作用很大。例如，困扰数学家长达三百多年的费马最后定理，终于在1994年由安德鲁·怀尔斯使用${\displaystyle p}$ 进数理论证明，这是数学上的重大突破。怀尔斯因此获得2005年度邵逸夫奖^[10]。

量子物理

${\displaystyle p}$ 进数刚出现时，学者们最初认为这理论属于纯数学领域，毫无任何实用价值。但1968年，两位纯数学研究者A. Monna和F. van der Blij首先提出将${\displaystyle p}$ 进数应用到物理学中。1972年，E. Beltrametti和G. Cassinelli探讨了一种取值为${\displaystyle p}$ 进数的量子逻辑（英语：quantum logic）状态模型。进入二十世纪八十年代后，${\displaystyle p}$ 进数在量子物理学中的应用愈为广泛。首先涌现的是${\displaystyle p}$ 进弦和${\displaystyle p}$ 进超弦模型。量子物理学家在这些模型中使用与实数拓扑性质不同的${\displaystyle p}$ 进数，以构建出不同的时空结构，描述在普朗克尺度下与大尺度完全不同的物理现象和行为。在普朗克尺度下，基于实数的模型无法很好的描绘出某些量子特性，而${\displaystyle p}$ 进数域的某些性质，比如说无序性^{[N 5]}，和普朗克尺度下的物理特质相近^[10]。

${\displaystyle p}$ 进数量子物理学中的应用也带动了数学中对${\displaystyle p}$ 进数的研究。例如${\displaystyle p}$ 进弦论的研究促使数学家展开了对${\displaystyle p}$ 进数上的分布理论、微分方程及伪微分方程（pseudodifferential equation）、概率论以及${\displaystyle p}$ 进数上相应希尔伯特空间（装备了额外结构的${\displaystyle \mathbb {C} _{p}}$ ）中的算子谱理论等多方面的研究^[10]。

信息编码

${\displaystyle p}$ 进数的数列展开表示可以被用于信息的编码。因此${\displaystyle p}$ 进数可以被用来描述很多信息处理的过程，在认知科学、心理学和社会学研究中出现^[10]。

${\displaystyle p}$ 进动力系统理论

算术动力系统是二十世纪九十年代提出的数学理论，整合了动力系统及数论。传统的离散动力系统会探讨迭代函数在复平面或是实数中的性质。算术动力系统则探讨多项式或解析函数在整数、有理数、${\displaystyle p}$ 进数及几何点中的迭代特性^[12]。${\displaystyle p}$ 进数动力系统在计算机科学领域中的直线式程序（straight-line programs）问题、数值分析与模拟中的伪随机数问题、密码学中的流加密问题上都有重要作用。在计算机科学和自动机理论中，${\displaystyle p}$ 进遍历理论可以帮助快速制造大拉丁方。后者在实验设计、软件测试和通信理论中都有良多应用^[10][13]。

• p进数分析
• 亨泽尔引理
• 马勒定理

• 埃里克·韦斯坦因. p-adic Number. MathWorld. 
• p-adic integers. PlanetMath. 
• Springer在线数学百科全书上p进数的资料（页面存档备份，存于互联网档案馆）。