What is "coset"

n. (context algebra English) Of a subgroup, a copy of that subgroup multiplied by some element from the parent group.

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

gH = { gh : h an element of H } is the left coset of H in G with respect to g, and Hg = { hg : h an element of H } is the right coset of H in G with respect to g.

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 , the right coset Hg (of H with respect to g) and the left coset (of the conjugate subgroup gHg ) 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 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.

For abelian groups, left cosets and right cosets are always the same. If the group operation is written additively, the notation used changes to or .

Cosets are a basic tool in the study of groups; for example they play a central role in Lagrange's theorem.