Proendliche Gruppe

In der Mathematik ist eine proendliche oder profinite Gruppe eine topologische Gruppe G, die der inverse (projektive) Limes eines Systems von endlichen Gruppen ist. Dieser Limes wird in der Kategorie der topologischen Gruppen gebildet; hierbei betrachtet man jede endliche Gruppe als topologische Gruppe mit der diskreten Topologie. Eine topologische Gruppe ist genau dann proendlich, wenn sie Hausdorffsch, kompakt und total unzusammenhängend ist.