Ein Transzendenz-Satz für \(p\)-adische Zahlen. (Q2589591)

A. Gelfond und fast gleichzeitig Th. Schneider haben bekanntlich den schönen Satz bewiesen: Ist \(w\) eine von 0 und 1 verschiedene algebraische Zahl und ist \(\alpha\) irrational, so ist die Zahl \(\eta = w^\alpha\) transzendent. In dieser Arbeit wird der Satz mittels der Schneiderschen Methode auf \(P\)-adische Zahlen übertragen. Verf. beweist: Ist \(w\) eine von 0 und 1 verschiedene algebraische \(P\)-adische Zahl, die der Ungleichung \[ | w - 1 |_P \leqq P^{-1} \] genügt, und \(\alpha\) eine algebraische irrationale ganze \(P\)-adische Zahl, dann ist die Zahl \(\eta = w^\alpha\) transzendent. Der Beweis wird indirekt geführt. Aus der Annahme, alle drei Zahlen \(w\), \(\alpha\), \(w^\alpha\) seien algebraisch, wird ein Widerspruch hergeleitet.