En profinit grupp är en topologisk grupp som är den projektiva gränsen för ett system av ändliga grupper , utrustad med en diskret topologi ( är en förbeställd uppsättning ).