Coset

In mathematics, if G is a group, and H is a subgroup of G, and g is an element of G, then

Only when H is normal will the set of right cosets and the set of left cosets of H coincide, which is one definition of normality of a subgroup. Although derived from a subgroup, cosets are not usually themselves subgroups of G, only subsets.

A coset is a left or right coset of some subgroup in G. Since Hg = g ( g⁻¹Hg ), the right coset Hg (of H with respect to g) and the left coset g ( g⁻¹Hg ) (of the conjugate subgroup g⁻¹Hg ) are the same. Hence it is not meaningful to speak of a coset as being left or right unless one first specifies the underlying subgroup. In other words: a right coset of one subgroup equals a left coset of a different (conjugate) subgroup. If the left cosets and right cosets are the same, then H is a normal subgroup and the cosets form a group called the quotient or factor group.

The map gH ↦ (gH)⁻¹ = Hg⁻¹ defines a bijection between the left cosets and the right cosets of H, so the number of left cosets is equal to the number of right cosets. The common value is called the index of H in G.