# Can a non-abelian subgroup be such that the right cosets equal the left cosets?

So, I know that every abelian (commutative) group $G$ is such that, for any subgroup $H$, the left cosets of $H$ in $G$ are the right cosets. I guess this is true even if $G$ is not abelian, but $H$ is (but I'm not sure). Is this enough to characterise the subgroup as abelian, or are there examples of non-abelian subgroups with this property?

-

For a subgroup of a group, the condition of being abelian is neither necessary nor sufficient for being normal:

If $G$ is non-abelian, then $H=G$ is a normal but non-abelian subgroup. As another example, the alternating group is a normal but non-abelian subgroup of the symmetric group.

For a counterexample in the converse direction, consider the free group with two generators. The subgroup generated by one of the generators is abelian (isomorphic to $\mathbb Z$) but not normal. (This means that your guess above is wrong.)

-
I would have given a smaller example of "abnormal" abelian subgoups, like the order 2 subgroups of S_3. –  Pierre-Yves Gaillard Aug 29 '10 at 17:52
The left cosets of $H$ are the same as the right cosets of $H$ if and only if $H$ is a normal subgroup of $G$. There are non-abelian groups all subgroups of which are normal, for example the quaternion group of order $8$.
Qiaochu Yuan: $gH=Hg\Leftrightarrow gHg^{-1}=H$ –  Pierre-Yves Gaillard Aug 29 '10 at 16:39