p-adic integer
= p-adic integer
{c}
{title2=$\mathbb Z_p$}
{wiki}
For a <prime number> $p$, the ring of p-adic integers is the <inverse limit>
$$
\mathbb Z_p=\varprojlim_n\mathbb Z/p^n\mathbb Z.
$$
Every p-adic integer has a unique convergent expansion $\sum_{j\geq0}b_jp^j$ with $0\leq b_j<p$. It is a complete <discrete valuation ring> with <uniformizer> $p$ and <residue field> $\mathbb F_p$.