Reduced bases of lattices over number fields (Q1196257)

Let \(K\) be a number field and let \(S\) be a finite set of places of \(K\), containing the infinite places. Let \(M\) be an \(n\)-dimensional lattice over the ring of \(S\)-integers \(O_ S\) of \(K\). In other words, \(M\) is an \(O_ S\)-module contained in a \(K\)-vector space \(V\) of dimension \(n\) and \(M\oplus_{O_ S} K=V\). Suppose that \({\mathfrak a}_ 1,\dots,{\mathfrak a}_ n\in M\) form a \(K\)-basis for \(V\). The author generalizes Hermite's classical theorem: he shows that there exist vectors \({\mathfrak b}_ 1,\dots,{\mathfrak b}_ n\in M\) such that \(M=O_ S {\mathfrak b}_ 1 \oplus\dots\oplus O_ S{\mathfrak b}_{n-1} \oplus I{\mathfrak b}_ n\) where \(I\) is an \(O_ S\)-ideal contained in a fixed finite collection of representatives of \(O_ S\)-ideal classes and where \({\mathfrak b}_ i= \sum_{j=1}^{\min(i+1,n)} \xi_{ij} {\mathfrak a}_ j\) for \(i=1,\dots,n\), and the absolute values of the \(\xi_{ij}\in K\) are bounded in terms of the sizes of the \({\mathfrak a}_ j\) and certain arithmetical invariants of the ring \(O_ S\). The proof involves an effective Chinese Remainder Theorem and an estimate of the size of a system of fundamental units of \(K\) [\textit{K. Györy}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. 22/23, 225-233 (1980; Zbl 0442.10010)]. As an application the author shows that every square matrix with entries in the ring of \(K\)-adèles is equivalent to a matrix in some kind of Hermite normal form.