Proterminal gruppe

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

Eksempler

Egenskaber