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