Source: wikibot/residually-finite-group
= Residually finite group
{wiki=Residually_finite_group}
A group \\( G \\) is called **residually finite** if for every nontrivial element \\( g \\in G \\) (i.e., \\( g \\neq e \\), where \\( e \\) is the identity element of the group), there exists a finite group \\( H \\) and a group homomorphism \\( \\varphi: G \\to H \\) such that \\( \\varphi(g) \\neq \\varphi(e) \\).