A modified proof for Higman's embedding theorem

Publication date 27 August 2019

Extensions, wreath products, and other compositions of groups (20E22) Finite nilpotent groups, (p)-groups (20D15) Finite abelian groups (20K01) Direct sums, direct products, etc. for abelian groups (20K25) Quasivarieties and varieties of groups (20E10)

Abstract: We suggest a modified and briefer version for the proof of Higman's embedding theorem stating that a finitely generated group can be embedded in a finitely presented group if and only if it is recursively presented. In particular, we shorten the main part of original proof establishing characterization of recursive relations in terms of benign subgroups in free groups. Also, some technical lemmas on homomorphisms are replaced by simple combinatorial observations on words in free constructions.

This page was built for publication: A modified proof for Higman's embedding theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6324253)