Die Gruppe heißt endlich, wenn die Menge endlich ist: und heißt auch die Ordnung der Gruppe.
Nach den Feststellungen über die linken und rechten Nebenklassen einer Untergruppe gilt für eine endliche Gruppe , dass die Ordnung von ein Teiler der Ordnung von ist: . Der Quotient
heißt der Index von in .
Ist endlich, dann sind alle Elemente von zyklisch und wegen der obigen Feststellung ist die Ordnung jedes Elements Teiler der Ordnung der Gruppe: