# Is $e^p\in\mathbb{Q}_p$ known to be transcendental?

$\sum\limits_{n=0}^{\infty}\dfrac{1}{n!}$ doesn't converge in $\mathbb{Q}_p$, however, $e^p:=\sum\limits_{n=0}^{\infty}\dfrac{p^n}{n!}$ does converge for $p\neq 2$. So my question is,

Are $e^p\in\mathbb{Q}_p$ for $p\neq2$ (and $e^4\in\mathbb{Q}_2$) known to be non-algebraic numbers?

-
Yes, there are known p-adic analogues of Lindemann-Weierstrass, Gelfond-Schneider, Baker,... –  Felipe Voloch Nov 3 '12 at 16:18
So, $\exp(3)$ is a $3$-adic number. Does it have (one or more) cube roots in $\mathbb Q_3$ ? And if so, is one of them naturally singled out as something to call $e$ ? If not, perhaps write $\exp(3)$ and not $e^3$ then... –  Gerald Edgar Nov 3 '12 at 20:19
@Gerald. No cube root. If $a \in \mathbb{Q}_3, a \equiv 1 \mod 3$, then $a^3 \equiv 1 \mod 9$. On the other hand, $\exp(3) \equiv 1+3 \mod 9$. –  Felipe Voloch Nov 3 '12 at 21:29

the answer is yes. More specifically, they prove that if $a \in \mathbf{Q}_p$ is a non-zero element, algebraic over $\mathbf{Q}$, such that $\left| a \right| < p^{-1/(p-1)}$, then $\exp(a) \in \mathbf{Q}_p$ is transcendental over $\mathbf{Q}$ (ibid.).
Of course, the bound on $\left| a \right|$ is there just to make sure that the infinite sum for $\exp$ converges. –  René Nov 3 '12 at 16:33