profinite group
topological group that is isomorphic to the inverse (projective) limit of an inverse system of discrete finite groups
finite group
mathematical group based upon a finite number of elements
pro-p group
type of profinite group
topological group that is isomorphic to the inverse (projective) limit of an inverse system of discrete finite groups