The constructive membership problem for discrete free subgroups of rank 2 of

DOI10.1112/S1461157014000047zbMath1303.20054OpenAlexW2030722439MaRDI QIDQ2878809

Markus Kirschmer, Bettina Eick, Charles 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 subgroupsgroups of Möbius transformationsconstructive membership problemdiscrete free two-generator subgroups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Software, source code, etc. for problems pertaining to group theory (20-04)

Related Items (2)

The constructive membership problem for discrete two-generator subgroups of \(\operatorname{SL}_2(\mathbb{R})\) ⋮ Discrete and free two-generated subgroups of \(SL_2\) over non-Archimedean local fields

Uses Software

• Magma

Cites Work

• Unnamed Item
• Algorithms for the Tits alternative and related problems.
• 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\)
• The Magma algebra system. I: The user language
• Practical algorithms for polycyclic matrix groups
• Computing polycyclic presentations for polycyclic rational matrix groups.
• 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\).
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)

This page was built for publication: The constructive membership problem for discrete free subgroups of rank 2 of