Über einen \(p\)-adischen Übertragungssatz. (Q2590692)

\textit{K. Mahler} bewies in der vorstehend besprochenen Arbeit: Seien \(m\geqq1\), \(\gamma\geqq m+1\) und \(\mathfrak a,\ldots, \mathfrak a_m\) ganze \(p\)-adische Zahlen mit der Eigenschaft: Zu \(\xi_0\) existieren ein \(\xi > \xi_0\) und \(m + 1\) Zahlen \(x_1, \ldots, x_{m+1}\) mit \(p \nmid x_\mu (\mu = 1,\ldots, m)\), so daß \[ \operatorname{Max}(|x_1|, \ldots, |x_{m+1}|)\leqq \xi \] und \[ |x_1\mathfrak a_1+\cdots +x_m\mathfrak a_m+x_{m+1}|_p\leqq \xi^{-\gamma}. \] Dann haben \(\mathfrak a_1, \ldots, \mathfrak a_m\) auch folgende Eigenschaft: Zu jedem \(\eta _0\) gibt es ein \(\eta > \eta_0\) und \(y,y_1, \ldots, y_m\) mit \(p \nmid y\) und \[ \operatorname{Max} (|y|, | y_1|, \ldots, | y_m |) \leqq \eta, \] \[ |y\mathfrak a_i - y_i|^p \leqq c(m, p, \delta)\cdot \eta^{-\delta}\qquad (1\leqq i\leqq m) \] mit \[ \delta=\dfrac{m\gamma}{1+\gamma(m-1)}. \] Wird \(\beta_1 = \beta_1(\mathfrak a_1,\ldots, \mathfrak a_m)\), bzw. \(\beta_2 = \beta_2(\mathfrak a_1,\ldots, \mathfrak a_m)\) als obere Grenze von \(\gamma\) bzw. \(\delta\) für Systeme \(\mathfrak a_1,\ldots, \mathfrak a_m\) mit den genannten Eigenschaften definiert, so wird in dieser Arbeit gezeigt, daß die Schranke des Mahlerschen Satzes nicht zu verschärfen ist. Es wird bewiesen: Für \(m > 1\) existiert ein System \(\{\mathfrak a_1, \ldots, \mathfrak a_m\}\) mit \[ \beta_1=\gamma, \;\;\beta_2=\dfrac{m\gamma}{1+\gamma(m-1)}. \]