Congruence testing for odd subgroups of the modular group
arXiv:1307.0625 · doi:10.1112/S1461157013000338
Abstract
We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).