## What is a residually finite group?

We say that a group $G$ is residually finite if for each $g\in G$ that is not equal to the identity of $G$, there exists a finite group $F$ and a group homomorphism $$\varphi:G\to F$$ such that $\varphi(g)$ is not the identity of $F$. The definition does not change if we require that $\varphi$ be […]