Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4584411 | Journal of Algebra | 2015 | 26 Pages |
Abstract
We develop practical techniques to compute with arithmetic groups Hâ¤SL(n,Q) for n>2. Our approach relies on constructing a principal congruence subgroup in H. Problems solved include testing membership in H, analyzing the subnormal structure of H, and the orbit-stabilizer problem for H. Effective computation with subgroups of GL(n,Zm) is vital to this work. All algorithms have been implemented in GAP.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
A.S. Detinko, D.L. Flannery, A. Hulpke,