A modified proof of transcendence of the p-adic exponential function
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.
- Reprint: A proof of transcendence of the \(p\)-adic exponential function (1932)
- scientific article; zbMATH DE number 4075189
- Application of Hermite-Mahler polynomials to the approximation of the values of p-adic exponential function
- A note on transcendence over p-adic fields
- Algebraic independence of p-adic numbers
This page was built for publication: A modified proof of transcendence of the p-adic exponential function
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q762200)
