The strong approximation theorem and computing with linear groups

DOI10.1016/J.JALGEBRA.2019.04.011zbMATH Open1467.20036arXiv1905.02683OpenAlexW2937748244MaRDI QIDQ2415313FDOQ2415313

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

Publication date: 21 May 2019

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

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$.

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

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

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)

Cites Work

• The Magma algebra system. I: The user language
• The maximal subgroups of the low-dimensional finite classical groups.
• Title not available (Why is that?)
• Symmetry, Representations, and Invariants
• Title not available (Why is that?)
• On the maximal subgroups of the finite classical groups
• Algorithms for the Tits alternative and related problems.
• Subgroup growth.
• Title not available (Why is that?)
• On the minimal degrees of projective representations of the finite Chevalley groups. II
• Title not available (Why is that?)
• Algorithms for arithmetic groups with the congruence subgroup property.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Zariski density and computing in arithmetic groups
• Zariski Dense Surface Subgroups in SL(4, )
• The strong approximation theorem and computing with linear groups

Cited In (5)

• Experimenting with Symplectic Hypergeometric Monodromy 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

Uses Software

• GAP
• Magma
• kbmag
• recog

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)