# Representatives of same P-adic Number iff Difference is Null Sequence

Jump to navigation
Jump to search

## Theorem

Let $p$ be a prime number.

Let $\norm {\,\cdot\,}_p$ be the $p$-adic norm on the rational numbers $\Q$.

Let $\struct {\Q_p, \norm {\,\cdot\,}_p}$ be the $p$-adic numbers.

Let $\sequence{\alpha_n}$ and $\sequence{\beta_n}$ be Cauchy sequences in $\struct {Q, \norm {\,\cdot\,}_p}$.

Then:

- $\sequence {\alpha_n}$ and $\sequence {\beta_n}$ are representatives of the same $p$-adic number in $\Q_p$

- the sequence $\sequence {\alpha_n - \beta_n}$ is a null sequence.

## Proof

Let $\CC$ be the commutative ring of Cauchy sequences over $\struct {\Q, \norm {\,\cdot\,}_p}$.

Let $\NN$ be the set of null sequences in $\struct {\Q, \norm {\,\cdot\,}_p}$.

Then $\Q_p$ is the quotient ring $\CC \, \big / \NN$ by definition of the $p$-adic numbers.

Hence:

- $\sequence {\alpha_n}$ and $\sequence {\beta_n}$ are representatives of the same $p$-adic number in $\Q_p$

- $\sequence {\alpha_n}$ and $\sequence {\beta_n}$ are elements of the same left coset of $\NN$ in $\CC$.

From Element in Left Coset iff Product with Inverse in Subgroup:

- $\sequence {\alpha_n}$ and $\sequence {\beta_n}$ are elements of the same left coset of $\NN$ in $\CC$

- $\sequence {\alpha_n} - \sequence {\beta_n} = \sequence {\alpha_n - \beta_n} \in \NN$.

The result follows.

$\blacksquare$