The cyclic subgroup separability of certain HNN extensions. (Q2469360)

A group \(G\) is called cyclic subgroup separable (or \(\pi_c\) for short) if for each cyclic subgroup \(H\) and \(x\in G\setminus H\), there exists a normal subgroup \(N\) of finite index in \(G\) such that \(x\notin HN\). The authors comment on cyclic subgroup separable groups, give examples and counterexamples of such groups as well as their relation to residual finiteness and other relative concepts. The main results concern a characterization of certain HNN-extensions with central associated subgroups to be cyclic subgroup separable with applications to HNN-extensions of polycyclic by finite groups and Fuchsian groups (i.e., finite extensions of surface groups). The following theorem is typical: Let \(G=\langle t,A;\;t^{-1}Ht=K,\;\varphi\rangle\) be an HNN extension where \(H\) and \(K\) are finitely generated subgroups in the center of \(A\). Suppose \(A\) is subgroup separable and \(H\neq A\neq K\). Then \(G\) is \(\pi_c\) if and only if one of the following holds: (a) \(H=K\), (b) \(H\not\subseteq K\), \(K\not\subseteq H\) and there exists a torsion free subgroup \(N\triangleleft_f HK\) such that \(\varphi(N\cap H)=N\cap K\) and \(N\cap K\), \(N\cap H\) are isolated in \(N\). -- Here \(N\triangleleft_f HK\) means that \(N\) is normal of finite index in \(HK\).