The Congruence Subgroup Problem for finitely generated Nilpotent Groups
The congruence subgroup problem for a finitely generated group Γ and G≤Aut(Γ) asks whether the map G^→Aut(Γ^) is injective, or more generally, what is its kernel C(G,Γ)? Here X^ denotes the profinite completion of X. In the case G=Aut(Γ) we denote C(Γ)=C(Aut(Γ),Γ). Let Γ be a finitely generated group, Γˉ=Γ/[Γ,Γ], and Γ∗=Γˉ/tor(Γˉ)≅Z(d). Denote Aut∗(Γ)=Im(Aut(Γ)→Aut(Γ∗))≤GLd(Z). In this paper we show that when Γ is nilpotent, there is a canonical isomorphism C(Γ)≃C(Aut∗(Γ),Γ∗). In other words, C(Γ) is completely determined by the solution to the classical congruence subgroup problem for the arithmetic group Aut∗(Γ). In particular, in the case where Γ=Ψn,c is a finitely generated free nilpotent group of class c on n elements, we get that C(Ψn,c)=C(Z(n))={e} whenever n≥3, and C(Ψ2,c)=C(Z(2))=F^ω = the free profinite group on countable number of generators.
