Profiniittiryhmä on topologinen ryhmä , joka on äärellisten ryhmien järjestelmän projektiiivinen raja , joka on varustettu diskreetillä topologialla ( on ennalta määrätty joukko ).