Let $G$ be a group and $H$, $K$ subgroups such that $H$ is normal in $G$ and $H$, $K$ are isomorphic. After some thought i intuitively concluded that $K$ is not necessarilly normal in $G$. Is that the case? Any rigorous argument? (e.g. counterexample)
Is isomorphism of two subgroups, one of them normal, enough to guarantee that the other is normal as well?
5
$\begingroup$
abstract-algebra
-
1My answer [to this question](http://math.stackexchange.com/q/63041/11619) contains counterexamples. As an exercise I invite you to find two subgroups of the dihedral group of 8 elements (= the symmetries of a square). Both are expected to be cyclic of order two. One central (hence normal) the other not. – 2011-09-11
2 Answers
6
Yes. Take any group $G'$ with a non-normal subgroup $K'$ and consider $G = G' \oplus K'.$ Then $H = 1 \oplus K'$ is normal in $G$ and isomorphic to the non-normal subgroup $K$ obtained from embedding $K'$ in the first coordinate.
-
0I like this direction, but i think it answers a different question. You are showing how to take a non-normal subgroup of a group and map it to an isomorphic subgroup of another group that is normal. In my question, i require that both subgroups, $H$, $K$ are subgroups of exactly the same group $G$. – 2011-09-11
-
0Look again. Both $K$ and $H$ are subgroups of the group $G.$ – 2011-09-11
-
0@Manos: jspector has answered precisely your question. $H$ is the normal subgroup of $G$, and the other subgroup of $G$ is the one referred to at the end as being embedded in the first coordinate as $K'\oplus 1$. – 2011-09-11
-
0@jspecter: I now see. Beautiful :-) Thanks a lot! – 2011-09-11
2
There are counterexamples with two elements in the group $\mathbb Z/2\mathbb Z\times S_3$.