Article contents
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
Abstract
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.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s) 2014
References
- 3
- Cited by