4
$\begingroup$

Just out of curiosity,

If $H$ is a subgroup of finite index in $G$ and $a\in G$, is it always true that $aH$ and $Ha$ are of finite index in $G$?

I think I can prove it as follows: If $a_1H,\ldots,a_kH$ be all the distinct left cosets of $H$, then $(a_1a^{-1})aH,\ldots,(a_ka^{-1})aH$ are distinct left cosets of $H$, and thus $aH$ is of finite index. Similarly, $Ha$ is of finite index.

Is there something wrong in the above proof? I find this result, if correct, extremely natural, but I don't find it in my abstract algebra textbook.

  • 0
    For an arbitrary subset $H$ of $G$, the cosets of $H$ form a partition of $G$ if and only if $H$ is a coset of some subgroup of $G$.2011-11-03

1 Answers 1

6

If you are trying to show that $aHa^{-1}$ has the same index in $G$ as $H$, you can define a bijection from $G/H$ to $G/(aHa^{-1})$ by sending $gH$ to $(ga^{-1})aHa^{-1}$. This is a bijection because it has an inverse: right multiplication by $a$. Namely,

$(ga^-1)aHa^{-1}(a) = H$