Residual finiteness and Hopficity of certain HNN extensions (Q1066269)

Let \(G=<t,K|\) \(t^{-1}At=B,\phi >\) be an HNN extension, where K is a finitely generated abelian group. A necessary and sufficient condition is given for the group G to be residually finite in the case where A, B are of finite index in K. If K is free abelian of rank 2 and A and B are infinite cyclic then a complete characterization is given with respect to residual finiteness and hopficity.