Leigh.Samphier/Sandbox/Rational Numbers with P-adic Norm is Non-Archimedean Valued Field

From ProofWiki
Jump to navigation Jump to search


Let $p$ be any prime number.

Let $\struct{\Q, \norm {\,\cdot\,}_p}$ be the rational numbers with $p$-adic norm.

Then $\struct{\Q, \norm {\,\cdot\,}_p}$ is a non-Archimedean valued field.


From P-adic Norm is Non-Archimedean Norm:

$\norm {\,\cdot\,}_p$ is a non-Archimedean norm on the set of rational numbers.

Hence $\struct{\Q, \norm {\,\cdot\,}_p}$ is a non-Archimedean valued field by definition.


See also