Algorithms for arithmetic groups with the congruence subgroup property.

DOI10.1016/j.jalgebra.2014.08.027zbMath1319.20040arXiv1906.10423OpenAlexW2143030879MaRDI QIDQ468700

Dane L. Flannery, Alexander Hulpke, Alla S. Detinko

Publication date: 7 November 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1906.10423

zbMATH Keywords

algorithmssubgroups of finite indexcongruence subgroupsarithmetic groupsGAPcomputational group theoryfinitely generated matrix groupsTodd-Coxeter algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Subgroup theorems; subgroup growth (20E07) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05) Structure of modular groups and generalizations; arithmetic groups (11F06) Linear algebraic groups over global fields and their integers (20G30) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items (7)

Freeness and 𝑆-arithmeticity of rational Möbius groups ⋮ The strong approximation theorem and computing with linear groups ⋮ Experimenting with Symplectic Hypergeometric Monodromy Groups ⋮ Zariski density and computing in arithmetic groups ⋮ Zariski density and computing with \(S\)-integral groups ⋮ Linear groups and computation ⋮ Algorithms for Experimenting with Zariski Dense Subgroups

Uses Software

• GAP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrality and arithmeticity of solvable linear groups.
• Algorithms for the Tits alternative and related problems.
• The linear homogeneous group. III
• Arithmetic groups
• Some general algorithms. I: Arithmetic groups
• Subgroup growth.
• Recognizing finite matrix groups over infinite fields.
• Algorithms for linear groups of finite rank.
• Computing conjugacy classes of elements in matrix groups.
• Finite factor groups of the unimodular group
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• Generations for arithmetic groups.
• Notes on Thin Matrix Groups
• A data structure for a uniform approach to computations with finite groups
• The Orbit-Stabilizer Problem for Linear Groups
• Decision problems concerning S-arithmetic groups
• Generators For All Principal Congruence Subgroups of SL(n, Z) with n ≥3
• On the orbit-stabilizer problem for integral matrix actions of polycyclic groups
• Small Subgroups of
• Sous-groupes d'indice fini dans $SL\left( {n,Z} \right)$
• Introduction to Algebraic K-Theory. (AM-72)

This page was built for publication: Algorithms for arithmetic groups with the congruence subgroup property.