2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/163895Let 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 is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.19 pagesGroup TheoryRepresentation Theory20G15Constructing arithmetic subgroups of unipotent groupstext