Let $p$ a prime, and the p-adic norm $|x|_p = (\frac{1}{p})^{v_p(x)}$, with $v_p$ the p-adic valuation. Show that $$\{ |x|_p : x \in \mathbb{Q}_p \} = \{ p^k : k \in \mathbb{Z}\}$$ My question is how to show $\supseteq$? $\subseteq$ is easy!
Thanks!
Let $p$ a prime, and the p-adic norm $|x|_p = (\frac{1}{p})^{v_p(x)}$, with $v_p$ the p-adic valuation. Show that $$\{ |x|_p : x \in \mathbb{Q}_p \} = \{ p^k : k \in \mathbb{Z}\}$$ My question is how to show $\supseteq$? $\subseteq$ is easy!
Thanks!
Hint:
$$\forall\;k\in\Bbb Z\;,\;\;p^k=\left|\;\frac{1}{p^k}\;\right|_p\ldots$$