Definition:P-adic Norm

This article may be a disambiguation page with many incoming links that need to be reviewed. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by reviewing these links. 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 {{IncomingLinks}} from the code.

Definition

Let $p \in \N$ be a prime.

Rational Numbers

Let $\nu_p: \Q \to \Z \cup \set {+\infty}$ be the $p$-adic valuation on $\Q$.

The $p$-adic norm on $\Q$ is the mapping $\norm {\,\cdot\,}_p: \Q \to \R_{\ge 0}$ defined as:

$\forall q \in \Q: \norm q_p := \begin{cases}

0 & : q = 0 \\ p^{-\map {\nu_p} q} & : q \ne 0 \end{cases}$

$p$-adic Numbers

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

Let $\norm {\, \cdot \,}_p:\Q_p \to \R_{\ge 0}$ be the norm on the quotient ring $\Q_p$ defined by:

$\ds \forall \eqclass{x_n}{} \in \Q_p: \norm {\eqclass{x_n}{} }_p = \lim_{n \mathop \to \infty} \norm{x_n}_p$

The norm $\norm {\,\cdot\,}_p$ on $\Q_p$ is called the $p$-adic norm on $\Q_p$.

Also see

• Rational Numbers are Dense Subfield of $p$-adic Numbers for a proof that the $p$-adic norm on $p$-adic numbers may be considered an extension of the $p$-adic norm on the rational numbers

• Results about $p$-adic norms can be found here.