Extensible automorphisms problem

This article describes an open problem in the following area of/related to group theory: group theory

Statement

An extensible automorphism of a group $G$ is an automorphism $\sigma$ of $G$ such that whenever $G$ is a subgroup of a group $H$, there is an automorphism ${\sigma }^{\prime }$ of $H$ whose restriction to $G$ is $\sigma$.

The Extensible automorphisms problem over the variety of groups is as follows: given a group $G$, give a characterization of which automorphisms of $G$ are extensible. In other words, describe the group of extensible automorphisms of $G$.

Variants of this problem involve considering automorphisms that are extensible over smaller collections of groups than the whole variety of problem, requiring that the automorphism extend not just once but repeatedly, and replacing extensible automorphism by pushforwardable automorphism, quotient-pullbackable automorphism, extensible endomorphism, or some other closely related notion.

A basic fact here is that the extensible automorphisms do form a group, and another basic fact is that any inner automorphism of a group is extensible.

Particular forms of the problem

The main problem in conjecture form

• Extensible automorphisms conjecture: The conjecture states that the only extensible automorphisms of a group are its inner automorphisms. The best result known so far is that extensible automorphisms send subgroups to conjugate subgroups.
• Finite-extensible automorphisms conjecture: This conjecture states that the only automorphisms of a finite group that can be extended to automorphisms for any finite group containing it are the inner automorphisms. The best results known so far are: finite-extensible automorphisms preserve conjugacy classes of elements, and they also preserve conjugacy classes of subgroups.

Pushforwardable automorphisms and quotient-pullbackable automorphisms

• Pushforwardable automorphisms conjecture: A slight weakening of the extensible automorphisms conjecture, it states that any pushforwardable automorphism of a group must be inner. The best results known for this are the same as the best results known for the extensible automorphisms conjecture.
• Quotient-pullbackable automorphisms conjecture: This states that any quotient-pullbackable automorphism of a group must be inner. The best result known for this is the finite case, where it is true that any finite-quotient-pullbackable automorphism is class-preserving.

Variations where conditions are put on the nature of the subgroup embedding and/or the extension

• Normal-extensible automorphisms problem: This problem seeks to characterize all the normal-extensible automorphisms of a group. A normal-extensible automorphism of a group is an automorphism that can always be extended to a bigger group containing the group as a normal subgroup. Normal-extensible automorphisms of a group need not be inner. In fact, they need not even preserve normal subgroups.
• Characteristic-extensible automorphisms problem: This problem seeks to characterize all the characteristic-extensible automorphisms of a group. These need not be inner.
• Semidirectly extensible automorphisms problem: This problem seeks to characterize all the semidirectly extensible automorphismss of a group: all the automorphisms that can be extended to a bigger group where the subgroup has a normal complement, to an automorphism that also preserves the normal complement.

Extensible automorphisms problem on subvarieties of the variety of groups

Further information: Variety-extensible automorphisms problem, Quasivariety-extensible automorphisms problem

Let $\mathcal{V}$ be a variety of algebras and $A$ be an algebra in $\mathcal{V}$. An automorphism $\sigma$ of $A$ is termed $\mathcal{V}$-extensible, or variety-extensible for the variety $\mathcal{V}$, if for any algebra $B$ in $\mathcal{V}$ containing $A$ as a subalgebra, $\sigma$ extends to an automorphism ${\sigma }^{\prime }$ of $B$.

We can thus try to characterize the $\mathcal{V}$-extensible automorphisms for various subvarieties $\mathcal{V}$ of the variety of groups. Further, we do not need to restrict ourselves to varieties, and can instead look at the automorphisms extensible for particlar quasivarieties. Here are some particular problems:

• Nilpotent-extensible automorphisms problem: This problem asks for all the automorphisms of a nilpotent group that can be extended to automorphisms for any nilpotent group containing it. In other words, it is the problem of finding the quasivariety-extensible automorphisms for the quasivariety of nilpotent groups.
• Solvable-extensible automorphisms problem: This problem asks for all the automorphisms of a solvable group that can be extended to automorphisms for any solvable group containing it. In other words, it is the problem of finding the quasivariety-extensible automorphisms for the quasivariety of solvable groups.

Also related:

• p-extensible automorphisms problem: This problem asks for all the automorphisms of a group of prime power order that can be extended to automorphisms for all groups of prime power order containing it. In other words, it is the problem of finding the quasivariety-extensible automorphisms for the quasivariety of finite $p$-groups for fixed $p$.
• p-quotient-pullbackable automorphisms problem: This problem asks for all the automorphisms of a group of prime power order that can be pulled back to automorphisms for all surjective homomorphisms to it from groups of prime power order. The best result known currently is that any such automorphism must itself have prime power order for the same prime. In other words, any $p$-quotient-pullbackable automorphism must be a $p$-automorphism.
• Finite solvable-extensible automorphisms problem: This problem asks for all the automorphisms of a finite solvable group that can be extended to automorphisms for any finite solvable group containing it. This is the problem of finding quasivariety-extensible automorphisms for the quasivariety of finite solvable groups. The best result known so far is that any such automorphism must be a class-preserving automorphism. For full proof, refer: Finite solvable-extensible implies class-preserving
• Finite solvable-quotient-pullbackable automorphisms problem: This problem asks for all the automorphisms of a finite solvable group that can be extended to automorphisms for any finite solvable group containing it. This is the problem of finding quasivariety-extensible automorphisms for the quasivariety The best result known so far is that any such automorphism must be a class-preserving automorphism. For full proof, refer: Finite solvable-quotient-pulllbackable implies class-preserving

Extensible automorphisms problems involving order conditions on the group

• Hall-extensible automorphisms problem: This problem asks for the automorphisms of a finite group that can always be extended to automorphisms of a bigger group in which it is embedded as a Hall subgroup. It is known that any Hall-extensible automorphism is class-preserving.

Multiple iterations

• Iteratively extensible automorphisms problem: This problem asks for all the iteratively extensible automorphisms: automorphisms of a group that can be extended $\alpha$ times, for some ordinal $\alpha$. The extreme version of these are infinity-extensible automorphisms, that are $\alpha$-extensible for every ordinal $\alpha$. No better results are known for iteratively extensible automorphisms than the results already known for extensible automorphisms.
• Chain-extensible automorphisms problem: This problem asks for all the chain-extensible automorphisms.

Replacing automorphisms by other kinds of maps

• Extensible local isomorphisms conjecture: The conjecture that any extensible local isomorphism, i.e., any isomorphism between subgroups that can always be extended to an automorphism for any bigger group must in fact extend to an inner automorphism of the given group.