Proterminaalinen ryhmä

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

Esimerkkejä

Ominaisuudet