On Benign Subgroups Constructed by Higman's Sequence Building Operation

V. S. Atabekyan,V. H. Mikaelian
DOI: https://doi.org/10.3103/s1068362324010023
2024-04-10
Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences)
Abstract:For Higman's sequence building operation and for any integer sequences set the subgroup is benign in a free group as soon as is benign in . Higman used this property as a key step to prove that a finitely generated group is embeddable into a finitely presented group if and only if it is recursively presented. We build the explicit analog of this fact, i.e., we explicitly give a finitely presented overgroup of and its finitely generated subgroup such that holds. Our construction can be used in explicit embeddings of finitely generated groups into finitely presented groups, which are theoretically possible by Higman's theorem. To build our construction we suggest some auxiliary ''nested'' free constructions based on free products with amalgamation and HNN-extensions.
mathematics
What problem does this paper attempt to address?