Definition:P-adic Number

From ProofWiki
Jump to navigation Jump to search

Definition

Let $p$ be any prime number.

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


Let $\CC$ be the commutative ring of Cauchy sequences over $\struct {\Q, \norm {\,\cdot\,}_p}$.

Let $\NN$ be the set of null sequences in $\struct {\Q, \norm {\,\cdot\,}_p}$.

Let $\Q_p$ denote the quotient ring $\CC \, \big / \NN$.

Let $\norm {\, \cdot \,}_p:\Q_p \to \R_{\ge 0}$ be the norm on the quotient ring $\Q_p$ defined by:

$\ds \forall \sequence {x_n} + \NN: \norm {\sequence {x_n} + \NN }_p = \lim_{n \mathop \to \infty} \norm{x_n}_p$

Each left coset $\sequence {x_n} + \NN \in \CC \, \big / \NN$ is called a $p$-adic number.

The p-adic numbers is the valued field $\struct {\Q_p, \norm {\,\cdot\,}_p}$.


Representative of a P-adic Number

Let $\sequence{x_n} + \NN$ be any $p$-adic number of $\Q_p$.

Each Cauchy sequence $\sequence {y_n}$ of the left coset $\sequence{x_n} + \NN$ is called a representative of the $p$-adic number $\sequence{x_n} + \NN$.


P-adic Norm on P-adic Numbers

The norm $\norm {\,\cdot\,}_p$ on $\Q_p$ is called the $p$-adic norm on $\Q_p$.


Also see

  • Results about $p$-adic numbers can be found here.


Sources