Return to Revisions

It's true, and due to Ph. Hall, when $G$ is virtually nilpotent, and more generally (Roseblade) when $G$ is virtually polycyclic.

When $G=\mathbf{Z}\wr\mathbf{Z}$ there exists an infinite simple $\mathbf{Z}G$-module, so it's not residually finite.