P-adic Valuation Extends to P-adic Numbers

Theorem
Let $p$ be a prime number.

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

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

Let $\nu_p: \Q_p \to \Z \cup \set {+\infty}$ be defined by:
 * $\forall x \in \Q_p : \map {\nu_p} x = \begin{cases}

-\log_p \norm {x}_p : x \ne 0 \\ +\infty : x = 0 \end{cases}$

Then $\nu_p: \Q_p \to \Z \cup \set {+\infty}$ is a valuation that extends $\nu_p^\Q$ from $\Q$ to $\Q_p$.

Proof
It needs to be shown that $\nu_p$:
 * $\quad \nu_p$ is a mapping into $\Z \cup \set {+\infty}$
 * $\quad \nu_p$ satisfies the valuation axioms
 * $\quad \nu_p$ extends $\nu_p^\Q$.

Let $x, y \in \Q_p$.

$\nu_p$ is a mapping into $\Z \cup \set {+\infty}$
If $x = 0$ then $\map {\nu_p} x = +\infty$ by definition.

Suppose $x \ne 0$.

By P-adic Norm of p-adic Number is Power of p then:
 * $\exists v \in \Z: \norm x_p = p^{-v}$

Hence:

$\nu_p$ satisfies $(V1)$
If $x = 0$ then:

Similarly, if $y = 0$ then:

If $x \ne 0, y \ne 0$ then:

$\nu_p$ satisfies $(V2)$
If $x = 0$ then $\map {\nu_p} x = +\infty$ by definition.

If $x \ne 0$ then:

Hence:
 * $\map {\nu_p} x = +\infty \iff x = 0$