Noun
profinite group (plural profinite groups) (topology, category theory) A topological group that is isomorphic to the inverse limit of some inverse system of discrete finite groups; equivalently, a topological group that is also a Stone space.