Skip to main content

Research Repository

Advanced Search

All Outputs (2)

Algorithms for arithmetic groups with the congruence subgroup property (2014)
Journal Article
Detinko, A. S., Flannery, D. L., & Hulpke, A. (2015). Algorithms for arithmetic groups with the congruence subgroup property. Journal of Algebra, 421, 234-259. https://doi.org/10.1016/j.jalgebra.2014.08.027

© 2014 Elsevier Inc. 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 subno... Read More about Algorithms for arithmetic groups with the congruence subgroup property.

Integrality and arithmeticity of solvable linear groups (2014)
Journal Article
Detinko, A. S., Flannery, D. L., & de Graaf, W. A. (2015). Integrality and arithmeticity of solvable linear groups. Journal of Symbolic Computation, 68(P1), 138-145. https://doi.org/10.1016/j.jsc.2014.08.011

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group G is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of G. We also provide a simple new alg... Read More about Integrality and arithmeticity of solvable linear groups.