[The Higman Embedding theorem][1] 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? [1]: https://en.wikipedia.org/wiki/Higman's_embedding_theorem