Zariski density and computing with S-integral groups

DOI10.1016/J.JALGEBRA.2023.02.024MaRDI QIDQ6429163arXivFDO

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

Publication date 10 March 2023

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2023.02.024

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Computational methods for problems pertaining to group theory (20-08) Linear algebraic groups over arbitrary fields (20G15) Other matrix groups over rings (20H25)

arXiv classification

math.GR

Abstract: We generalize our methodology for computing with Zariski dense subgroups of $mathrmSL(n,mathbbZ)$ and $mathrmSp(n,mathbbZ)$, to accommodate input dense subgroups $H$ of $mathrmSL(n,mathbbQ)$ and $mathrmSp(n,mathbbQ)$. A key task, backgrounded by the Strong Approximation theorem, is computing a minimal congruence overgroup of $H$. Once we have this overgroup, we may describe all congruence quotients of $H$. The case $n=2$ receives particular attention.

Cited in

(1)

• Algorithms for Experimenting with Zariski Dense Subgroups

This page was built for publication: Zariski density and computing with $S$-integral groups

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