Residually finite group
= Residually finite group
{wiki}
A group $G$ is residually finite when every nonidentity $g\in G$ survives in some finite quotient: there are a finite group $Q$ and a homomorphism $\phi:G\to Q$ with $\phi(g)\ne1$.
= Residually finite
{synonym}