Zariski density and computing in arithmetic groups
Flannery, D. L.
MetadataShow full item record
This item's downloads: 0 (view details)
Detinko, A. Flannery, D. L.; Hulpke, A. (2017). Zariski density and computing in arithmetic groups. Mathematics of Computation 87 (310), 967-986
For n &gt; 2, let Gamma(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 &lt;= Gamma(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 Gamma(n). We use our GAP implementation of the algorithms to solve problems that have emerged recently for important classes of linear groups.