Hostname: page-component-8488f9846f-smzgp Total loading time: 0 Render date: 2023-08-10T02:11:18.286Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": false, "useRatesEcommerce": true } hasContentIssue false

The constructive membership problem for discrete free subgroups of rank 2 of $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\mathrm{SL}_2(\mathbb{R})$

Published online by Cambridge University Press:  01 August 2014

B. Eick
Affiliation:
Institut Computational Mathematics, TU Braunschweig, Pockelsstrasse 14, 38106 Braunschweig, Germany email beick@tu-bs.de
M. Kirschmer
Affiliation:
Lehrstuhl D für Mathematik, RWTH Aachen University, Templergraben 64, 52062 Aachen, Germany email markus.kirschmer@math.rwth-aachen.de
C. Leedham-Green
Affiliation:
School of Mathematical Sciences, Queen Mary College University of London, Mile End Road, London E1 4NS, United Kingdom email c.r.leedham-green@qmul.ac.uk

Abstract

Core share and HTML view are not possible as this article does not have html content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We exhibit a practical algorithm for solving the constructive membership problem for discrete free subgroups of rank $2$ in $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{SL}_2(\mathbb{R})$. This algorithm, together with methods for checking whether a two-generator subgroup of $\mathrm{PSL}_2(\mathbb{R})$ or $\mathrm{SL}_2(\mathbb{R})$ is discrete and free, have been implemented in Magma for groups defined over real algebraic number fields.

Supplementary materials are available with this article.

Type
Research Article
Copyright
© The Author(s) 2014 

References

Assmann, B. and Eick, B., ‘Computing polycyclic presentations of polycyclic matrix groups’, J. Symbolic Comput. 40 (2005) 12691284.CrossRefGoogle Scholar
Beals, R., ‘Improved algorithms for the Tits alternative’, Groups and computation III , Ohio State University Mathematical Research Institute Publications 8 (eds Kantor, W. M. and Seress, A.; de Gruyter, New York, 2001) 6377.Google Scholar
Beardon, A. F., The geometry of discrete groups , Graduate Texts in Mathematics 91 (Springer, New York, 1983).CrossRefGoogle Scholar
Bosma, W., Cannon, J. and Playoust, C., ‘The Magma algebra system. I. The user language’, J. Symbolic Comput. 24 (1997) no. 3–4, 235265.CrossRefGoogle Scholar
Cohen, H., A course in computational algebraic number theory (Springer, 1993).CrossRefGoogle Scholar
Detinko, A. S., Eick, B. and Flannery, D. L., ‘Computing with matrix groups over infinite fields’, Groups St Andrews 2009 in Bath Volume 1 , London Mathematical Society Lecture Note Series 387 (Cambridge University Press, Cambridge, 2010) 256269.Google Scholar
Detinko, A. S., Flannery, D. L. and O’Brien, E. A., ‘Algorithms for the Tits alternative and related problems’, J. Algebra 344 (2011) 397406.CrossRefGoogle Scholar
Fricke, R. and Klein, F., Vorlesungen über die Theorie der Automorphen Functionen (Teubner, 1897).Google Scholar
Katok, S., Fuchsian groups , Chicago Lectures in Mathematics (University of Chicago Press, Chicago, IL, 1992).Google Scholar
Kern-Isberner, G. and Rosenberger, G., ‘Über Diskretheitsbedingungen und die Diophantische Gleichung a x 2 + b y 2 + c z 2 = d x y z ’, Arch. Math. (Basel) 34 (1980) no. 6, 481493.CrossRefGoogle Scholar
Lyndon, R. C. and Schupp, P. E., Combinatorial group theory (Springer, 1977).Google Scholar
Miller, C. F., On group-theoretic decision problems and their classification (Princeton University Press, Princeton, 1971).Google Scholar
Ostheimer, G., ‘Practical algorithms for polycyclic matrix groups’, J. Symbolic Comput. 28 (1999) no. 3, 361379.CrossRefGoogle Scholar
Purzitsky, N., ‘Two-generator discrete free products’, Math. Z. 126 (1972) 209223.CrossRefGoogle Scholar
Purzitsky, N., ‘Real two-dimensional representations of two-generator free groups’, Math. Z. 127 (1972) 95104.CrossRefGoogle Scholar
Purzitsky, N., ‘A cutting and pasting of noncompact polygons with applications to Fuchsian groups’, Acta Math. 143 (1979) 233250.CrossRefGoogle Scholar
Rosenberger, G., ‘Fuchssche Gruppen, die freies Produkt zweier zyklischer Gruppen sind, und die Gleichung x 2 + y 2 + z 2 = x y z ’, Math. Ann. 199 (1972) 213227.CrossRefGoogle Scholar
Supplementary material: File

Eick Supplementary Material

Supplementary Material

Download Eick Supplementary Material(File)
File 8 KB