For which groups can an isomorphism between subgroups always be lifted to an automorphism?

123 Views Asked by At

Suppose we have a group $G$ with subgroups $H,H'$ and an isomorphism $\phi:H\to H'$. My question is when it is possible to extend $\phi$ to an automorphism on the whole group $G$? A slightly weaker version of this question would be to ask whether we can find any automorphism of $G$ which restricts to an isomorphism between $H$ and $H'$. Phrased differntly, for which groups is the answer to the above question yes for any choice of isomorphic subgroups?

A related question was asked in this post but no answer was provided there about which groups do have this lifting property.

Clearly this property holds for cyclic groups. In the example of the linked post they show that it does not hold for $S_4$, and a similar argument shows that it doesn't hold for $S_n, n\geq 4,n\neq 6$. Another example where this property fails is in the group $G := \mathbb{Z}/2 \times \mathbb{Z}/4$ as there is not automorphism which maps $\langle(1,0)\rangle$ to $\langle (0,2)\rangle$. I would really love a classification of the groups where this property holds, or at least a start towards that.

Edit: Thank you everyone for your helpful contributions. Since someone asked, here is a more precise characterization of what I'm looking for.

I'm most interested in groups $G$ which have the property that for any pair of isomorphic subgroups $H,H' \leq G$, there exists an automorphism $\rho$ of $G$ which restricts to an isomorphism $\rho\mid_H:H\to H'$.

1

There are 1 best solutions below

0
On BEST ANSWER

For groups of odd order with your property for groups of order $p$ only, so a larger class of groups, this paper from 1973 gives a structural result. They are pretty close to direct products of $p$-groups: they are a direct product $H$ of $p$-groups for various primes $p$, each of which has this property, and then a cyclic group of automorphisms of order prime to $|H|$ can act on this.

I don't think the subject has received much attention apart from this result, although in the comments I mentioned a paper on $p$-groups with this property. Using CFSG, which was unavailable in 1973, it should be possible to prove a version of this result for groups of even order.

Edit: so do $A_5=PSL_2(5)$ and $PSL_2(7)$. I haven't checked but it might be true for $PSL_2(p)$.