Algorithms for experimenting with Zariski dense subgroups

Alla Detinko, Dane Flannery, Alexander Hulpke

We give a method to describe all congruence images of a finitely generated Zariski dense group $H\le \mathrm{SL}(n,\mathbb{Z})$. The method is applied to obtain efficient algori…