Constructing arithmetic subgroups of unipotent groups

Willem de Graaf, Andrea Pavan

Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This…