[The Higman Embedding theorem](https://en.wikipedia.org/wiki/Higman's_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
No. Take a f.g. non-finitely presented group $G$ with trivial $Out(G)$ and trivial center (such groups clearly exist; in fact one can even assume that $Out(G)$ is locally finite, say $G$ is the Grigorchuk group of intermediate growth, by [the result](http://www.math.tamu.edu/~grigorch/publications/sidkigrig3.pdf) of Grigorchuk and Sidki). Suppose that $G$ is a normal subgroup of $H$. Then every $h\in H$ acts on $G$ by conjugation $x\to x^h$. Since $Aut(G)=Inn(G)$, there exists $g\in G$ such that $x^g=x^h$ for every $x\in G$. Hence $g^{-1}h$ centralizes $G$. Therefore $H=G Z\_H(G)$ (if $Out(G)$ is locally finite, then instead of $G$ here you will get a finite extension of $G$, the image of $H$ in $Aut(G)$ under the natural homomorphism) where $Z\_H(G)$, the centralizer of $G$ in $H$, intersects $G$ trivially (since the center of $G$ is trivial) and is a normal subgroup. Hence $H$ is a direct product of $G$ and $Z=Z\_H(G)$. Since $H$ is finitely generated, $Z$ is finitely generated (being a homomorphic image of $H$). Hence if $H$ is finitely presented, then $G$ is presented by the presentation of $H$ plus finitely many relations killing the generators of $Z$, so $G$ must be finitely presented, a contradiction. 


