Skip to content

The Algebra of $\mathbb Z_p$

The $p$-adics and Related Concepts


The $p$-adic integers, $\mathbb Z_p$ have interesting algebraic properties.

Theorem:

  • The Ring of Integers in $\mathbb Q_p$: $\mathbb Z_p$ is a ring under addition and multiplication.
  • The Unique Maximal Ideal in $\mathbb Z_p$: The open unit ball $B(0, 1)$ is equal to $p \mathbb Z_p$ and is the unique maximal ideal in $\mathbb Z_p$.
  • The Residue Class Field of $\mathbb Z_p$: $\mathbb Z_p / p \mathbb Z_p$ is a finite field isomorphic to $\mathbb F_p := \mathbb Z / p \mathbb Z$.
  • The Group of Units in $\mathbb Z_p$: The boundary of the closed unit ball $U = \{ x \in \mathbb Z_p : |x|_p = 1\}$ is a group under multiplication.

Exercise: Prove the theorem.

Inverse Limits of Rings

Here we give a purely algebraic construction of $\mathbb Z_p$.

Definition: Suppose $(A_n)$ is a sequence of rings, and suppose for all $i \leq j$ we have a homomorphism $\varphi_{i,j} : A_j \rightarrow A_i$ such that

  • $\varphi_{i,i}$ is the identity isomorphism on $A_i$.
  • If $i \leq j \leq k$, $\varphi_{i,k} = \varphi_{i,j} \circ \varphi_{k,j}$.

The inverse limit of $(A_n)$ with respect to the homomorphisms $\varphi_{i,j}$ is given by $$\varprojlim A_n = \left\{(a_n) : a_i = f_{i,j}(a_j) \mbox{ for all } i < j \right\}.$$

This is a ring under component wise addition and multiplication.

To construct $\mathbb Z_p$ as an inverse limit, we start by setting $A_n = \mathbb Z/p^n \mathbb Z$. Given $i \leq j$, we define $\varphi_{i,j}: \mathbb Z/p^j \mathbb Z \rightarrow \mathbb Z/p^i \mathbb Z$ to be the homomorphisms given by $\varphi_{i,j}(a + p^j \mathbb Z) = a + p^i \mathbb Z$. If we are using the representatives $\{1, 2, \ldots, p^j – 1\}$ for $\mathbb Z/p^j \mathbb Z$ then $\varphi_{i,j}(x)$ is the remainder of the representative when dividing by $p^i$.

Theorem: The inverse limit of $(\mathbb Z/p^n \mathbb Z)$ with respect to the $\varphi_{i,j}(a + p^j \mathbb Z) = a + p^i \mathbb Z$ is isomorphic to $\mathbb Z_p$.

We will give an explicit isomorphism between $\mathbb Z_p$ and this inverse limit after we talk about a canonical series representation for elements of $\mathbb Z_p$.

Cosets and Balls

We have already observed that $\mathbb Z_p$ is the closed unit ball in $\mathbb Q_p$ and the maximal ideal $p \mathbb Z_p$ is the open unit ball. Because balls are clopen, it is sometimes more useful to think of $p \mathbb Z_p$ as the closed ball of radius $p^{-1}$. The cosets of $p \mathbb Z_p$ are $1 + p \mathbb Z_p, 2 + p \mathbb Z_p, \ldots, p-1 + p \mathbb Z_p$. If $x$ and $y$ are in the same coset, then $|x – y| \leq 1/p$ and hence the cosets of $p \mathbb Z_p$ correspond to the closed balls of radius $1/p$.

This correspondence goes even further. We note that because $p \mathbb Z_p$ is the unique maximal ideal in $\mathbb Z_p$, all other ideals are of the form $p^n \mathbb Z_p$. It turns out that every closed ball is some coset of one of these ideals.

Theorem: If $B$ is a closed ball of radius $p^{-n}$ in $\mathbb Z_p$, then $B$ is a coset of $p^n \mathbb Z_p$. That is, $B = r + p^n \mathbb Z_p$ for some representative $r \in \{0,1,\ldots,p^n-1\}$

Leave a Reply

Your email address will not be published. Required fields are marked *