The Higman Embedding theorem says that any finitely generated 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?
The Higman Embedding theorem says that any finitely generated 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?
This question was answered in Mo by Mark Sapir
https://mathoverflow.net/questions/73076/higman-embedding-theorem