Published online by Cambridge University Press: 17 April 2009
The method of proof of Magnus introduced in 1930 is adapted to prove the following theorem of Howie. If A and B are groups for which every finitely generated subgroup has an infinite cyclic image, and if one adds an additional relation (with obvious exceptions), then in the resultant group both A and B appear isomorphically.