Profinite group
（重定向自Profinite completion）
In mathematics, profinite groups are topological groups that are in a certain sense assembled from finite groups; they share many properties with their finite quotients.
A non-compact generalization of a profinite group is a locally profinite group.