Sei G {\displaystyle G} eine Gruppe und H ⊆ G {\displaystyle H\subseteq G} eine Untergruppe. Dann nennt man die Anzahl (die Mächtigkeit) der Nebenklassen g H {\displaystyle gH} , g ∈ G {\displaystyle g\in G} , den Index von H {\displaystyle H} in G {\displaystyle G} . Dies wird insbesondere dann verwendet, wenn G {\displaystyle G} endlich ist.
