52

In this recent question, Iota asked if, given a finite group $G$ and two isomorphic normal subgroups $H$ and $K$, it would follow that $G/H$ and $G/K$ are isomorphic. This is not true (a simple example given by $G=\mathbb{Z}_2\oplus\mathbb{Z}_4$, with $H=\langle (1,0)\rangle$ and $K=\langle (0,2)\rangle$). A sufficient condition to guarantee isomorphic quotients is the existence of an automorphism $\varphi\in\mathrm{Aut}(G)$ such that $\varphi(H)=K$.

One can also have $G/H\cong G/K$, but $H$ and $K$ not isomorphic. For example, take again $G=\mathbb{Z}_2\oplus\mathbb{Z}_4$, and take $H=\mathbb{Z}_2\oplus\langle (0,2)\rangle$, isomorphic to the Klein $4$-group, and $K=\{0\}\oplus\mathbb{Z}_4$. Then $G/H\cong G/K\cong \mathbb{Z}_2$.

And of course, it is trivial to have $H\cong K$ and $G/H\cong G/K$.

Now, here's the question:

Question. Can we have a finite group $G$, normal subgroups $H$ and $K$ that are isomorphic as groups, $G/H$ isomorphic to $G/K$, but no $\varphi\in\mathrm{Aut}(G)$ such that $\varphi(H) = K$?

It is not hard to come up with examples with infinite $G$. For example, take $$G= \mathbb{Z}_2\oplus \left(\bigoplus_{i=1}^{\infty}\;\mathbb{Z}_4\right),$$ let $H=2G$, and let $K$ be the subgroup generated by $H$ and the generator of the cyclic factor $\mathbb{Z}_2$. Then both $H$ and $K$ are isomorphic to a direct sum of countably many copies of $\mathbb{Z}_2$, as are the quotients $G/H$ and $G/K$. But $H$ is a verbal subgroup, hence fully invariant, so any automorphism of $G$ maps $H$ to $H$, so there does not exist any $\varphi\in\mathrm{Aut}(G)$ such that $\varphi(H)=K$.

Does someone have an example with finite $G$? Note that I am not requiring that $\varphi$ be a lift of the given isomorphism of $G/H$ with $G/K$.

Arturo Magidin
  • 356,881
  • 50
  • 750
  • 1,081
  • 1
    I think there could be a canonical isomorphism between $H$ and $K$ in this case ; take the isomorphism between $H$ and $K$, name it $\varphi_1$, and in the same manner, name the isomorphism between $G/H$ and $G/K$ $\varphi_2$. Now take an arbitrary element of $G$, look in which class of $G/H$ it lies in and write $g = g_h h$, and map $h$ by $\varphi_1$, $g_h$ by $\varphi_2$. I think there's some way you can construct an automorphism in this manner. – Patrick Da Silva May 23 '11 at 18:30
  • 1
    @Patrick: That will not work in general. Take $G=\mathbb{Z}_2\oplus\mathbb{Z}_4$, take $H=K$ generated by $(0,2)$, let $\varphi_1$ be the identity, and let $\varphi_2$ be the map that swaps the two coordinates of $G/H\cong\mathbb{Z}_2\oplus\mathbb{Z}_2$. If we take $g=(0,1)$, written as $(0,1)+(0,0)$, then the image of $(0,1)+H$ is $(1,0)+K$, but we cannot map $(0,1)$ to either element of that coset (neither $(1,0)$ nor $(1,2)$), because both are of order $2$, whereas $(0,1)$ is of order $4$. Of course, here $\varphi$ exists, but the point is your construction does not. – Arturo Magidin May 23 '11 at 18:46
  • Good to know. I was actually trying to work it out and got stuck at the part where I had to prove my thing was a bijection so... good to know I won't be stuck any longer. ^^ – Patrick Da Silva May 23 '11 at 18:48
  • Here is a similar question with modules: http://math.stackexchange.com/questions/89732/non-isomorphic-exact-sequences-with-isomorphic-terms/ – Jack Schmidt Jan 26 '12 at 22:05
  • @ArturoMagidin Can the question in your post be thought about using HNN extensions? – user46372819 Nov 17 '18 at 02:07
  • @AlJebr: No; because although an HNN extension will provide an overgroup $\mathcal{G}$ and a $t\in \mathcal{G}$ such that $tHt^{-1}=K$, this $t$ will not generally normalize $G$ and therefore does not induce an automorhpism of $G$. – Arturo Magidin Nov 17 '18 at 02:11

1 Answers1

19

There are lots of examples, see here:

http://groupprops.subwiki.org/wiki/Series-equivalent_not_implies_automorphic

Vipul
  • 641
  • 5
  • 5
  • I was about to copy paste your email over here. Anyway welcome to the site. Hope you have a nice time. –  May 23 '11 at 18:46
  • 1
    Aha; in particular, the case of the abelian group $\mathbb{Z}_{p^3}\oplus\mathbb{Z}_{p^2}\oplus\mathbb{Z}_p\oplus\mathbb{Z}_p$ should have suggested itself. Clearly, I needed to think more about this. – Arturo Magidin May 23 '11 at 18:51
  • 3
    I don't think the examples are obvious; the abelian example wouldn't have struck me offhand. – Vipul May 23 '11 at 19:45