{"id":"arxiv/2605.23798","url":"https://arxiv.org/abs/2605.23798","tags":["math.GR"],"score":0,"title":"Algorithms for experimenting with Zariski dense matrix groups over number fields","domain":"math.GR","source":"arxiv","authors":["A. S. Detinko","D. L. Flannery","A. Hulpke"],"reviews":0,"subject":"math.GR","summary":"Let $\\mathbb{P}$ be an algebraic number field. We provide a computational analog of the strong approximation theorem for finitely generated Zariski dense groups $H\\leq \\mathrm{SL}(n,\\mathbb{P})$, $n$ prime. That is, we present algorithms to find the set of congruence quotients of $H$ modulo all maximal ideals of a finitely generated subring $R$ of $\\mathbb{P}$ such that $H\\leq \\mathrm{SL}(n,R)$. The algorithms have been implemented in GAP. Potential applications are illustrated by a range of experiments in degree $2$, with a special focus on Bianchi groups.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-22","reactions":{}}