Conjugacy separability of descending HNN-extensions of finitely generated Abelian groups. (Q2508738)

Let \(A\) be a group and \(\varphi\) an injective endomorphism of \(A\). Two elements \(a,b\in A\) are said to be `\(\varphi\)-equivalent' (\(a\sim_\varphi b\)) if there are non-negative integers \(m\) and \(n\) such that \(a\varphi^m=b\varphi^n\). This relation is an equivalence. The subgroup \(B\) of the group \(A\) is `\(\varphi\)-admissible' if \(B\varphi\leq B\) and is `\(\varphi\)-isolated' if the relation \(a\varphi\in B\) implies that \(a\in B\). Let \(\Omega_\varphi(A)\) denote the family of all \(\varphi\)-admissible, \(\varphi\)-isolated subgroups of \(A\). The group \(A\) is `residually \(\varphi\)-equivalent' (\(RF_\varphi\)) if for all \(a,b\in A\) with \(a\not\sim_\varphi b\) there exists a subgroup \(B\) of finite index with \(B\in\Omega_\varphi(A)\) such that \(a\varphi^m\not\equiv b\varphi^n\pmod B\) for any non-negative integers \(m\) and \(n\). The group \(A\) is `regularly residually \(\varphi\)-equivalent' (\(RRF_\varphi\)) if \(A\) is \(RF_\varphi\) and, for every \(1\not=a\in A\) and positive integer \(n\), there exists a subgroup \(B\in\Omega_\varphi(A)\) such that the induced endomorphism \(\overline\varphi\) of the quotient group \(A/B\) is an automorphism of finite order which is a multiple of \(n\) and the cardinality of the equivalence class of the element \(aB\) coincides with the order of the automorphism \(\overline\varphi\). In the present paper, the author studies the properties \(RF_\varphi\) and \(RRF_\varphi\) for a finitely generated Abelian group and proves that they are hereditary on subgroups and are preserved (almost in all cases) under finite extensions. This enables him to prove (Proposition 8 in the paper) that a finitely generated Abelian group \(A\) is \(RF_\varphi\) for every injective endomorphism \(\varphi\) of \(A\). This result, combined with (Proposition 1 in the paper): ``A descending HNN-extension \(G=\langle A,t\mid t^{-1}At=A\varphi\rangle\) is conjugacy separable, for every injective endomorphism \(\varphi\) of \(A\), if and only if the group \(A\) is \(RF_\varphi\)'', proves the main theorem of the paper that descending HNN-extensions of finitely generated Abelian groups are conjugacy separable. This result generalizes a partial result of \textit{O. E. Senkevich} [in Chebyshevskiĭ Sb. 5, No. 2(10), 121-130 (2004; Zbl 1138.20307)] and completes the answer for the conjugacy separability of HNN-extensions with base group a finitely generated Abelian group, since in the case where the associated subgroups are proper subgroups of the base group, a characterization is given by \textit{E. Raptis, O. Talelli, D. Varsos} [in J. Algebra 199, No. 1, 327-336 (1998; Zbl 0891.20023)].