Proterminální skupina

Profinitní grupa  je topologická grupa , která je projektivní limitou systému konečných grup , vybavených diskrétní topologií (  je předobjednaná množina ).

Příklady

Vlastnosti