Zariski density and computing in arithmetic groups Article Swipe

PDF

Related Concepts

Mathematics Arithmetic Congruence (geometry) Congruence subgroup Group (periodic table) Algebra over a field Discrete mathematics Pure mathematics Organic chemistry Geometry Chemistry

A. S. Detinko , Dane Flannery , Alexander Hulpke ·

YOU? · · 2016 · Open Access · · DOI: https://doi.org/10.1090/mcom/3236 · OA: W2555509933

For n &amp;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 &amp;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.