REFERENCES
- [Adian et al. 01] S. Adian, F. Grunewald, I. Lysionok, and J. Mennicke. “On Embeddings of into Quaternion Groups.” Math. Z. 238 (2001), 389–399.
- [Bosma et al. 97] W. Bosma, J. Cannon, and C. Playoust. “The Magma Algebra System. I. The User Language.” J. Symbolic Comput. 24 (1997), 235–265.
- [Chinburg and Stover 14] T. Chinburg and M. Stover. “Small Generators for S-Unit Groups of Division Algebras.” New York J. Math. 20 (2014), 1175–1202.
- [Lubotzky 82] A. Lubotzky. “Free Quotients and the Congruence Kernel of SL2.” J. Algebra 77 (1982), 411–418.
- [Macbeath 64] A. M. Macbeath. “Groups of Homeomorphisms of a Simply Connected Space.” Ann. of Math. (2) 79 (1964), 473–488.
- [Raghunathan 04] M. S. Raghunathan. “The Congruence Subgroup Problem.” Proc. Indian Acad. Sci. Math. Sci. 114 (2004), 299–308.
- [Serre 70] J.-P. Serre. “Le problème des groupes de congruence pour .” Ann. of Math. (2) 92 (1970), 489–527.
- [Serre 03] J.-P. Serre. Trees, Springer Monographs in Mathematics. Springer, 2003.
- [Vignéras 80] M.-F. Vignéras. Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics 800. Springer, 1980.