Skip to main content
commented on difficulty of problem; other minor edits
Source Link
Russ Woodroofe
  • 3.4k
  • 1
  • 24
  • 22

The papers in the accepted answer by SixWingedSeraph@SixWingedSeraph all refer to a somewhat more specific problem, that of extending an automorphism of a normal subgroup to a larger group. Although the questioner says something about a group extension (which would usually imply normality of $H$), he did not specify that $H$ should be normal.

Extending automorphisms of normal subgroups
The Wells paper "Automorphisms of group extensions" is the one where a lot of the theory is developedfirst paper I know about on this topic. In the situation where $N$ is a normal subgroup of $G$, such that $\alpha : G/N \rightarrow \operatorname{Out}(N)$ is the action of the quotient on $N$, heWells finds an exact sequence $$1 \rightarrow Z^1_\alpha(G/N, Z(N)) \rightarrow \operatorname{Aut}(G; N) \rightarrow \operatorname{Compat}(G/N; N) \rightarrow H^2_\alpha(G/N, Z(N)). $$ Here $\operatorname{Aut}(G; N)$ is the group of all automorphisms of $G$ fixing $N$, and $\operatorname{Compat}(G/N; N)$ is all pairs of automorphisms of the quotient $G/N$ and subgroup $N$ satisfying a certain compatibility condition. $Z^1$ and $H^2$ are the 1st cocycle space and the 2nd group cohomology, respectively. It should be noticed that the last map is not a group homomorphism.

I haven't managed to get my hands on the Robinson paper "Applications of cohomology to the theory of groups", but I understand it has some explanation and applications of Wells' result, as well as a new proof. The Jin paper "Automorphisms of groups" restates the result of Wells in somewhat different language, and applies it to the case where one wants to find an automorphism of $N$ which acts trivially on $G/N$.

I'll remark that one interesting case is where $N$ is the direct product of isomorphic finite simple groups (i.e.g., a nonabelian chief factor). Here $Z(N)$ is trivial, which makes the long exact sequence above collapse rather nicely. But in this case one can obtain (I think) equivalentsimilar results by using the fact that if $N$ is center free, then any homomorphism $\alpha : Q \rightarrow \operatorname{Out}(N)$ uniquely determines an extension of $Q$ by $N$. I say This is however only mildly more elementary, becauseas proving this fact also requires group cohomology techniques -- see chapter IV.6 of Ken Brown's book "Cohomology of groups".

Extending automorphisms of arbitrary subgroups
Skupp shows in "A characterization of inner automorphisms" that an automorphism $\varphi$ of a group $H$ extends to an automorphism in every group $G$ with $H$ embedded in $G$ if and only if $\varphi$ is inner (i.e., obtained via conjugation by some element). Pettet showed that the same holds if we restrict $G$ to be finite in "On inner automorphisms of finite groups" and "Characterizing inner automorphisms of groups".

So I guess the overall answer to the original question is "sometimes not". If you have a specific situation which is still of interest, you might try looking at the second Pettet paper to see if it helps you show the automorphism extends or does not extend. It looks like it would be a hard problem to find a general characterization.

The papers in the accepted answer by SixWingedSeraph all refer to a somewhat more specific problem, that of extending an automorphism of a normal subgroup to a larger group. Although the questioner says something about a group extension (which would usually imply normality of $H$), he did not specify that $H$ should be normal.

Extending automorphisms of normal subgroups
The Wells paper "Automorphisms of group extensions" is the one where a lot of the theory is developed. In the situation where $N$ is a normal subgroup of $G$, such that $\alpha : G/N \rightarrow \operatorname{Out}(N)$ is the action of the quotient on $N$, he finds an exact sequence $$1 \rightarrow Z^1_\alpha(G/N, Z(N)) \rightarrow \operatorname{Aut}(G; N) \rightarrow \operatorname{Compat}(G/N; N) \rightarrow H^2_\alpha(G/N, Z(N)). $$ Here $\operatorname{Aut}(G; N)$ is the group of all automorphisms of $G$ fixing $N$, and $\operatorname{Compat}(G/N; N)$ is all pairs of automorphisms of the quotient $G/N$ and subgroup $N$ satisfying a certain compatibility condition. It should be noticed that the last map is not a group homomorphism.

I haven't managed to get my hands on the Robinson paper "Applications of cohomology to the theory of groups", but I understand it has some explanation and applications of Wells' result, as well as a new proof. The Jin paper "Automorphisms of groups" restates the result of Wells in somewhat different language, and applies it to the case where one wants to find an automorphism of $N$ which acts trivially on $G/N$.

I'll remark that one interesting case is where $N$ is the direct product of isomorphic finite simple groups (i.e., a nonabelian chief factor). Here $Z(N)$ is trivial, which makes the long exact sequence above collapse rather nicely. But in this case one can obtain (I think) equivalent results by using the fact that if $N$ is center free, then any homomorphism $\alpha : Q \rightarrow \operatorname{Out}(N)$ uniquely determines an extension of $Q$ by $N$. I say only mildly more elementary, because proving this fact also requires group cohomology techniques -- see chapter IV.6 of Ken Brown's book "Cohomology of groups".

Extending automorphisms of arbitrary subgroups
Skupp shows in "A characterization of inner automorphisms" that an automorphism $\varphi$ of a group $H$ extends to an automorphism in every group $G$ with $H$ embedded in $G$ if and only if $\varphi$ is inner (i.e., obtained via conjugation by some element). Pettet showed that the same holds if we restrict $G$ to be finite in "On inner automorphisms of finite groups" and "Characterizing inner automorphisms of groups".

So I guess the overall answer to the original question is "sometimes not". If you have a specific situation which is still of interest, you might try looking at the second Pettet paper to see if it helps you show the automorphism extends or does not extend.

