For n > 2, let Γn denote either SL(n, Z) or Sp(n, Z). We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group H ≤ Γn. This forms the main component of our methods for computing with such arithmetic groups H. More generally, we provide algorithms for computing with Zariski dense groups in Γn. We use our GAP implementation of the algorithms to solve problems that have emerged recently for important classes of linear groups.
|Number of pages||20|
|Journal||Mathematics of Computation|
|Early online date||7 Aug 2017|
|Publication status||Published - 1 Jan 2018|