 Profinite completion

The profinite completion of a group $G$ is the inverse limit of its finite quotient groups:The canonical map $G\to \hat{G}$ has dense image and is injective exactly when $G$ is residually finite.