A modified proof of transcendence of the p-adic exponential function (Q762200)

The author would give a new proof of the p-adic Hermite-Lindemann theorem: if \(\zeta\) is a p-adic number algebraic over \({\mathbb{Q}}\), such that \(| \zeta |_ p<p-(1/p-1)\) then exp(\(\zeta)\) is transcendental. All the classical methods consist of constructing a sequence of auxiliary functions \(F_ n\) that vanish many times at the \(k\zeta\) (k\(\in {\mathbb{Z}})\), actually a polynomial (with integral coefficients) in \(\zeta\) and exp(\(\zeta)\) with good higher bounds for the size and for the p-adic absolute value of \(F_ n(k\zeta)\) when \(k\in {\mathbb{Z}}\) (provided it is not null). Here the author uses Schnirelman's integral to obtain the upper bound for \(| F_ n(k\zeta)|_ p.\) Actually such a research of an upper bound for \(| F_ n(k\zeta)|_ p\) only requires the p-adic Schwarz lemma and the fact that one can take the coefficients of \(F_ n\) in the p-adic unit disk, hence one can have a shorter proof again. A similar simplification does exist in most of the p-adic translations of transcendence theorems, like the 6 Exponentials Theorem.