# Is there a residually finite group not finitely presented?

I am looking for a residually finite group which is not finitely presented. Does such a group exist?

-

Finally, I found a nice example: the lamplighter group $L_2= \mathbb{Z}_2 \wr \mathbb{Z}$. There is a natural morphism from $L_2$ to $\mathbb{Z}_2 \wr \mathbb{Z}_n$ and a such morphism, for $n$ big enough, send a non-trivial element on a non-trivial element in the finite group $\mathbb{Z}_2 \wr \mathbb{Z}_n$.

Moreover, one can show that $F \wr \mathbb{Z}$ is residually finite iff $F$ is abelian.

-
$G =\displaystyle\prod_{i\in I} \mathbb{Z}_2$ is not finitely generated (hence not finitely presented) whenever $I$ is infinite. Using projection homomorphisms you can show $G$ to be residually finite.