Residually finite group
In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every nontrivial element g in G there is a homomorphism h from G to a finite group, such that
There are a number of equivalent definitions: