MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

let $G$ be a group such that $Aut(G)$ is abelian. is then $G$ abelian?

this is a sort of generalization of the well-known exercise, that $G$ is abelian when $Aut(G)$ is cyclic. but I have no idea. at least, the finitely generated abelian groups $G$ such that $Aut(G)$ is abelian can be classified.

share|cite|improve this question
up vote 40 down vote accepted

From MathReviews:

MR0367059 (51 #3301) Jonah, D.; Konvisser, M. Some non-abelian $p$-groups with abelian automorphism groups. Arch. Math. (Basel) 26 (1975), 131--133.

This paper exhibits, for each prime $p$, $p+1$ nonisomorphic groups of order $p^8$ with elementary abelian automorphism group of order $p^{16}$. All of these groups have elementary abelian and isomorphic commutator subgroups and commutator quotient groups, and they are nilpotent of class two. All their automorphisms are central. With the methods of the reviewer and Liebeck one could also construct other such groups, but the orders would be much larger.

FYI, I found this via a google search.

The first to construct such a group (of order $64 = 2^6$) was G.A. Miller* in 1913. If you know something about this early American group theorist (he studied groups of order 2, then groups of order 3, then...and he was good at it, and wrote hundreds of papers!), this is not so surprising. I found a nice treatment of "Miller groups" in Section 8 of

(*): The wikipedia page seems a little harsh. As the present example shows, he was a very clever guy.

share|cite|improve this answer
thanks :) . – Martin Brandenburg Dec 28 '09 at 11:23

The answer is No. (Pete beat me to it.)

The earliest example seems to be in a 1913 paper of GA Miller's A non-abelian group whose group of isomorphisms is abelian, Messenger of Math. 48 (1913) 124--125.

share|cite|improve this answer
Well, I'm voting for you, anyway. For such questions I admit to following the advice of SO immortal Jon Skeet: submit a brief version first and then edit to add the desired frills. – Pete L. Clark Dec 28 '09 at 11:29
That's very gracious of you -- thanks! – José Figueroa-O'Farrill Dec 28 '09 at 14:38

Two additional remarks:

  1. Any group whose automorphism group is abelian must have nilpotency class at most two, because the inner automorphism group, being a subgroup of the automorphism group, is abelian.
  2. For finite groups, being abelian and the automorphism group being abelian as well implies cyclic. In the infinite case, there are locally cyclic groups that are not cyclic, and these have abelian automorphism groups. For instance, the additive group of rational numbers has an abelian automorphism group (the multiplicative group of rational numbers).

Two other references (in addition to Miller and Jonah-Konvisser mentioned above) for examples of 2-groups with abelian automorphism groups:

  1. Some nonabelian 2-groups with abelian automorphism groups by Rebecca Roth Struik, Archiv der Mathematik, ISSN 1420-8938 (Online), ISSN 0003-889X (Print), Volume 39,Number 4, Page 299 - 302(Year 1982); MathReviews Number: 0684397

  2. Some new non-abelian 2-groups with abelian automorphism groups by Ali-Reza Jamali, Journal of Group Theory, ISSN 14435883 (print), ISSN 14434446 (online), Volume 5,Number 1, Page 53 - 57(Year 2002); MathReviews Number: 1879516

I have more notes on groups whose automorphism group is abelian here and here.

share|cite|improve this answer

There have been some activities on this topic recently. No example of a non-special finite $p$-group having abelian automorphism group was know until quite recently. A class of such groups is constructed in "V. K. Jain, M. K. Yadav, On finite p-groups whose automorphisms are all central, Israel J. Math. 189 (2012), 225 - 236." This paper also contains a quick survey of results on the topic and a big bibliography. Some more, different kind of examples are available at

share|cite|improve this answer

A relate one: If $Aut(G)$ is cyclic then $G$ is cyclic.

share|cite|improve this answer
... which is not true. – Martin Brandenburg May 26 '12 at 6:47
@BuschiSergio This link does not work. – Dietrich Burde Jan 25 at 12:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.