In the mathematical field of group theory, a group G is residually finite or finitely approximable if for every element g that is not the identity in G there is a homomorphism h from G to a finite group, such that