Let $p$ a prime number and $a\in\overline{\mathbb Q}\subset\mathbb C_p$ be an algebraic $p$-adic number such that $|a|_p<1$.

Is the number $s_a=\sum_{n\ge0}a^{2^n}$ transcendental over $\mathbb Q$?

In the complex case, it is known that it is true (see Duverney Théorie des nombres or Nishioka Mahler functions and transcendence) But I can not find any proof or reference for the $p$-adic case.

Thanks in advance for any hints or references for this problem.

  • $\begingroup$ OOPS. You are right. I meant $a\in\mathbb Q$. I edit my post. $\endgroup$
    – joaopa
    Commented Dec 29, 2016 at 15:15
  • 1
    $\begingroup$ I wonder if the first two theorems in chapter 67 of Schikhof's Ultrametric Calculus would be helpful to you. They are related to $p$-adic Liouville numbers over $\mathbb{Z}_p$. $\endgroup$ Commented Jan 17, 2017 at 14:21


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.