Tuesday, 3 July 2012

gr.group theory - Generators for congruence subgroups of SL_2

For positive integers $n$ and $L$, denote by $SL_n(Z,L)$ the level $L$ congruence subgroup of $SL_n(Z)$, i.e. the kernel of the homomorphism $SL_n(Z)rightarrow SL_n(Z/LZ)$.



For $n$ at least $3$, it is known that $SL_n(Z,L)$ is normally generated (as a subgroup of $SL_n(Z)$) by Lth powers of elementary matrices. Indeed, this is essentially equivalent to the congruence subgroup problem for $SL_n(Z)$.



However, this fails for $SL_2(Z,L)$ since $SL_2(Z)$ does not have the congruence subgroup property.



Question : Is there a nice generating set for $SL_2(Z,L) ?$ I'm sure this is in the literature somewhere, but I have not been able to find it.

No comments:

Post a Comment