Valuation Ring of P-adic Norm on Rationals/Corollary 1

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

Let $\mathcal O$ be the induced valuation ring on $\struct {\Q,\norm {\,\cdot\,}_p}$.

The set of integers $\Z$ Is a subring of $\mathcal O$.

Proof
By Valuation Ring of P-adic Norm on Rationals the induced valuation ring $\mathcal O$ is the set:
 * $\mathcal O = \Z_{(p)} = \set{ \dfrac a b \in \Q : p \nmid b }$

Since $p \nmid 1$ then for all $a \in \Z$, $a = \dfrac a 1 \in \mathcal O$.

Hence $\Z \subseteq \mathcal O$ is a subring of $\mathcal O$.