Cyclic subgroup separability of certain HNN extensions of finitely generated Abelian groups (Q1293299): Difference between revisions

A group \(G\) is called \(H\)-separable for the subgroup \(H\) if for each \(x\in G\setminus H\) there exists a normal subgroup \(N\) of finite index in \(G\) such that \(x\not\in HN\). The group \(G\) is called subgroup separable, respectively \(\pi_c\), if \(G\) is \(H\)-separable for each finitely generated subgroup \(H\), respectively cyclic subgroup \(H\). A group having the property \(\pi_c\) is also called cyclic subgroup separable. The authors study groups which are HNN-extensions of finitely generated Abelian groups, i.e., of the form \(G=\langle t,K:t^{-1}At=B,\;\varphi\rangle\), where \(K\) is finitely generated Abelian and give characterizations of \(G\) to be \(\pi_c\) in terms of \(K\), \(A\), \(B\) and the associated isomorphism \(\varphi\). The first (out of five) Theorem is typical: Let \(G=\langle t,K:t^{-1}At=B,\;\varphi\rangle\) be an HNN-extension, where \(K\) is a finitely generated Abelian group, \(K\neq A\), \(K\neq B\) and \(A\), \(B\) of finite index in \(K\). Then \(G\) is \(\pi_c\) if and only if there exists a subgroup \(H\) of finite index in \(K\) and \(H\) is normal in \(G\). In the last Theorem, they prove that if \(K\neq A\), \(K\neq B\), \(K\) finitely generated Abelian, then \(G\) is \(\pi_c\) if and only if the associated isomorphism \(\varphi\) can be extended to an automorphism of a finitely generated Abelian group \(X\) containing \(K\). The methods of proof are standard. The authors conclude with some corollaries concerning special interesting cases.