The Higman Embedding theorem says that any finitely generated and recursively presented group can be embedded in a finitely presented group.
My question is if one can embed such a group as a normal subgroup into a finitely presented group?
Higman embedding theorem
Mustafa Gokhan Benli
- 1.4k
- 1
- 9
- 25