How can we show that for $x \in \mathbb{Z}_p$, $\log_p(1+x)$ converges in $\mathbb{Z}_p$ when $|x|_p < 1$?

To clarify, $\log_p(1+x)$ is the power series: $$\sum_{n=1}^\infty \frac{(-1)^{n+1}x^n}{n}$$

How can we show that $\exp_p(x)$ converges for: $|x|_p < p^\frac{-1}{p-1}$? How can we approximate the largest power of $p$ dividing $n!$?

$$\exp_p(x) = \sum_{n=0}^\infty \frac{x^n}{n!}$$

I've shown that if $\lim_{n \rightarrow \infty} |a_n|_p = 0$, then $\sum_{n=1}^\infty a_i$ converges. How do I show the following: $$\lim_{n\rightarrow\infty} \left|\frac{(-1)^{n+1}x^n}{n}\right|_p = 0$$ $$\lim_{n \rightarrow\infty} \left|\frac{x^n}{n!}\right|_p = 0$$ I know that: $$\left|\frac{1}{n!}\right|_p = p^\frac{n-S_n}{p-1}$$

  • $\begingroup$ Related. $\endgroup$ – Jyrki Lahtonen Apr 15 '15 at 12:42
  • $\begingroup$ What do you mean a function converges? Perhaps you meant some power series? $\endgroup$ – Timbuc Apr 15 '15 at 12:44
  • $\begingroup$ Yes, $\log_p(1+x)$ in its power series representation, as now described above $\endgroup$ – James Johnson Apr 15 '15 at 13:59
  • $\begingroup$ This is discussed in nearly every book on $p$-adic analysis. Have you read about convergence of power series in any book on $p$-adics (Gouvea, Koblitz, Robert, ...)? $\endgroup$ – KCd Apr 15 '15 at 14:25
  • $\begingroup$ No, I have not. $\endgroup$ – James Johnson Apr 15 '15 at 15:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.