The papers in the accepted answer by @SixWingedSeraph all refer to a somewhat more specific problem, that of extending an automorphism of a normal subgroup to a larger group. Although the questioner says something about a group extension (which would usually imply normality of $H$), he did not specify that $H$ should be normal.

Extending automorphisms of normal subgroups
The Wells paper "Automorphisms of group extensions" is the first paper I know about on this topic. In the situation where $N$ is a normal subgroup of $G$, such that $\alpha : G/N \rightarrow \operatorname{Out}(N)$ is the action of the quotient on $N$, Wells finds an exact sequence $$1 \rightarrow Z^1_\alpha(G/N, Z(N)) \rightarrow \operatorname{Aut}(G; N) \rightarrow \operatorname{Compat}(G/N; N) \rightarrow H^2_\alpha(G/N, Z(N)). $$ Here $\operatorname{Aut}(G; N)$ is the group of all automorphisms of $G$ fixing $N$, and $\operatorname{Compat}(G/N; N)$ is all pairs of automorphisms of the quotient $G/N$ and subgroup $N$ satisfying a certain compatibility condition. $Z^1$ and $H^2$ are the 1st cocycle space and the 2nd group cohomology, respectively. It should be noticed that the last map is not a group homomorphism.

I haven't managed to get my hands on the Robinson paper "Applications of cohomology to the theory of groups", but I understand it has some explanation and applications of Wells' result, as well as a new proof. The Jin paper "Automorphisms of groups" restates the result of Wells in somewhat different language, and applies it to the case where one wants to find an automorphism of $N$ which acts trivially on $G/N$.

I'll remark that one interesting case is where $N$ is the direct product of isomorphic finite simple groups (e.g., a nonabelian chief factor). Here $Z(N)$ is trivial, which makes the long exact sequence above collapse rather nicely. But in this case one can obtain similar results by using the fact that if $N$ is center free, then any homomorphism $\alpha : Q \rightarrow \operatorname{Out}(N)$ uniquely determines an extension of $Q$ by $N$. This is however only mildly more elementary, as proving this fact also requires group cohomology techniques -- see chapter IV.6 of Ken Brown's book "Cohomology of groups".

Extending automorphisms of arbitrary subgroups
Skupp shows in "A characterization of inner automorphisms" that an automorphism $\varphi$ of a group $H$ extends to an automorphism in every group $G$ with $H$ embedded in $G$ if and only if $\varphi$ is inner (i.e., obtained via conjugation by some element). Pettet showed that the same holds if we restrict $G$ to be finite in "On inner automorphisms of finite groups" and "Characterizing inner automorphisms of groups".

So I guess the overall answer to the original question is "sometimes not". If you have a specific situation which is still of interest, you might try looking at the second Pettet paper to see if it helps you show the automorphism extends or does not extend. It looks like it would be a hard problem to find a general characterization.

Source Link
Russ Woodroofe
  • 3.4k
  • 1
  • 24
  • 22

The papers in the accepted answer by SixWingedSeraph all refer to a somewhat more specific problem, that of extending an automorphism of a normal subgroup to a larger group. Although the questioner says something about a group extension (which would usually imply normality of $H$), he did not specify that $H$ should be normal.

Extending automorphisms of normal subgroups
The Wells paper "Automorphisms of group extensions" is the one where a lot of the theory is developed. In the situation where $N$ is a normal subgroup of $G$, such that $\alpha : G/N \rightarrow \operatorname{Out}(N)$ is the action of the quotient on $N$, he finds an exact sequence $$1 \rightarrow Z^1_\alpha(G/N, Z(N)) \rightarrow \operatorname{Aut}(G; N) \rightarrow \operatorname{Compat}(G/N; N) \rightarrow H^2_\alpha(G/N, Z(N)). $$ Here $\operatorname{Aut}(G; N)$ is the group of all automorphisms of $G$ fixing $N$, and $\operatorname{Compat}(G/N; N)$ is all pairs of automorphisms of the quotient $G/N$ and subgroup $N$ satisfying a certain compatibility condition. It should be noticed that the last map is not a group homomorphism.

I haven't managed to get my hands on the Robinson paper "Applications of cohomology to the theory of groups", but I understand it has some explanation and applications of Wells' result, as well as a new proof. The Jin paper "Automorphisms of groups" restates the result of Wells in somewhat different language, and applies it to the case where one wants to find an automorphism of $N$ which acts trivially on $G/N$.

I'll remark that one interesting case is where $N$ is the direct product of isomorphic finite simple groups (i.e., a nonabelian chief factor). Here $Z(N)$ is trivial, which makes the long exact sequence above collapse rather nicely. But in this case one can obtain (I think) equivalent results by using the fact that if $N$ is center free, then any homomorphism $\alpha : Q \rightarrow \operatorname{Out}(N)$ uniquely determines an extension of $Q$ by $N$. I say only mildly more elementary, because proving this fact also requires group cohomology techniques -- see chapter IV.6 of Ken Brown's book "Cohomology of groups".

Extending automorphisms of arbitrary subgroups
Skupp shows in "A characterization of inner automorphisms" that an automorphism $\varphi$ of a group $H$ extends to an automorphism in every group $G$ with $H$ embedded in $G$ if and only if $\varphi$ is inner (i.e., obtained via conjugation by some element). Pettet showed that the same holds if we restrict $G$ to be finite in "On inner automorphisms of finite groups" and "Characterizing inner automorphisms of groups".

So I guess the overall answer to the original question is "sometimes not". If you have a specific situation which is still of interest, you might try looking at the second Pettet paper to see if it helps you show the automorphism extends or does not extend.