Category:Definitions/Profinite Groups

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Profinite Groups.
Related results can be found in Category: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.

Pages in category "Definitions/Profinite Groups"

The following 3 pages are in this category, out of 3 total.