profinite group
Noun
Meaning
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.