5
$\begingroup$

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?

2 Answers 2

5

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.)

  • 5
    I would have given a smaller example of "abnormal" abelian subgoups, like the order 2 subgroups of S_3.2010-08-29
9

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$.

  • 0
    They are called "Hamiltonian groups": http://en.wikipedia.org/wiki/Dedekind_group2010-08-29
  • 1
    @Robin, the "if" direction is obvious, but (at least to me) the "only if" is not. Could you elaborate?2010-08-29
  • 0
    Qiaochu Yuan: $gH=Hg\Leftrightarrow gHg^{-1}=H$2010-08-29
  • 1
    @Pierre-Yves Gaillard: yes, that shows the "if" direction. My interpretation of the left cosets being "equal" to the right cosets is that they determine the same partition of G, and I do not see how this argument addresses the "only if" direction.2010-08-29
  • 0
    Qiaochu Yuan: If $H$ is not normal, there is a $g$ such that $gHg^{-1}\not=H$, and thus $gH\not=Hg$, and the partitions differ.2010-08-29
  • 0
    @Pierre-Yves Gaillard: I do not understand why Hg must be the right coset which is the same as gH. To say this another way, I do not understand why this rules out the existence of a nonidentity function a : G \to G such that g H = H a(g).2010-08-29
  • 5
    Consider the partition given by the gH. Then gH is THE member of the partition containing g. (Similarly for the other partition.)2010-08-29
  • 0
    Thanks; that's what I was missing.2010-08-29