A criterion for the conjugacy separability of certain HNN extensions of groups (Q1969374)

The main result of this paper is that if \(A\) is a group which is quasi-regular and double coset separable at \(\{h,k\}\) then \(G=\langle A,t: t^{-1}ht=k\rangle\) is double coset separable at \(\{h,k\}\). A group \(A\) is said to be quasi-regular at \(\{h,k\}\) if \(h\), \(k\) are elements of \(A\) of infinite order such that for each integer \(\varepsilon>0\), there exists an integer \(\lambda_\varepsilon>0\) and \(N_\varepsilon\vartriangleleft_f A\), such that \(N_\varepsilon\cap\langle h\rangle=\langle h^{\varepsilon\lambda_\varepsilon}\rangle\) and \(N_\varepsilon\cap\langle k\rangle=\langle k^{\varepsilon\lambda_\varepsilon}\rangle\). The group \(A\) is said to be double coset separable at \(\{h,k\}\) if, for each \(u\in A\) and for each integer \(\varepsilon>0\), \(A\) is \(\langle h^\varepsilon\rangle u\langle h^\varepsilon\rangle\)-separable, \(\langle h^\varepsilon\rangle u\langle k^\varepsilon\rangle\)-separable, and \(\langle k^\varepsilon\rangle u\langle k^\varepsilon\rangle\)-separable. Using the above result, the authors obtain a criterion for the conjugacy separability of certain HNN extensions with cyclic associated subgroups. Applying this criterion they show: 1. If \(A\) is polycyclic-by-finite and \(h,k\in Z(A)\) of infinite order such that \(\langle h\rangle\cap\langle k\rangle=1\) then \(G=\langle A,t: t^{-1}ht=k\rangle\) is conjugacy separable. 2. HNN extensions of free products of cycles with cyclic associated subgroups are conjugacy separable.