Source: wikibot/locally-profinite-group
= Locally profinite group
{wiki=Locally_profinite_group}
A **locally profinite group** is a type of group that is constructed from profinite groups, which are groups that are isomorphic to an inverse limit of finite groups. Formally, a locally profinite group can be defined as a group \\( G \\) that has a neighborhood basis at the identity consisting of open subgroups that are profinite.