Profinite group (source code)

= Profinite group
{wiki}

A profinite group is an <inverse limit> of finite discrete groups. Equivalently, it is a compact Hausdorff totally disconnected <topological group>.