Interpretation of the extensible automorphisms problem using universal algebra and model theory
This is a survey article related to:Extensible automorphisms problem
View other survey articles about Extensible automorphisms problem
Contents
The extensible automorphisms problem for groups and for varieties of algebras
The extensible automorphisms problem and variants for groups
An automorphism of a group
is termed an extensible automorphism if whenever
is a group containing
, there is an automorphism
of
such that the restriction of
to
equals
.
An automorphism of a group
is termed a pushforwardable automorphism if whenever
is a homomorphism, there is an automorphism
of
such that
. In other words,
can be pushed forward across any homomorphism of groups. Note that pushforwardable automorphisms are extensible, since we can use subgroup inclusions as homomorphisms.
An automorphism of a group
is termed a quotient-pullbackable automorphism if whenever
is a surjective homomorphism, there is an automorphism
of
such that
. In other words,
can be pulled back across any homomorphism of groups.
Inner automorphisms are extensible (inner implies extensible), pushforwardable, and quotient-pullbackable. It turns out that the converses of all of these are true: extensible equals inner (from which it also follows that pushforwardable implies inner) and quotient-pullbackable implies inner. However, the proof requires non-obvious group constructions.
This page does not discuss the proof of the statement, but rather discusses its significance, why we might expect it to be true, and what its truth says about the theory of groups.
Iterative variants of these notions
Further information: Iteratively extensible automorphism, infinity-extensible automorphism
We can define the notion of -extensible for any ordinal
. All automorphisms are
-extensible, and an automorphism
of a group
is
-extensible if, for any group
containing
as a subgroup, there exists an automorphism
of
that is
-extensible, and such that the restriction of
to
is
. For
a limit ordinal, an automorphism is
-extensible if it is
-extensible for all ordinals
.
An automorphism of a group is termed infinity-extensible if it is -extensible for every ordinal
. We can, analogously, define
-pushforwardable,
-pushforwardable,
-quotient-pullbackable, and
-quotient-pullbackable. Further, we can generalize these notions to arbitrary varieties of algebras.
I-automorphisms and inner automorphisms
The notion of I-automorphism
Further information: I-automorphism
Suppose is a variety of algebras, and
is an algebra in
. An I-automorphism of
is an automorphism that can be expressed as:
where are fixed, and
is a word in terms of the operations of the algebra,with the property that for any algebra
of
, and any choice of values
, the map:
gives an automorphism of .
In other words is guaranteed to give an automorphism.
Inner automorphisms are I-automorphisms
The inner automorphism given by conjugation by is given by the formula:
.
Thus, inner automorphisms are I-automorphisms.
There are no other I-automorphisms for groups
Further information: Inner automorphisms are I-automorphisms in the variety of groups
However, if we are looking at subvarieties of the variety of groups, then there may exist other I-automorphisms that work for all groups in that subvariety. For instance, the map sending every element to its inverse is an I-automorphism in the variety of abelian groups.
I-automorphisms are extensible, pushforwardable, and quotient-pullbackable
In fact, I-automorphism can be extended not just once, but infinitely many times. Thus, I-automorphisms are -extensible. Similarly, they are
-pushforwardable and
-quotient-pullbackable.
Variety-extensible automorphisms need not be I-automorphisms
The statement that extensible equals inner can now be understood as the statement that in the variety of groups, every variety-extensible automorphism is an I-automorphism. Similar interpretations hold for pushforwardable and quotient-pullbackable automorphisms.
In this section, we discuss some other varieties where this conjecture holds, and some others where it does not hold.
The variety of sets
The most extreme example of a variety of algebras is the variety of sets. Here, there are no operations and no identities. Consequently, the only functions that can be written down as words are the identity map and constant maps. From this, we easily see that the identity map is the only I-automorphism in the variety of sets.
On the other hand, every automorphism is extensible in the variety of sets. This is because every permutation of a set can be extended to a permutation of a bigger set containing it, by, for instance, setting the extended permutation to fix every element in the complement. Thus, for sets of size two or more, there are extensible automorphisms that are not I-automorphisms.
Let us now consider the pushforwardable automorphisms on the variety of sets. It turns out that for any set of size more than two, the only pushforwardable automorphism is the identity map. To see this, consider a non-identity pushforwardable automorphism on a set of size at least three. There exist elements
such that
. Consider a map
sending
to zero and everything else to one. The automorphism
cannot be pushed forward along this map. The reason this argument works is that the variety of sets is not congruence-uniform, i.e., given a surjective homomorphism of sets, it is not necessary that the fibers all have equal size.
A similar argument shows that for any set, the only quotient-pullbackable automorphism is the identity map.
Thus, we see that for sets, every automorphism is extensible but the only pushforwardable automorphism (except for a set of size two) is the identity map, and the only quotient-pullbackable automorphism is the identity map. Further, the only I-automorphism is the identity map.
The complete contrast between I-automorphisms and extensible automorphisms shows that the algebraic structure of sets puts very little restriction on the nature of their automorphisms -- this is to be expected since the algebraic structure of sets is empty. On the other hand, the collapse of pushforwardable and quotient-pullbackable automorphisms to the identity map has more to do with the fact that the algebraic structure of sets puts very little restriction on the nature of quotient maps.
The variety of modules
Further information: Injective module implies every automorphism is infinity-extensible, Injective module implies every endomorphism is infinity-extensible, Abelian-extensible automorphism not implies power map
For modules over a commutative unital ring , the operations
for any unit
are all I-automorphisms, and these are in fact the only ones. Clearly, these automorphisms are extensible, pushforwardable, and quotient-pullbackable.
However, there exist extensible automorphisms of -modules that are not I-automorphisms. For instance, let
be a nonzero injective
-module. Consider the module
. This is also injective, and the coordinate exchange automorphism
is not an I-automorphism. However, it is easy to see that any automorphism of an injective module is extensible. In fact, automorphisms of injective modules are infinity-extensible.
In particular, this results applies to the variety of abelian groups: for instance, we can take above.
Automorphisms and endomorphisms
For groups
So far, we have discussed extensibility of automorphisms of a structure. We now discuss a related notion of extensible endomorphism. An extensible endomorphism of a group is an endomorphism
of
such that for any group
containing
, there is an endomorphism
of
such that the restriction of
to
is
.
We can similarly define pushforwardable endomorphism and quotient-pullbackable endomorphism.
Variety interpretation for groups
We can also consider the notion of extensible endomorphism, pushforwardable endomorphism, or quotient-pullbackable endomorphism for an arbitrary variety of algebras. Further, there is a notion of I-endomorphism analogous to the notion of I-automorphism. Any I-endomorphism is extensible, pushforwardable, and quotient-pullbackable. The only I-endomorphisms for the variety of groups are the inner automorphisms and the trivial map (the map sending every element to the identity element).
Thus, extrapolating from the automorphisms situation, we can make the extensible endomorphisms conjecture: the only extensible endomorphisms of a group are the trivial map and inner automorphisms.
Variety interpretation for subvarieties of the variety of groups
For most subvarieties of the variety of groups that we commonly encounter, the I-automorphisms continue to be the inner automorphisms. However, new examples of I-endomorphisms do come up. Here are some examples:
- For the variety of abelian groups, the map
, i.e., the
power map or
multiple map, is an I-endomorphism. In fact, these are the only I-endomorphisms.
- For the variety of nilpotent groups of class
, for fixed
, the map:
is an I-endomorphism, where the are parameters and
is a fixed integer. In fact, the image of this endomorphism is inside the center of the group. If the class is strictly less than
, the map is always trivial. If the class equals
, there are choices of the parameters
for which the map is nontrivial. Thus, for the variety of nilpotent groups of class
, the I-endomorphisms include both the endomorphisms of the above form and the inner automorphisms.
Some associated conjectures and problems
Further information: Extensible automorphisms problem
The above observations suggest some initially plausible conjectures for the variety of abelian groups and the variety of nilpotent groups of class for fixed
. For instance, we might hope that the only extensible endomorphisms of abelian groups are the multiple maps. This is not true, and the counterexample is the same as that used earlier for automorphisms: in the abelian group
, the coordinate exchange automorphism is not a multiple map. However, since this abelian group is injective as a
-module, every automorphism of it is extensible.
However, the statement is true for finite abelian groups: the only endomorphisms of a finite abelian group that extend to endomorphisms for every finite abelian group containing it are the multiple maps.
The corresponding statement for finite nilpotent groups of class is open.