Algorithms for experimenting with Zariski dense matrix groups over number fields

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

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}(…