Sei eine Gruppe und eine Untergruppe von . Die Mengen der Form
mit
nennt man die Linksnebenklassen von in .
Für
gilt stets entweder
oder
Enthält eine Menge aus jeder Linksnebenklasse genau ein Element, so nennt man ein System von Repräsentanten der Linksnebenklassen. Mit Hilfe eines solchen Systems von Repräsentanten lässt sich disjunkt in die Linksnebenklassen von zerlegen:
Analog definiert man die Rechtsnebenklassen von in als
mit
Für Rechtsnebenklassen gelten die entsprechenden Aussagen wie für Linksnebenklassen.
Alle Nebenklassen von besitzen gleich viele Elemente. Die Anzahl dieser Elemente nennt man den Index von in .
Für kommutative Gruppen fallen die Begriffe Rechts- und Linksnebenklassen zusammen.