Example

Let G be the cyclic (additive) group Z/nZ of order n = pq, and H the subgroup generated by the residue class q Z/nZ.

Then H has order p, and |G/H| = q.

The cosets are of the form r+H with r = 0, ..., q-1.