profinite group in German
profinite group in German
proendliche Gruppe
(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.