(Esta pregunta se vuelve a publicar desde math.SE,ya que está sentado allí por un tiempo sin respuestas. Disculpas si no se considera a nivel de investigación, pero yo no soy un teórico del grupo.)
Supongamos que tengo un conjunto finito de elementos $x_1, \dots, x_n$ del grupo modular $\operatorname{SL}_2(\mathbf{Z})$. ¿Hay un algoritmo que determinará en finitamente muchos pasos si el subgrupo generado por $x_1, \dots, x_n$ tiene índice finito?
