On some consequences of Thue's principle (Q1059664)

Ist \(\alpha\in {\mathbb{C}}\) algebraisch mit \(\text{Grad}(\alpha)\ge 3\) und \(k\) ein reell-algebraischer Zahlkörper mit \(\alpha\not\in k\), so bezeichnet \(\mu_{\text{eff}(\alpha,k)\) das Infimum aller \(\mu \in {\mathbb{R}}_+\), zu denen es ein effektiv berechbares \(c\in \mathbb{R}_+\) gibt, so daß \(|\alpha -\beta| >c H_k(\beta)^{-\mu}\) für alle \(\beta\in k\) gilt. Dabei ist \(H_k(\alpha)\) die Höhe des Polynoms \(P_k(\beta,X):=b_0(\beta) \prod_{\sigma}(X-\sigma \beta)\), wo \(b_0(\beta)\in {\mathbb{N}}\) eindeutig so zu wählen ist, daß \(P_ k(\beta,X)\) aus \(\mathbb{Z}[X]\) und primitiv ist; und wo \(\sigma\) alle Einbettungen von \(k\) in \(\mathbb{C}\) durchläuft. Thues Prinzip gestattet nun den Nachweis der nichttrivialen Ungleichung \(\mu_{eff}(\alpha,k)< \text{Grad}(\alpha)\) in solchen Situationen \(\alpha\), \(k\), in denen man die Existenz eines \(\beta^*\in k\) garantieren kann, welches \(\alpha\) außerordentlich gut annähert. In der vorliegenden Note werden zwei allgemeine Kriterien zur Konstruktion solcher Paare \((\alpha,\beta^*)\) gezeigt, die Resultate von \textit{E. Bombieri} [Acta Math. 148, 255--296 (1982; Zbl 0505.10015)] ergänzen.