No label defined (Q4946049)

The HNN construction has a given base group \(B\) and two subgroups \(H_1,H_2\) together with an (external) element \(t\) of infinite order which conjugates \(H_1\) to \(H_2\), \(\Gamma=\langle B,t\mid tH_1t^{-1}=H_2\rangle\). The HNN construction is ascending with base \(B\) if \(\Gamma=\langle B,t\mid tBt^{-1}<B\rangle\). The main result of this paper is the following Theorem A. A finitely generated soluble group which is not polycyclic contains a subgroup which is a properly ascending HNN extension. Recall that a group \(G\) has the property ERF if every subgroup is closed in the profinite topology. Theorem C. A finitely generated soluble group \(G\) has the property ERF if and only if \(G\) is polycyclic. For the entire collection see [Zbl 0933.00033].