En profinit gruppe er en topologisk gruppe , der er den projektive grænse for et system af endelige grupper , udstyret med en diskret topologi ( er et forudbestilt sæt ).