# Definition:Coset

## Definition

Let $G$ be a group, and let $H \le G$.

### Left Coset

The left coset of $x$ modulo $H$, or left coset of $H$ by $x$, is:

$x H = \set {y \in G: \exists h \in H: y = x h}$

This is the equivalence class defined by left congruence modulo $H$.

That is, it is the subset product with singleton:

$x H = \set x H$

### Right Coset

The right coset of $y$ modulo $H$, or right coset of $H$ by $y$, is:

$H y = \set {x \in G: \exists h \in H: x = h y}$

This is the equivalence class defined by right congruence modulo $H$.

That is, it is the subset product with singleton:

$H y = H \set y$

## Examples

### Symmetry Group of Equilateral Triangle: Cosets of Reflection Subgroup

Consider the symmetry group of the equilateral triangle $D_3$. Let $H \subseteq D_3$ be defined as:

$H = \set {e, r}$

where:

$e$ denotes the identity mapping
$r$ denotes reflection in the line $r$.

The left cosets of $H$ are:

 $\ds H$ $=$ $\ds \set {e, r}$ $\ds$ $=$ $\ds e H$ $\ds$ $=$ $\ds r H$ $\ds s H$ $=$ $\ds \set {s e, s r}$ $\ds$ $=$ $\ds \set {s, q}$ $\ds$ $=$ $\ds q H$ $\ds t H$ $=$ $\ds \set {t e, t r}$ $\ds$ $=$ $\ds \set {t, p}$ $\ds$ $=$ $\ds p H$

The right cosets of $H$ are:

 $\ds H$ $=$ $\ds \set {e, r}$ $\ds$ $=$ $\ds H e$ $\ds$ $=$ $\ds H r$ $\ds H s$ $=$ $\ds \set {e s, r s}$ $\ds$ $=$ $\ds \set {s, p}$ $\ds$ $=$ $\ds H p$ $\ds H t$ $=$ $\ds \set {e t, r t}$ $\ds$ $=$ $\ds \set {t, q}$ $\ds$ $=$ $\ds H q$

### Dihedral Group $D_3$: Cosets of $\gen b$

Consider the dihedral group $D_3$.

$D_3 = \gen {a, b: a^3 = b^2 = e, a b = b a^{-1} }$

Let $H \subseteq D_3$ be defined as:

$H = \gen b$

where $\gen b$ denotes the subgroup generated by $b$.

As $b$ has order $2$, it follows that:

$\gen b = \set {e, b}$

### Left Cosets

The left cosets of $H$ are:

 $\ds e H$ $=$ $\ds \set {e, b}$ $\ds$ $=$ $\ds b H$ $\ds$ $=$ $\ds H$

 $\ds a H$ $=$ $\ds \set {a, a b}$ $\ds$ $=$ $\ds a b H$

 $\ds a^2 H$ $=$ $\ds \set {a^2, a^2 b}$ $\ds$ $=$ $\ds a^2 b H$

### Right Cosets

The right cosets of $H$ are:

 $\ds H e$ $=$ $\ds \set {e, b}$ $\ds$ $=$ $\ds H b$ $\ds$ $=$ $\ds H$

 $\ds H a$ $=$ $\ds \set {a, a^2 b}$ $\ds$ $=$ $\ds H a^2 b$

 $\ds H a^2$ $=$ $\ds \set {a^2, a b}$ $\ds$ $=$ $\ds H a b$

### Subgroup of Infinite Cyclic Group

Let $G = \gen a$ be an infinite cyclic group.

Let $s \in \Z_{>0}$ be a (strictly) positive integer.

Let $H$ be the subgroup of $G$ defined as:

$H := \gen {a^s}$

Then a complete repetition-free list of the cosets of $H$ in $G$ is:

$S = \set {H, aH, a^2 H, \ldots, a^{s - 1} H}$

## Also see

• Results about cosets can be found here.