The constructive membership problem for discrete free subgroups of rank 2 of SL₂( R).

DOI10.1112/S1461157014000047MaRDI QIDQ2878809zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algorithmsfree subgroupsconstructive membership problemdiscrete free two-generator subgroupsgroups of Möbius transformations

Mathematics Subject Classification ID

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)

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)\)

Cites work

• scientific article; zbMATH DE number 54069 (Why is no real title available?)
• A cutting and pasting of noncompact polygons with applications to Fuchsian groups
• Algorithms for the Tits alternative and related problems.
• Computing polycyclic presentations for polycyclic rational matrix groups.
• Fuchssche Gruppen, die freies Produkt zweier zyklischer Gruppen sind, und die Gleichung \(x^2+y^2+z^2=xyz\).
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• Practical algorithms for polycyclic matrix groups
• Real two-dimensional representations of two generator free groups
• The Magma algebra system. I: The user language
• Two generator discrete free products
• Über Diskretheitsbedingungen und die diophantische Gleichung \(ax^ 2+by^ 2+cz^ 2=dxyz\)

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})\)

Describes a project that uses

Uses Software

• Magma

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)