as concrete $p$-adic number

101 Views Asked by At

Let $p$ be 2 or 7 in the following. For certain reasons I need to find a "simple" rational and irrational numbers whose $p-$adic expansion is a Laurent series with order $-5$ $$a_{-5}p^{-5}+a_{-4}p^{-4}+a_{-3}p^{-3}+a_{-2}p^{-2}+a_{-1}p^{-1}+a_{0}p^{0}+a_{1} p^{1}+a_{2}p^{2}+\ldots$$

with $a_{n}\neq 0$ for all $n\geq -5$, with $a_k=0$ for all $k\leq -6$. Some $a_n$'s with $n\geq 0$ may be zeroes, but not on a tail. I also need a justification that the four numbers (ir)rationals/$p$ is 2 or 7 are as desired.

1

There are 1 best solutions below

2
On

A simple fact which should give you plenty of examples is that a $p$-adic number is $\in \mathbb Q$ if and only if its $p$-adic expansion

$$\sum_{i \gg -\infty} a_i p^i, \qquad\qquad a_i \in \lbrace 0,...,p-1\rbrace$$

is eventually periodic (or finite, i.e. has a tail of $0$'s); exactly as it is for $b$-adic expansions of real numbers, and basically with the same proof. Compare e.g. Relating the base-p periodic expansion of a rational to its p-adic representation, p-adic expansion of a rational number.

Now I'm sure you can come up with many eventually periodic and many eventually non-periodic sequences $a_{-5}, a_{-4}, a_{-3}, ...$.