We prove that an arbitrary polycyclic by finite subgroup of GL(n,\overline{Q}) is up to conjugation virtually contained in a direct product of a triangular arithmetic group and a finitely generated diagonal group.

The authors gratefully acknowledge the hospitality received at the Mathematics Department of the University of Chicago during the inception of this work.