Eine Gruppe, deren zugrunde liegende Menge eine endliche Kardinalität |G| = n für eine natürliche Zahl n hat. Die Ordnung der Gruppe ist die Anzahl ihrer Elemente; viele Sätze der Gruppentheorie spezialisieren sich auf den endlichen Fall und nutzen Zählargumente.

Prinzip

Endlichkeit erlaubt kombinatorische und arithmetische Kontrolle: In endlichen Gruppen teilen Elementordnungen oft die Gruppenordnung, Indizes von Untergruppen sind ganze Zahlen, und auszählende Werkzeuge (Linksnebenklassen, Bahn‑Stabilisator) liefern strukturelle Zwänge und Existenzresultate wie die Sylow‑Sätze.

Demonstration

Die symmetrische Gruppe S_n auf n Buchstaben ist endlich der Ordnung n!; die zyklische Gruppe Z/nZ ist endlich der Ordnung n. Endliche Matrixgruppen wie GL(m, q) über einem endlichen Körper haben explizit berechenbare Ordnungen und eine reiche Untergruppenstruktur, die in Kombinatorik und Darstellungstheorie verwendet wird.

Fehlanwendung

Unüberlegte Übertragung von Intuitionen unendlicher Gruppen (z. B. Existenz beliebig großer zyklischer Untergruppen) auf endliche Gruppen oder die Annahme einer naiven Klassifikation ohne Spezialtheoreme für den endlichen Fall. Ebenso fehlerhaft ist das Behandeln kardinalitätsbasierter Eigenschaften als invariant unter nicht‑bijektiven Abbildungen.

Konsequenz

Endliche Gruppen erlauben mächtige diskrete Methoden: Sylow‑Theorie, Cauchys Satz zu Elementordnungen, Einsatz der Charaktertheorie und endlichen Darstellungstheorie; in vielen Fällen ist eine systematische Einordnung in Familien und sporadische Ausnahmen möglich.

Umkehrung

Unendliche Gruppen besitzen keine globalen numerischen Zwänge: Elementordnungen müssen nicht die Gruppenordnung teilen, Zählverfahren versagen, und es treten Phänomene wie torsionsfreie unendliche Gruppen oder Gruppen mit kontinuerlicher Kardinalität auf, die andere Werkzeuge erfordern (Topologie, Geometrie, unendliche Kombinatorik).

Abgrenzung

Dieser Eintrag beschränkt sich auf Gruppen mit endlicher Grundmenge. Ausgeschlossen sind unendliche Gruppen, profinite Gruppen (projektive Limiten endlicher Gruppen mit Topologie) und Gruppen mit zusätzlicher kontinuierlicher oder algebraischer Struktur, sofern die zugrunde liegende Menge nicht endlich ist.

Semantische Spannung

„Endliche Gruppe“ kann mit „endlicher Permutationsgruppe“ oder „endlicher Matrixgruppe“ verwechselt werden; die Spannung besteht zwischen abstrakter endlicher Kardinalität und konkreten Realisierungen, die zusätzliche Struktur (Wirkungen, Darstellungen) und damit andere Methoden mit sich bringen.

Synthese

Eine endliche Gruppe ist eine Gruppe mit endlich vielen Elementen; Endlichkeit ermöglicht arithmetische und auszählende Methoden, die starke Existenz‑ und Klassifikationsresultate liefern, die im unendlichen Fall nicht gelten.