Proterminal grupp

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

Exempel

Egenskaper