Über transzendente \(P\)-adische Zahlen. (Q2611731)

Verf. überträgt die Methode \textit{A. Gelfonds} (C. R. Acad. Sci. URSS (1934\(_{\text{II}}\)) 1-6; JFM 60.0163.*-164), die die Transzendenz von \(\dfrac{\log\alpha}{\log\beta}\) liefert, auf \(P\)-adische Zahlen und beweist: Sei \(P\) eine natürliche Primzahl; seien ferner \(\alpha\) und \(\beta\) zwei von 0 und 1 verschiedene algebraische \(P\)-adische Zahlen mit \[ 0<|\alpha - 1|_P\leqq\dfrac{1}{P}, \;0<|\beta - 1|_P\leqq\dfrac{1}{P}. \] Wenn dann der Logarithmen-Quotient \(\dfrac{\log\alpha}{\log\beta}\) algebraisch ist, so ist er sogar eine rationale \(P\)-adische Zahl. Im ersten Kapitel des Beweises wird der folgende schöne Hilfssatz bewiesen: Zu endlich vielen gegebenen algebraischen \(P\)-adischen Zahlen \(\alpha_1,\alpha_2,\ldots, \alpha_t\) existiert eine nur von ihnen abhängige positive Konstante \(c\) mit der Eigenschaft: Ist \[ \varPhi(\alpha_1,\ldots, \alpha_t) = \sum\limits_{h_1=0}^{N_1}\ldots \sum\limits_{h_t=0}^{N_t} A_{h_1\ldots h_t}\alpha_1^{h_1}\cdots \alpha_t^{h_t} \] ein beliebiges Polynom in den \(\alpha_\tau\) mit ganzrationalen Koeffizienten, so daß \[ A=\max\limits_{h_1,\ldots,h_t} (|A_{h_1h_2\ldots h_t}|) \qquad (h_\tau = 0,1,\ldots,N_\tau; \;\tau =1,\ldots,t), \] so ist entweder \(\varPhi(\alpha_1,\ldots, \alpha_t) = 0\), oder es besteht die Ungleichung \[ |\varPhi(\alpha_1,\ldots, \alpha_t)|_P \geqq \{c^{N_1+\cdots+N_t+1}A^n\}^{-1}. \] Dabei bezeichnet \(n\) den Grad des durch die Zahlen \(\alpha_1,\alpha_2,\ldots, \alpha_t\) erzeugten algebraischen Zahlkörpers über dem Körper der rationalen Zahlen. -- Das zweite Kapitel dient zur Herleitung geeigneter \(P\)-adischer funktionentheoretischer Sätze, die im dritten Kapitel an die Stelle des im gewöhnlichen Beweise auftretenden \textit{Cauchy}schen Integralsatzes treten. Das dritte Kapitel dient zur Durchführung des Transzendenzbeweises. -- Verf. gibt noch an, daß sich die Methode des Ref. (Journ. f. Math. 172 (1934), 65-69; JFM 60.0163.*) auch ohne neue Schwierigkeit übertragen läßt.