Abelian subgroup separability of some one-relator groups. (Q2576024)

A subgroup \(M\) of a group \(G\) is called finitely separable if for any element \(g\in G\), not belonging to \(M\), there exists a homomorphism \(\varphi\) of \(G\) onto some finite group \(X\) such that \(g\varphi\not\in M\varphi\). If every cyclic subgroup of \(G\) is finitely separable, then \(G\) is said to be cyclic subgroup separable. The author proves that any group given by the presentation \(\langle a,b;\;[a^n,b^m]=1\rangle\), where \(m\) and \(n\) are integers greater than 1, is cyclic subgroup separable. The author establishes suitable properties of these groups which enable him to prove that every finitely generated Abelian subgroup of any such group is finitely separable.