Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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$.

share|improve this question
    
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
    
@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: math.stackexchange.com/questions/89732/… –  Jack Schmidt Jan 26 '12 at 22:05
add comment

1 Answer

up vote 10 down vote accepted

There are lots of examples, see here:

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

share|improve this answer
    
I was about to copy paste your email over here. Anyway welcome to the site. Hope you have a nice time. –  user9413 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
2  
I don't think the examples are obvious; the abelian example wouldn't have struck me offhand. –  Vipul May 23 '11 at 19:45
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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