There is something that I do not understand about the definition of a left coset.
Let $\,G\,$ be a group and $\,H\,$ be a subgroup of $\,G\,$. Then the subset $\,aH=\{ah |h \in H\}\subseteq G\,$ is the left coset of $\,H\,$ containing $\,a.$
What is "$\,a\,$" in this definition? What does it represent? Can anyone help?
Thanks.
Best Answer
The "$a$" in the definition is any element of $G$: .
So the left coset $\,aH\subseteq G\,$ is the set of all elements in the left coset $aH$, which for a given $\,a \in G\,$ and every element $h_i \in H$, is the set of all $ah_i$.
E.g. Take a small subgroup of $S_3$ : $\;H = \langle (12)\rangle = \{id, (12)\} \leq S_3.\,$ There are three left (respectively right) cosets of $\,H$ in $\,S_3$. One coset is $\,H\,$ itself. The other cosets are $\,(13)H = (123)H\,$ and $\,(23)H = (132)H$.
You'll see that for any subgroup $\,H \leq G$, every element of $\,G\,$ will belong to one and only one left (respectively right) coset of $\,H\,$ in $\,G.\,$ And the union of all left cosets of $H$ in $G$ (respectively the union of all right cosets of $H$ in $G$) is $G$. That is, the left (respectively right) cosets of $H$ in $G$ partition $G$.
You'll can find a nice definition of "coset" and some examples here, as well.