Lagranges theorem

• What Is the Index of a Subgroup in a Finite Group?
  The index [G:H] of a subgroup H in a finite group G is the number of cosets, equal to |G| divided by |H|.