Jump to content

Talk:P-adic exponential function

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

a^p^x

[edit]

No, I wasn't wrong. a^p^x has no relevance to the p-adic exponential, even if the domains of "a", "p", and "x" weren't different. I was going to say that the concept of a^p^x as used here is totally different than that in double exponential function; it would be, but it isn't even used here. — Arthur Rubin (talk) 21:23, 1 May 2013 (UTC)[reply]

Strassman's theorem and Euler's identity

[edit]

I don't understand how to apply Strassman's theorem to deduce that there is no analogue to Euler's identity. The coefficients of the exponential function don't converge to zero. Can someone expand on this? 46.123.245.39 (talk) 19:41, 11 October 2022 (UTC)[reply]

log and exp not inverse to each other?

[edit]

The article claims log and exp are inverse in their domains of definition, but here is a simple counterexample:

sage: Qp(2)(3)

1 + 2 + O(2^20)

sage: Qp(2)(3).log().exp()

1 + 2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7 + 2^8 + 2^9 + 2^10 + 2^11 + 2^12 + 2^13 + 2^14 + 2^15 + 2^16 + 2^17 + 2^18 + 2^19 + O(2^20) ~2025-43417-40 (talk) 19:48, 28 December 2025 (UTC)[reply]