Algorithms for Experimenting with Zariski Dense Subgroups

References

• [Aoun 11] R. Aoun, “Random Subgroups of Linear Groups Are Free.” Duke Math. J. 160:1 (2011), 117–173.
   Web of Science ®Google Scholar
• [Aschbacher 84] M. Aschbacher, “On the Maximal Subgroups of the Finite Classical Groups.” Invent. Math. 76 (1984), 469–514.
   Web of Science ®Google Scholar
• [Bray et al. 13] J. N. Bray, D. F. Holt, and C. M. Roney-Dougal, The Maximal Subgroups of the Low-Dimensional Finite Classical Groups. London Math. Soc. Lecture Note Ser., vol. 407, Cambridge: Cambridge Univ. Press, 2013.
   Google Scholar
• [Breuillard 15] E. Breuillard, Approximate Subgroups and Super-Strong Approximation, Groups St. Andrews 2013, 1–50, London Math. Soc. Lecture Note Ser., vol. 422, Cambridge: Cambridge Univ. Press, 2015.
   Google Scholar
• [Conway et al. 86] J. H. Conway, S. P. Norton, R. A. Wilson, R. T. Curtis, and R. A. Parker, Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups, Oxford, 1986.
   Google Scholar
• [Detinko et al. 15] A. S. Detinko, D. L. Flannery, and A. Hulpke, “Algorithms for Arithmetic Groups with the Congruence Subgroup Property.” J. Algebra 421 (2015), 234–259.
   Web of Science ®Google Scholar
• [Detinko et al. 18b] A. S. Detinko, D. L. Flannery, and A. Hulpke, “Zariski Density and Computing in Arithmetic Groups.” Math. Comp. 87:310 (2018), 967–986.
   Web of Science ®Google Scholar
• [Detinko et al. 17] A. S. Detinko, D. L. Flannery, and A. Hulpke, GAP Functionality for Zariski Dense Groups, Oberwolfach Preprints OWP 2017-22.
   Google Scholar
• [Detinko et al. 18] A. S. Detinko, D. L. Flannery, and A. Hulpke, Strong Approximation and Algorithms for Computing with Dense Subgroups, preprint, 2018.
   Google Scholar
• [Detinko et al. 11] A. S. Detinko, D. L. Flannery, and E. A. O’Brien, “Algorithms for the Tits Alternative and Related Problems.” J. Algebra 344 (2011), 397–406.
   Web of Science ®Google Scholar
• [Detinko et al. 13] A. S. Detinko, D. L. Flannery, and E. A. O’Brien, “Recognizing Finite Matrix Groups Over Infinite Fields.” J. Symbolic Comput. 50 (2013), 100–109.
   Web of Science ®Google Scholar
• [Feit 95] W. Feit, The Orders of Finite Linear Groups, preprint, 1995.
   Google Scholar
• [Fuchs and Rivin 17] E. Fuchs and I. Rivin, “Generic Thinness in Finitely Generated Subgroups of SL n(Z).” Int. Math. Res. Not. IMRN :17 (2017), 5385–5414.
   Google Scholar
• [The GAP Group 18] The GAP Group, GAP – Groups, Algorithms, and Programming, http://www.gapsystem.org
   Google Scholar
• [Holt et al. 05] D. F. Holt, B. Eick, and E. A. O’Brien, Handbook of Computational Group Theory, Discrete Mathematics and its Applications, Boca Raton, FL: Chapman & Hall, 2005.
   Google Scholar
• [Humphreys 87] J. E. Humphreys, “The Steinberg Representation.” Bull. Amer. Math. Soc. (N.S.) 16:2 (1987), 247–263.
   Web of Science ®Google Scholar
• [James 83] G. D. James, “On the Minimal Dimensions of Irreducible Representations of Symmetric Groups.” Math. Proc. Cambridge Philos. Soc. 94:3 (1983), 417–424.
   Google Scholar
• [Kleidman and Liebeck 90] P. Kleidman and M. Liebeck, The Subgroup Structure of the Finite Classical Groups. London Math. Soc. Lecture Note Ser., vol. 129, Cambridge: Cambridge Univ. Press, 1990.
   Google Scholar
