4
$\begingroup$

Let G be a group and H be a subgroup. Suppose N is a normal subgroup of G that is contained in H, and that $G/N\cong H/N$. Does this imply that $G\cong H$?

If G is finite then $G/N\cong H/N$ obviously implies that $G=H$, so only the inifinite case is to be considered. I have tried to find a counterexample (since this proposition doesn't look true), but haven't been able to.

  • 2
    Minor rant: the answer to the question in the title is "yes", but the answer to the question in the body is "no". – 2017-02-12

1 Answers 1

7

There are counterexamples.

Let $G$ be $H\times K$, where $H$ is the direct product of countably many copies of $\mathbb{Z}/4\mathbb{Z}$ and $K$ is the direct product of countably many copies of $\mathbb{Z}/2\mathbb{Z}$, and let $N=2H$. Then $G/N$ and $H/N$ are both isomorphic to $K$, but $G\not\cong H$.