Given a subgroup H of a group G and an element a of G, the left coset aH is the subset of G whose elements can be written as a.h for some h in H. H and its left cosets partition G into equal subsets.

The aX notation can be extended to left cosets X. The notation abH is still unambiguous: a(bH) = { a.x | x in bH } = {a.b.h | h in H} = (ab)H. In effect, this defines a group on the left cosets of H.

Analogously, the right cosets of H are Ha = {h.a | h in H, a in G}. We can now consider how to interpret things like aHbHcHd. If the left and right cosets are the same, i.e. if for all a there is a b such that aH = Hb, then all of these are cosets as well; but this is not true in general. If aH = Ha for all a, we call H a normal divisor of G. In this case H and the coset group of H act as independent factors of G: G is their direct product.