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:
 * $\mathcal O = \Z_{(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:
 * $\mathcal O = \set{\dfrac a b \in \Q : p \nmid b }$