Pro-endlich

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 kompakt und total unzusammenhängend ist.

Beispiele

• Jede endliche Gruppe ist offensichtlich auch proendlich (wähle als System endlicher Gruppen nur die Gruppe selbst).
• Die p-adischen Zahlen sind ein einfaches Beispiel für eine unendliche proendliche Gruppe.
• Jede Galoisgruppe einer Galoiserweiterung L|K (versehen mit der Krulltopologie) ist proendlich.
• Ist G eine beliebige Gruppe, dann erhält man eine proendliche Gruppe G^, die proendliche Vervollständigung oder proendliche Komplettierung von G, indem man den inversen Limes der G/H nimmt, wobei H alle Untergruppen von G von endlichem Index durchläuft.

Literatur

• Cassels, Froehlich: Algebraic Number Theory.
• Neukirch: Algebraische Zahlentheorie.