The congruence subgroup problem for the free metabelian group on two generators

Abstract

In this paper we describe the profinite completion of the free solvable group on $m$ generators of solvability length $r\ge 1$. Then, we show that for $m=r=2$, the free metabelian group on two generators does not have the Congruence Subgroup Property.