Category:Profinite Groups

This category contains results about Profinite Groups.
Definitions specific to this category can be found in Definitions/Profinite Groups.

Let $\struct {G, \odot, \tau}$ be a topological group.

Definition 1

$\struct {G, \odot, \tau}$ is profinite if and only if it is isomorphic in the category of topological groups to a small inverse limit of finite discrete groups, with the limit topology.

Definition 2

$\struct {G, \odot, \tau}$ is profinite if and only if it is compact, Hausdorff and totally disconnected.