A splitting theorem for linear polycyclic groups. (Q1019604)

Let \(G\) be a polycyclic-by-finite subgroup of \(\text{GL}(n,\mathbb{A})\), where \(n\) is a positive integer and \(\mathbb{A}\) is the algebraic closure of the rationals in the complex numbers \(\mathbb{C}\). The authors prove that there exist an element \(g\) of \(\text{GL}(n,\mathbb{A})\), a normal subgroup \(N\) of \(G\) of finite index, an algebraic number field \(K\) in \(\mathbb{C}\), say with ring of integers \(\mathfrak o\), a triangular \(K\)-defined algebraic subgroup \(T\) and a diagonal \(K\)-defined algebraic subgroup \(D\), both in \(\text{GL}(n,\mathbb{C})\), such that \(T\) and \(D\) generate their direct product and \(N^g\) is contained in the direct product of \(T(\mathfrak o)\) and \(D(K)\).