Reflections on the residual finiteness of one-relator groups

Let G Dh a; b; ::: j r D 1i be a one-relator group equipped with at least two generators. For all w which do not commute with r in the ambient free group on the generators a, b, …, the groups G.r; w/ Dh a; b; ::: j r r w D r 2i are not residually finite and have the same finite images as G. The existence of this family of one-relator groups which are not residually finite reinforces what is becoming more obvious with time, that one-relator groups can be extremely complicated. This not only serves to underline the complexity of one-relator groups but provides us with the opportunity to raise a number of problems about these groups in the hope that they will stimulate further work on the conjugacy and isomorphism problems for one-relator groups as a whole.