Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity
Baumslag asked whether a one-relator group $G=F/\langle\langle r\rangle\rangle$ with $r$ a commutator is Hopfian, residually finite or automatic. The paper constructs a family $G_m=\langle a,t \mid [t,a[a,t]^{-m}]\rangle$ answering all three negatively.