[Math] Groups with given automorphism groups

automorphism-groupgroup-theory

It is an easy exercise to show that all finite groups with at least three elements have at least one non-trivial automorphism; in other words, there are – up to isomorphism – only finitely many finite groups $G$ such that $Aut(G)=1$ (to be exact, just two: $1$ and $C_2$).

Is an analogous statement true for all finite groups? I.e., given a finite group $A$, are there – again up to isomorphism – only finitely many groups $G$ with $Aut(G)\cong A$?

If yes, is there an upper bound on the number of such groups $G$ depending on a property of $A$ (e.g. its order)?

And if not, which groups arise as counterexamples?

And finally, what does the situation look like for infinite groups $G$ with a given finite automorphism group? And what if infinite automorphism groups $A$ are considered?

Best Answer

Ledermann and B.H.Neumann ("On the Order of the Automorphism Group of a Finite Group. I", Proc. Royal Soc. A, 1956) have shown the following:

Theorem. Let $n > 0$. There exists a bound $f(n)$ such that if $G$ is a finite group with $|G| \geq f(n)$, then $|\operatorname{Aut}(G)| \geq n$.

An immediate consequence is that up to isomorphism, there are only finitely many finite groups $G$ with $|\operatorname{Aut}(G)| \leq n$. Hence for any finite group $X$, up to isomorphism there are only finitely many finite groups $G$ with $\operatorname{Aut}(G) \cong X$.

Among infinite groups this is no longer true, and indeed there are infinitely many groups $G$ with $\operatorname{Aut}(G) \cong \mathbb{Z} / 2 \mathbb{Z}$.

Then there is of course the question of determining all finite groups $G$ with given automorphism group $\operatorname{Aut}(G) \cong X$. For this, see for example

Iyer, Hariharan K. On solving the equation Aut(X)=G. Rocky Mountain J. Math. 9 (1979), no. 4, 653–670.

This paper gives a solution to the problem in some cases, and determines for example all $G$ with $\operatorname{Aut}(G) \cong S_n$. There is also a different proof of the fact that there are only finitely many groups with a given automorphism group (Theorem 3.1 there).

Related Question