Approximation of real matrices by integral matrices (Q5903158)

Ist \(A=(a_{ik})\) eine \((2\times 2)\)-Matrix mit reellen Elementen und Determinante \(\det A=1\), dann gibt es für jede natürliche Zahl \(n\geq 2\) eine \((2\times 2)\)-Matrix \(B=(b_{ik})\) mit Elementen der Form \(b_{ik}=n^{-1/2} A_{ik}\) \((i,k=1,2)\), \(A_{ik}\) ganzzahlig, und \(\det B=1\), so daß gilt \[ \max_{i,k}\{| b_{ik}-a_{ik}| \}<c(\log n)^{7/9}/n^{1/18} \] mit einer nur von \(\max_{i,k}\{| a_{ik}| \}\) abhängigen, berechenbaren Konstante \(c\). In dem an die Arbeit anschließenden Artikel von \textit{B. M. M. de Weger} [J. Number Theory 24, 70--88 (1986; Zbl 0595.10027) (vgl. nachstehendes Referat)] wird dieses Resultat zur Herleitung eines Hurwitzsatzes über die Approximation \(p\)-adischer Zahlen durch rationale angewendet. Nach einer Bemerkung des Autors kann der Exponent \(1/18\) sicher nicht über \(1/3\) hinaufgedrückt werden. Ferner wäre eine Übertragung auf \((m\times m)\)-Matrizen \((m\geq 3)\) wünschenswert.