Definition 3.1. The ring of $p$ -adic integers $ℤ_{p}$ is the valuation ring

ℤ_{p} = {x \in ℚ_{p} | {| x |}_{p} \leq 1} .