Publication

Zariski density and computing in arithmetic groups

Detinko, A.
Flannery, D. L.
Hulpke, A.
Repository DOI
Publication Date
2017-01-01
Type
Article
Downloads
Citation
Detinko, A. Flannery, D. L.; Hulpke, A. (2017). Zariski density and computing in arithmetic groups. Mathematics of Computation 87 (310), 967-986
Abstract
For n > 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 <= 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.
Funder
Publisher
American Mathematical Society (AMS)
Publisher DOI
10.1090/mcom/3236
Rights
Attribution-NonCommercial-NoDerivs 3.0 Ireland