Integrality and arithmeticity of solvable linear groups. (Q480648)

The authors develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group \(G\) is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of \(G\). They also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemented in \textsc{Magma}.