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

For the past one week, I have been trying to learn more about Automorphism groups of different groups. Very recently one of my friend asked this question to me:

  • What is the Autmorphism group of $(\mathbb{Q}^{\ast},\times)$. In short, what is $\text{Aut}(\mathbb{Q}^{\ast})$?

I emailed couple of friends and got the answer as:

  • $\text{Aut}(\mathbb{Q}^{\ast})$ is isomorphic to the automorphism group of a free abelian group of countable rank. In particular, it will contain $\text{GL}(n,\mathbb{Z})$ for all $n$.

My question would be :

  • Can we realize $\text{SL}_{n}(\mathbb{Z})$ to be the automorphism group of some group?

  • Are there groups which are which are "very difficult" to be realized as the Automorphism group of a certain group.

So suppose someone comes and asks me: Is $S_{3}$ or $\text{GL}_{2}(\mathbb{Z})$ the Automorphism group of some group, then how can i answer the question. I am particularly interested in seeing how to think for a solution.

share|cite|improve this question
$GL_2(\mathbb{Z})$ is the automorphism group of $\mathbb{Z}^2$. And $S_3$ is the automorphism group of $C_2\times C_2$ (where $C_2$ is the 2-element group) – Alain Valette Sep 10 '11 at 14:18
warm-up exercise: show that there is no group having $\mathbb Z$ as automorphism group. – user2035 Sep 10 '11 at 15:32
@a-fortiori: Couldn't think of anything for proving the warm up exercise. An hint would be helpful. – S.C. Sep 10 '11 at 18:51
Don't forget that sometimes that automorphism is trivial... – Andrew Dudzik Sep 14 '11 at 4:26
But if that's trivial then $G$ is a vector space over $\mathbb{Z}/2$. – Adrian Keet Oct 9 '11 at 11:16

This doesn't quite answer your question, but Bumagin and Wise proved every countable group is the outer automorphism group of a finitely generated group.

share|cite|improve this answer
And G\"obel and Paras proved in [Automorphisms of metabelian groups with trivial center, Illinois J. Math. 42 (1998), N2, 333-346] that every group is an outer automorphism group of a metabelian group. I believe there are quite a few results of such sort. – Pasha Zusmanovich Oct 21 '11 at 15:15

Another not quite answer: In the beautiful paper

Automorphism groups of polycyclic by finite groups and arithmetic groups, by Oliver Baues and Fritz Grunewald, Publ. Math. IHES 104 (2006), no. 1 (arXiv version, MathReviews, journal version)

the authors show that in any cases the automorphism groups of polycyclic-by-finite groups are "arithmetic" (basically subgroups of $SL(n, \mathbb{Z})$ (results of this sort have actually been know for quite a while for narrower classes of groups -- check the references of the paper).

share|cite|improve this answer
@Igor: You missed a $ sign to end $SL(n,\mathbb{Z}) – S.C. Sep 11 '11 at 11:20
Thanks for fixing the typo! – Igor Rivin Sep 11 '11 at 13:48

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.