Abstract
In this paper, we prove that two-generator one-relator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNN-extensions in which each group has the effective standard normal form. We give an example to show how to deal with some general cases for one-relator groups. By using the Magnus method and Composition-Diamond Lemma, we reprove the Higman-Neumann-Neumann embedding theorem.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have