Are there any verbal subgroups in a rank 2 free group $F(a,b)$ arising as normal closures $\langle\langle r \rangle\rangle$ of a (nontrivial) element $r \in F(a,b)$ other than the commutator subgroup $[F,F]=\langle\langle [a,b] \rangle\rangle$?


More generally, are there any subgroups of the given type $\langle\langle r \rangle\rangle$ containing a verbal subgroup? 



A question on verbal subgroups of free groups
1) The answer is no: namely, suppose that $n\ge 2$, $r\in F\_n$ and $N=\langle\langle r\rangle\rangle$ is verbal, then either $r=1$, or $n=2$ and $r$ is conjugate to $[x\_1,x\_2]$. Indeed $F\_n/N$ is a 1-relator group; it was established; if $r\neq 1$ it satisfies a law, and Magnus [a,b] proved that this only happens when $F\_n/N$ is a solvable Baumslag-Solitar group. On the other hand, if $N$ is verbal then so is $N[F\_n,F\_n]$, and this implies that the abelianization of $F\_n/N$ is the square of some finite group. This excludes all solvable Baumslag-Solitar groups except $\mathbf{Z^2}$. 


2) The answer is yes, and precisely (by the above argument) the only examples are when $n=2$ and the relator defines a solvable Baumslag-Solitar group (in which case $N$ contains the second derived subgroup of $F\_n$, which is a verbal subgroup).


[a] Magnus W. Das Identitätsproblem für Gruppen mit einer definierenden Relation, Math. Ann. (1932) 106. 295–307.


[b] Moldavanskii D. I. On a theorem of Magnus (in Russian) Uch. zap. Ivanovsk. gos. ped. inst. 1969. T.44. S.26–28.


