Proendlich

Proendlich

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.

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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… …   Deutsch Wikipedia

  • 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… …   Deutsch Wikipedia

  • Profinit — 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… …   Deutsch Wikipedia

  • Profinite 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… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”