COMPUTING WITH SUBGROUPS OF THE MODULAR GROUP
Markus Kirschmer, C. R. Leedham-Green · Glasgow Mathematical Journal · 2014
Abstract We give several algorithms for finitely generated subgroups of the modular group PSL2(ℤ) given by sets of generators. First, we present an algorithm to check whether a finitely generated subgroup H has finite index in the full modular group. Then we discuss how to parametrise the right cosets of H in PSL2(ℤ), whether the index is finite or not. Further, we explain how an element in H can be written as a word in a given set of generators of H.