Let $G$ be a group and $H$ be a not normal subgroup of $G$. I need to prove that there are two left cosets of $H$: $g_1H,g_2H$ such that $g_1Hg_2H$ is not a left coset of $H$.

I tried to assume the contrary and get to that $H$ is normal, which will mean a contradiction. I tried just using definitions or to find an homomorphism which I can apply the first isomorphism theorem with maybe. However, it didn't work out for me.

Any help would be appreciated.

  • $\begingroup$ Try proving the contrapositive; that is, the product is a left coast for all pairs implies $H$ is normal. $\endgroup$
    – Shaun
    Apr 2 '19 at 16:04
  • $\begingroup$ My previous comment isn't very helpful, considering that you've tried a proof by contradiction. Sorry. $\endgroup$
    – Shaun
    Apr 2 '19 at 16:10

Suppose that the product of every left cosets is a left coset. This implies that for every $g$, $gHg^{-1}H=lH$, we deduce that $1=gg^{-1}\in lH$. This implies that $l\in H$ and $gHg^{-1}H=H$, we deduce that for every $h\in H$, $ghg^{-1}=ghg^{-1}1\in gHg^{-1}H=H$. This implies that $gHg^{-1}=H$ and $H$ is normal.

  • $\begingroup$ Could you explain why $\fbox{$1\in lH$}$ ? $\endgroup$ Apr 2 '19 at 16:21
  • 2
    $\begingroup$ @YadatiKiran it holds as $1\in H$. That is, we are assuming that $ghg^{-1}H\subset lH$ for all $h\in H$, so take $h=1$. $\endgroup$
    – user1729
    Apr 2 '19 at 16:28
  • 1
    $\begingroup$ $gg^{-1}=g1g^{-1}1\in gHg^{-1}H$. $\endgroup$ Apr 2 '19 at 16:30
  • $\begingroup$ Looks good, thanks! $\endgroup$
    – Gabi G
    Apr 2 '19 at 16:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.