Endliche Gruppe

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.