Definition 1.8. The $p$-adic numbers ${\mathbb{Q}}_p$ is the completion of $\mathbb{Q}$ with respect to ${\left|\bullet \right|}_p$.