Valuation Ring of P-adic Norm on Rationals

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

The induced valuation ring on $\struct {\Q,\norm {\,\cdot\,}_p}$ is the set:
 * $\OO = \Z_{\paren p} = \set {\dfrac a b \in \Q : p \nmid b}$

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

Then:

Let $\dfrac a b \in \Q$ be in canonical form.

Then $a \perp b$

Suppose $p \divides b$.

Then $p \nmid a$.

Hence:
 * $\map {\nu_p} b \gt 0 = \map {\nu_p} a$

Suppose $p \nmid b$.

Then:
 * $\map {\nu_p} a \ge 0 = \map {\nu_p} b$

So:
 * $\map {\nu_p} a \ge \map {\nu_p} b$ $p \nmid b$

Hence:
 * $\OO = \set {\dfrac a b \in \Q : p \nmid b }$