Definition:P-adic Number/Representative

From ProofWiki
Jump to navigation Jump to search

Definition

Let $p$ be a prime number.

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

Let $\Q_p$ be the field of $p$-adic numbers.

That is, $\Q_p$ is the quotitent ring of the ring of Cauchy sequences over $\struct {\Q, \norm {\,\cdot\,}_p}$ by null sequences in $\struct {\Q, \norm {\,\cdot\,}_p}$.


Let $\sequence{x_n}$ be Cauchy sequence in $\struct{\Q, \norm {\,\cdot\,}_p}$.

Let $\eqclass{x_n}{}$ denote the left coset of $\sequence{x_n}$ in $\Q_p$.


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

Also see


Sources