Proterminális csoport

A profinit csoport  egy olyan topológiai csoport , amely egy véges csoportok rendszerének projektív határa , amely diszkrét topológiával  van felszerelve ( előre megrendelt halmaz ).

Példák

Tulajdonságok