14
$\begingroup$

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 automorphism 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.

$\endgroup$
  • 1
    $\begingroup$ $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) $\endgroup$ – Alain Valette Sep 10 '11 at 14:18
  • 5
    $\begingroup$ warm-up exercise: show that there is no group having $\mathbb Z$ as automorphism group. $\endgroup$ – user2035 Sep 10 '11 at 15:32
  • $\begingroup$ @a-fortiori: Couldn't think of anything for proving the warm up exercise. An hint would be helpful. $\endgroup$ – crskhr Sep 10 '11 at 18:51
  • 2
    $\begingroup$ Don't forget that sometimes that automorphism is trivial... $\endgroup$ – Andrew Dudzik Sep 14 '11 at 4:26
  • 1
    $\begingroup$ But if that's trivial then $G$ is a vector space over $\mathbb{Z}/2$. $\endgroup$ – Adrian Keet Oct 9 '11 at 11:16
16
$\begingroup$

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.

| cite | improve this answer | |
$\endgroup$
  • 1
    $\begingroup$ 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. $\endgroup$ – Pasha Zusmanovich Oct 21 '11 at 15:15
6
$\begingroup$

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).

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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