Definition:P-adic Expansion

Definition
Let $p$ be a prime number.

A $p$-adic expansion is a series in the rational numbers $\Q$ of the form:
 * $\displaystyle \sum_{n \mathop = m}^\infty \dfrac {d_n} {p^{-n}}$

where:
 * $\quad m \in \Z$
 * $\quad 0 < d_m < p$
 * $\quad \forall n \in \Z_{> m}: 0 \le d_n < p$