On benign subgroups constructed by Higman's sequence building operation (Q6602402)

A fundamental result establishing connection between group theory and computability is due to \textit{G. Higman} [Proc. R. Soc. Lond., Ser. A 262, 455--475 (1961; Zbl 0104.02101)], who showed that a finitely generated group \(G\) can be embedded in a finitely presented group if and only if it is recursively presented (the requirement that \(G\) is finitely generated is not critical and it can be replaced by the condition that \(G\) has an effectively enumerable countable set of generators). The key group-theoretic concept introduced by Higman [loc. cit.] is the following: a subgroup \(H\) is benign in a finitely generated group \(G\), if there is a finitely presented overgroup \(K\) of \(G\) and a finitely generated subgroup \(L\) of \(K\) such that \(G \cap L=H\). For Higman's sequence building operation \(\omega_{m}\) and for any integer sequences set \(\mathcal{B}\), the subgroup \(A_{\omega_{m}\mathcal{B}}\) is benign in a free group \(G\) as soon as \(A_{\mathcal{B}}\) is benign in \(G\) (see the paper for precise definitions of these concepts).\N\NIn the paper under review, the authors build the explicit analog of this fact, i.e., they explicitly give a finitely presented overgroup \(K_{\omega_{m}\mathcal{B}}\) of \(G\) and its finitely generated subgroup \(L_{\omega_{m}\mathcal{B}} \leq K_{\omega_{m}\mathcal{B}}\) such that \(G \cap L_{\omega_{m}\mathcal{B}}=A_{\omega_{m}\mathcal{B}}\) holds. To build this construction, the authors suggest some auxiliary ``nested'' free constructions based on free products with amalgamation and HNN-extensions.