# Image of P-adic Norm

Jump to navigation
Jump to search

This article needs proofreading.Please check it for mathematical errors.If you believe there are none, please remove `{{Proofread}}` from the code.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Proofread}}` from the code. |

## Theorem

Let $\norm {\,\cdot\,}_p$ be the $p$-adic norm on the rationals $\Q$ for some prime number $p$.

Then the image of $\norm {\,\cdot\,}_p$ is:

- $\Img {\norm {\,\cdot\,}_p} = \set {p^n : n \in \Z} \cup \set 0$

## Proof

This follows immediately from:

- Definition of P-adic Norm
- Definition of P-adic Valuation

$\blacksquare$