a1 Department of Mathematics, Imperial College of Science & Technology, Queen's Gate, London SW7 2BZ, England
Abstract
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.
(Received January 05 1984)