The Higman Embedding theoremThe 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?