Skip to content

Research at St Andrews

Algorithms for experimenting with Zariski dense subgroups

Research output: Research - peer-reviewArticle


Open Access permissions




Alla Detinko, Dane Flannery, Alexander Hulpke

School/Research organisations


We give a method to describe all congruence images of a finitely generated Zariski dense group H ≤ SL (n,ℤ). The method is applied to obtain efficient algorithms for solving this problem in odd prime degree n;if n=2 then we compute all congruence images only modulo primes. We propose a separate method that works for all n as long as H contains a known transvection. The algorithms have been implemented in GAP, enabling computer experiments with important classes of linear groups that have recently emerged.



Original languageEnglish
Number of pages10
JournalExperimental Mathematics
VolumeLatest Articles
Early online date4 Jun 2018
StateE-pub ahead of print - 4 Jun 2018

    Research areas

  • Algorithm, Zariski dense, Congruence subgroup, Strong approximation

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Linear groups and computation

    Detinko, A. & Flannery, D. 15 May 2018 (Accepted/In press) In : Expositiones Mathematicae. 31 p.

    Research output: Research - peer-reviewArticle

  2. Practical computation with linear groups over infinite domains

    Detinko, A. & Flannery, D. May 2018 (Accepted/In press) In : London Mathematical Society Lecture Note Series. 10 p.

    Research output: Research - peer-reviewArticle

  3. Zariski density and computing in arithmetic groups

    Detinko, A., Flannery, D. L. & Hulpke, A. Mar 2018 In : Mathematics of Computation. 87, 310, p. 967-986

    Research output: Research - peer-reviewArticle

  4. Recent advances in computing with infinite linear groups

    Detinko, A. & Flannery, D. 22 Apr 2017 Oberwolfach Reports. European Mathematical Society Publishing House, Vol. 13, p. 2136-2139

    Research output: ResearchConference contribution

  5. L.G. Kovács and linear groups

    Detinko, A. S. & Flannery, D. L. Feb 2017 In : Journal of the Australian Mathematical Society. 102, 1, p. 55-62

    Research output: Research - peer-reviewArticle

Related by journal

  1. The status of the Zassenhaus conjecture for small groups

    Bächle, A., Herman, A., Konovalov, A., Margolis, L. & Singh, G. 5 Apr 2017 In : Experimental Mathematics. Latest Articles, 6 p.

    Research output: Research - peer-reviewArticle

  2. Spectral experiments+

    Rivin, I. 30 Mar 2016 In : Experimental Mathematics. 25, 4, p. 379-388 10 p.

    Research output: Research - peer-reviewArticle

  3. On the efficiency of the simple groups of order less than a million and their covers

    Campbell, C. A., Havas, G., Ramsay, C. & Robertson, E. F. 2007 In : Experimental Mathematics. 16, p. 347-358 12 p.

    Research output: Research - peer-reviewArticle

  4. Some computations regarding Foulkes' conjecture

    Mueller, J. & Neunhoeffer, M. 2005 In : Experimental Mathematics. 14, 3, p. 277-283

    Research output: Research - peer-reviewArticle

ID: 253120331