Simultane Approximation algebraischer Zahlen durch algebraische Zahlen. (Q5971612)

Sei \(\mathfrak K\) ein endlich-algebraischer Zahlkörper, und es seien \(\alpha_1,\ldots,\alpha_n\) algebraisch vom Simultangrad \(d\) über \(\mathfrak K\) und vom Körpergrad \(r\). Für eine unendliche Folge von Zahlsystemen \(x_1,\ldots, x_g\) aus \(\mathfrak K\) gelte \[ |x_i - \alpha_i|\leqq\dfrac{C}{H^e}\qquad (i=1,\ldots,g), \] wobei \(H\) die Höhe von \(x_1,\ldots, x_g\) ist und \(C\) und \(e\) von \(x_1,\ldots, x_g\) unabhängige positive Zahlen sind; dann muß \[ e\leqq\underset{\delta=0,\ldots,d-1}{\operatorname{Min}}\bigg( \delta+\dfrac{r}{\binom{g+\delta}{g}}\bigg) \] sein. Für \(g = 1\) ist dies der \textit{Thue-Siegel}sche Satz (Math. Z. 10 (1921), 173-213; F. d. M. 48, 163). Der Beweis benutzt den Thue-Siegelschen Satz nicht.