Check whether a modular subgroup is congruence from its generators

asked 2013-01-05 11:24:24 +0100

Jimeree gravatar image

I want to input the generators of a specific subgroup of the modular group $\Gamma = PSL(2,\mathbb{Z})$ as explicit $2\times 2$ matrices, and have Sage tell me whether that subgroup is congruence. Clearly I need to use the command is_congruence() for the second part, but I'm having trouble inputting the subgroup generators. Potentially it is something very simple - can anyone help? Thanks.

edit retag flag offensive close merge delete