The constructive membership problem for discrete free subgroups of rank 2 of SL₂( R).
DOI10.1112/S1461157014000047zbMATH Open1303.20054OpenAlexW2030722439MaRDI QIDQ2878809FDOQ2878809
Authors: B. Eick, Markus Kirschmer, C. R. Leedham-Green 
Publication date: 5 September 2014
Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/s1461157014000047
Recommendations
- The constructive membership problem for discrete two-generator subgroups of \(\operatorname{SL}_2(\mathbb{R})\)
- Two-generator discrete subgroups of 𝑃𝑆𝐿(2,𝑅)
- Discrete and free two-generated subgroups of \(SL_2\) over non-Archimedean local fields
- On two-generator subgroups in \(\mathrm{SL}_2(\mathbb{Z})\), \(\mathrm{SL}_2(\mathbb{Q})\), and \(\mathrm{SL}_2(\mathbb{R})\)
- Algorithms, complexity and discreteness criteria in \(PSL(2,C)\)
algorithmsfree subgroupsconstructive membership problemdiscrete free two-generator subgroupsgroups of Möbius transformations
Symbolic computation and algebraic computation (68W30) Generators, relations, and presentations of groups (20F05) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Subgroup theorems; subgroup growth (20E07) Software, source code, etc. for problems pertaining to group theory (20-04)
Cites Work
- The Magma algebra system. I: The user language
- On Group-Theoretic Decision Problems and Their Classification. (AM-68)
- Computing polycyclic presentations for polycyclic rational matrix groups.
- Title not available (Why is that?)
- Algorithms for the Tits alternative and related problems.
- Practical algorithms for polycyclic matrix groups
- A cutting and pasting of noncompact polygons with applications to Fuchsian groups
- Über Diskretheitsbedingungen und die diophantische Gleichung \(ax^ 2+by^ 2+cz^ 2=dxyz\)
- Two generator discrete free products
- Real two-dimensional representations of two generator free groups
- Fuchssche Gruppen, die freies Produkt zweier zyklischer Gruppen sind, und die Gleichung \(x^2+y^2+z^2=xyz\).
Cited In (5)
- On the membership problem for some subgroups of \(SL_2(\mathbf{Z})\)
- Geometric algorithms for discreteness and faithfulness
- A criterion for occurrence in a subgroup generated by two-dimensional elementary matrices
- Discrete and free two-generated subgroups of \(SL_2\) over non-Archimedean local fields
- The constructive membership problem for discrete two-generator subgroups of \(\operatorname{SL}_2(\mathbb{R})\)
Uses Software
This page was built for publication: The constructive membership problem for discrete free subgroups of rank 2 of \(\mathrm{SL}_2(\mathbb R)\).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878809)
