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 ).