If is a subgroup of and lies in , then

  • is a left coset
  • is a right coset

Each coset is a translated copy of the subgroup.

In finite groups, cosets partition the whole group and each coset has the same size as .

One-line intuition

A coset is what you get by shifting a subgroup through the group.