When is the automorphism group of a finite p-group abelian

abelian-groupsabstract-algebraautomorphism-groupfinite-groupsgroup-theory

Suppose $G$ is a finite $p$-group with odd $p$. Is it true, that $Aut(G)$ is abelian iff $G$ is cyclic?

When $G$ is cyclic, $Aut(G)$ is indeed abelian.

However, I do not know how to prove the statement that if $Aut(G)$ is abelian, then $G$ is cyclic. Nor do I possess any counterexamples.

The answer to the similar question about nilpotent groups is negative:
When is the automorphism group of a finite $p$-group nilpotent?

Also, as any group with abelian automorphism group is metabelian, any $p$-group with abelian automorphism group is nilpotent of degree 2.

Any help will be appreciated.

Best Answer

$\newcommand{\Hom}[0]{\mathrm{Hom}}$$\newcommand{\Aut}[0]{\mathrm{Aut}}$$\newcommand{\Inn}[0]{\mathrm{Inn}}$As per your other question, the groups of this paper provide concrete examples of finite $p$-groups $G$ of nilpotence class $2$ such that $\Aut(G)$ is isomorphic to the additive group $\Hom(G/G', Z(G))$, and thus $\Aut(G)$ is abelian.

Note that if $G$ is a group such that $\Aut(G)$ is abelian, then so is $G/Z(G)$, as it is isomorphic to the subgroup $\Inn(G) \le \Aut(G)$ of the inner automorphisms of $G$. Thus $G$ is nilpotent, of nilpotence class at most $2$.

Related Question