• [Kleshchev and Tiep 12] A. S. Kleshchev and P. H. Tiep, “Small-Dimensional Projective Representations of Symmetric and Alternating Groups.” Algebra Number Theory 6 (2012), 1773–1816.
   Web of Science ®Google Scholar
• [Long and Reid 11] D. D. Long and A. W. Reid, “Small Subgroups of SL (3,Z).” Exp. Math. 20:4 (2011), 412–425.
   Web of Science ®Google Scholar
• [Long et al. 11] D. D. Long, A. W. Reid, and M. Thistlethwaite, “Zariski Dense Surface Subgroups in SL (3,Z).” Geom. Topol. 15:1 (2011), 1–9.
   Web of Science ®Google Scholar
• [Long and Thistlethwaite 18] D. D. Long and M. Thistlethwaite, “Zariski Dense Surface Subgroups in SL (4,Z).” Exp. Math. 27:1 (2018), 82–92.
   Web of Science ®Google Scholar
• [Lubotzky and Segal 03] A. Lubotzky and D. Segal, Subgroup Growth, Basel: Birkhäuser, 2003.
   Google Scholar
• [Lubotzky 99] A. Lubotzky, “One for Almost All: Generation of SL(n, p) By Subsets of SL (n,Z).” Contemp. Math. 243 (1999), 125–128.
   Google Scholar
• [Malle and Zalesskii 81] G. Malle and A. E. Zalesskii, “Prime Power Degree Representations of Quasi-Simple Groups.” Arch. Math. (Basel) 77 (1981), 461–468.
   Google Scholar
• [Neunhöffer et al. 16] M. Neunhöffer, Á. Seress, et al., “The GAP Package recog.” A Collection of Group Recognition Methods, http://gap-packages.github.io/recog/
   Google Scholar
• [Rivin 10] I. Rivin, “Zariski density and genericity.” Int. Math. Res. Not. IMRN :19 (2010), 3649–3657.
   Google Scholar
• [Rivin 14] I. Rivin, Generic Phenomena in Groups: Some Answers and Many Questions. Thin groups and superstrong approximation, pp. 299–324, Math. Sci. Res. Inst. Publ., vol. 61, Cambridge: Cambridge Univ. Press, 2014.
   Google Scholar
• [Sarnak 14] P. Sarnak, Notes on Thin Matrix Groups, Thin groups and superstrong approximation, pp. 343–362, Math. Sci. Res. Inst. Publ., vol. 61, Cambridge: Cambridge Univ. Press, 2014.
   Google Scholar
• [Steinberg 85] R. Steinberg, Some Consequences of the Elementary Relations in SL_n, Finite groups—coming of age (Montreal, Que., 1982), Contemp. Math., vol. 45, pp. 335–350. Providence, RI: AMS, 1985.
   Google Scholar
• [Suprunenko 76] D. A. Suprunenko, Matrix Groups, Transl. Math. Monogr., vol. 45, Providence, RI: AMS, 1976.
   Google Scholar
• [Wehrfritz 73] B. A. F. Wehrfritz, Infinite Linear Groups, New York: Springer, 1973.
   Google Scholar
• [Weigel 96] T. S. Weigel, On the Profinite Completion of Arithmetic Groups of Split Type, Lois d’algèbres et variétés algébriques (Colmar, 1991), pp. 79–101, Travaux en Cours, vol. 50, Hermann, Paris, 1996.
   Google Scholar
• [Zalesskii 93] A. E. Zalesskii, Linear Groups, Algebra, IV, Encyclopaedia Math. Sci., vol. 37, pp. 97–196. Berlin: Springer, 1993.
   Google Scholar
• [Zalesskii and Serežkin 76] A. E. Zalesskii and V. N. Serežkin, “Linear Groups Generated by Transvections.” Izv. Akad. Nauk SSSR Ser. Mat. 40:1 (1976), 26–49 (Russian).
   Google Scholar