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.