The strong approximation theorem and computing with linear groups

DOI10.1016/J.JALGEBRA.2019.04.011MaRDI QIDQ2415313zbMATH OpenOpenAlexFDO

Authors A. Hulpke, A. S. Detinko, D. L. Flannery

Publication date 21 May 2019

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

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

zbMATH Keywords

softwarealgorithmstrong approximationZariski densitylinear group

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear algebraic groups over arbitrary fields (20G15) Other matrix groups over rings (20H25) Software, source code, etc. for problems pertaining to group theory (20-04)

Abstract: We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $HleqmathrmSL(n,mathbbZ)$ for $ngeq2$. More generally, we are able to compute all congruence quotients of a finitely generated Zariski dense subgroup of $mathrmSL(n,mathbbQ)$ for $n>2$.

Recommendations

• Zariski density and computing with \(S\)-integral groups
• Zariski density and computing in arithmetic groups
• Practical Computation with Linear Groups Over Infinite Domains
• Linear groups and computation
• Congruence Properties of Zariski-Dense Subgroups I

Cites work

• scientific article; zbMATH DE number 3884354 (Why is no real title available?)
• scientific article; zbMATH DE number 1187237 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 682071 (Why is no real title available?)
• scientific article; zbMATH DE number 894528 (Why is no real title available?)
• scientific article; zbMATH DE number 1406263 (Why is no real title available?)
• Algorithms for arithmetic groups with the congruence subgroup property.
• Algorithms for the Tits alternative and related problems.
• On the maximal subgroups of the finite classical groups
• On the minimal degrees of projective representations of the finite Chevalley groups. II
• Subgroup growth.
• Symmetry, Representations, and Invariants
• The Magma algebra system. I: The user language
• The maximal subgroups of the low-dimensional finite classical groups.
• The strong approximation theorem and computing with linear groups
• Zariski Dense Surface Subgroups in SL(4, )
• Zariski density and computing in arithmetic groups

Cited in

(6)

• Experimenting with Symplectic Hypergeometric Monodromy Groups
• Zariski density and computing in arithmetic groups
• Symplectic hypergeometric groups of degree six
• Computational group theory. Abstracts from the workshop held August 15--21, 2021 (hybrid meeting)
• The strong approximation theorem and computing with linear groups
• Zariski density and computing with \(S\)-integral groups

Describes a project that uses

Uses Software

• recog
• kbmag
• Magma
• GAP

This page was built for publication: The strong approximation theorem and computing with linear groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2415313)