Definition:Profinite Group/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

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

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


Also see

  • Results about profinite groups can be found here.


Sources