Jabarkan Indeks subgrup dari Kohimpunan

Setiap koset kiri atau kanan dari  memiliki jumlah elemen yang sama (atau kardinalitas dalam kasus  tak terbatas {{math |  H ' '}}) sebagai  itu sendiri. Selain itu, jumlah koset kiri sama dengan jumlah koset kanan dan dikenal sebagai  'indeks'  dari  dalam  G , ditulis .  Teorema Lagrange memungkinkan kita untuk menghitung indeks dalam kasus di mana  dan :