4
$\begingroup$

I'm not very good with English terms of group theory but here is the question :

$$\forall H\trianglelefteq G \rightarrow \exists H' \trianglelefteq G : {G\over H} \approx H'$$

is above statement always true? or should there be some other constraints?

  • 4
    Consider the additive group of integers.2012-11-03
  • 0
    @KarolisJuodelė what about it? I mean for whatever $\Bbb{Z}_n$ you choose there is always $n\Bbb{Z}$ to satisfy above guess and vise versa, and I honestly can't think of any other subgroup of $\Bbb{Z}$.2012-11-03
  • 3
    $n\mathbb{Z}$ is not isomorphic to $\mathbb{Z}_n$.2012-11-03
  • 1
    @wj32 it's not supposed to, but $n\Bbb{Z}$ is isomorphic to ${\Bbb{Z}\over\Bbb{Z}_n}$2012-11-03
  • 3
    @Gajoo: $\mathbb{Z}_n$ is not even a subgroup of $\mathbb{Z}$!2012-11-03
  • 0
    @Gajoo: $2\Bbb Z$ is normal in $\Bbb Z$, but no subgroup of $\Bbb Z$ is isomorphic to $\Bbb Z/2\Bbb Z$: $\Bbb Z$ has no two-element subgroup.2012-11-03
  • 0
    @wj32 I've just noticed that, but what about the constraints to make that statement true? is M.K.'s suggestion the weakest constraints we can find?2012-11-03

2 Answers 2

4

This is not true in general. The smallest counterexample can be found in the quaternion group $Q_8$. There $Q_8/Z(Q_8)$ is isomorphic to the Klein $4$-group $\mathbb{Z}_2 \times \mathbb{Z}_2$, but every subgroup of order $4$ in $Q_8$ is cyclic.

However, if we assume that $G$ is finite and abelian, then the statement is true.

  • 1
    Um, the only nontrivial quotient of $S_3$ is of order two, but the order-two subgroups there are nonnormal.2012-11-03
  • 0
    @Lubin: Ah, you're right, I forgot we wanted a normal subgroup here..2012-11-03
  • 0
    I think this is still a strong example, because it shows that $G/H$ not only does not have to be isomorphic to a normal subgroup of $G$, but $G/H$ does not have to be isomorphic to a subgroup of $G$ at all (a common mistake).2012-11-03
1

Hint: The symmetric group $S_5$ has exactly three normal subgroups: $\{1\}$, $S_5$ and the alternating group $A_5$, which has index 2 in $S_5$.

  • 0
    All you really need here is that $A_5$ has index $2$ in $S_5$, since normal subgroups of order $2$ are always central and $S_5$ has trivial center.2012-11-03
  • 0
    What on earth is there to downvote about this?2012-11-05