How large can the outer automorphism group be? You can make the outer automorphism group very large by taking G be to be a vector space (say over a finite field) so that if |G|=q^n, then Out(G)=GL_n(F_q) of size exponential in n.

Jaqueline Velez

Jaqueline Velez

Answered question

2022-09-22

How large can the outer automorphism group be?
You can make the outer automorphism group very large by taking G be to be a vector space (say over a finite field) so that if | G | = q n , then O u t ( G ) = G L n ( F q ) of size exponential in n.
So I have two questions related to this:
1) Is there a "family of groups" with a faster growing outer automorphism group?
2) What does the outer automorphism group of a "typical" group look like?
I am leaving both questions fairly vague since I am not sure exactly what kind of an answer I am looking for. The goal is to simply understand how much bigger the outer automorphism group is (compared to the group) in general.

Answer & Explanation

maceratorti

maceratorti

Beginner2022-09-23Added 10 answers

Step 1
This only answers your first question. The groups ( Z 2 ) k have the fastest growing (outer) automorphism groups possible.
We can derive a pretty good upper bound on the size of automorphism groups. In particular, first note that if G is a finite group with n elements, then it has a generating set S of size at most log 2 ( n ) - we can find such a generating set just by a greedy algorithm in which we start with the empty set, then repeatedly add elements not yet generated until we hit the whole group.
Then, since a group homomorphism is determined by its values on a generating set, there are at most n log 2 ( n ) endomorphisms of a group G. Note that if G = ( Z 2 ) k , then G has exactly n log 2 ( n ) = 2 k 2 endomorphisms and these are the only groups for which this bound is tight (since the bound on the size of the generating set is only tight if no element has order > 2).
The number of automorphisms of G = ( Z 2 ) k is
( 2 k 2 0 ) ( 2 k 2 1 ) ( 2 k 2 k 1 ) = 2 k 2 i = 1 k ( 1 2 i ) .
Since i = 1 ( 1 2 i ) converges to some positive quantity c, the asymptotic growth of the number of (outer) automorphisms of this family of groups grows as c n log 2 ( n ) , which is a constant factor beneath the theoretical upper bound.
Step 2
Addendum: Refining the argument slightly actually shows a tighter bound and shows that the groups ( Z 2 ) k simply have the largest automorphism groups of groups of the same size. In particular, let G be a group. Pick some minimal generating set g 1 , , g n and define G i = g 1 , , g i .
Let n i be the number of injective homomorphisms G i G for each i. Clearly n 0 = 1. Then, observe that n i + 1 n i ( | G | | G i | ) since injective homomorphisms G i G may be identified with a subset of pairs of injective homomorphisms f : G i 1 G and elements g G f ( G i 1 ). Using that the size of the groups |Gi| must be an ascending tower of divisors of |G|, one can derive better bounds on the number of automorphisms - these bounds will be tight for all vector spaces.
In fact, no other groups can make the suggested upper bound hold as an equality: A group for which this bound is tight has the property that its automorphism group acts transitively on the non-identity elements. This means every non-identity element has order p for some prime. However, p-groups have a non-trivial center and automorphisms preserve the center. By transitivity, this means that the group must be abelian - which leaves only the finite vector spaces as candidates.

Do you have a similar question?

Recalculate according to your conditions!

New Questions in College Statistics

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?