Profinite group

topological group that is isomorphic to the inverse (projective) limit of an inverse system of discrete finite groups