Ein Beweis der Transzendenz der \(p\)-adischen Exponentialfunktion. (Q563732)

Verf. beweist den Satz: Ist \(\zeta \) eine \(p\)-adische Zahl mit \[ \begin{aligned} 0 < |\zeta |_p < \tfrac12 &\quad \text{für }\quad p=2,\\ 0 < |\zeta |_p < 1 &\quad \text{für }\quad p\ge 3, \end{aligned} \] so ist höchstens eine der beiden Zahlen \(\zeta \) und \(e^\zeta \) algebraisch. Die bemerkenswerte Arbeit, die an frühere Untersuchungen des Verf. anschließt (s. vorstehendes Referat JFM 58.0207.01), enthält keine einfach formale Übertragung der klassischen Transzendenzbeweise für \(e^z\), die wahrscheinlich nicht möglich ist, sondern das Beweisverfahren stützt sich auf charakteristische Eigenschaften der \(p\)-adischen Exponentialfunktion \(e^z\), die herausgearbeitet werden.