# what is the intersection of all congruence subgroups of the profinite completion of SL(2,Z)?

Let $\widehat{SL(2,\mathbb{Z})}$ be the profinite completion of $SL(2,\mathbb{Z})$. Let $\Gamma(N)$ denote the typical principal congruence subgroup of $SL(2,\mathbb{Z})$ (ie, all matrices congruent to the identity mod $N$). Let $\overline{\Gamma(N)}$ denote its closure in $\widehat{SL(2,\mathbb{Z})}$.

Can we describe generators for $\bigcap_{N\ge 1}\overline{\Gamma(N)}$? (At first I thought this intersection is trivial, but since $SL(2,\mathbb{Z})$ has noncongruence subgroups, the congruence subgroups do not form a fundamental system of neighborhoods of the identity in $\widehat{SL(2,\mathbb{Z})}$, so now I'm rather uncertain...)

What about $\bigcap_{N\ge 1}\overline{\Gamma_1(N)}$?

($\Gamma_1(N)$ is the subgroup consisting of matrices which mod $N$ are upper triangular unipotent).

It is a result of Melnikov that the congruence kernel $ker\{ \widehat{SL_2(\mathbb{Z})}\to SL_2(\hat{\mathbb{Z}})\} \cong \hat{F}_\omega$, the free profinite group on a countable number of generators.
• Do you know if the map $\widehat{ SL_2(\mathbb{Z})}\rightarrow SL_2(\widehat{\mathbb{Z}})$ is surjective? Dec 31 '14 at 23:42