Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

A group $G$ is called perfect if $G=G'$.

Does there exist a group $G$ such that $Aut(G)$, the automorphism group of $G$, is perfect?

share|cite|improve this question
What made you to think such these kinds of non trivial groups may exist? – Babak S. Apr 19 '13 at 8:17
Hint: Do you know what outer automorphisms are? If yes, look for a simple group with trivial outer automorphisms group. – j.p. Apr 19 '13 at 8:46
up vote 8 down vote accepted

Let $G=\mathbb{Z}_2^n$ with $n>2$. Then $Aut(G)=GL(n,2)=SL(n,2)$ is perfect.

share|cite|improve this answer

I know the next definition: a group $G$ is perfect if $G$ has a trivial center and each automorphism of $G$ is inner. This suggests that $Aut(G)$ is isomorphic to $G$ for each perfect group $G$. In particular, for the group $S(X)$ of all bijections of a set $X$, where $|X|\ge 3$ and $|X|\not=6$. Moreover, W. Specht obtained the following result. Let $G$ be a group $G$ without center and $In(G)\le Aut(G)$ be a group of all inner automorphisms of the group $G$. If $\alpha(In(G))=In(G)$ for each automorphism $\alpha$ of the group $Aut(G)$, then $Aut(G)$ is perfect.

share|cite|improve this answer
What you define here as a "perfect group" is called a complete group (wikipedia). A group is called perfect when it equals its commutator subgroup (mathworld). These are two different things. – Mikko Korhonen Apr 19 '13 at 10:03
@ Alex Ravsky; Please write full title of Specht paper. – maryam Apr 19 '13 at 10:08
W. Specht. Gruppentheorie, Berlin-Göttingen-Heidelberg, 1956. – Alex Ravsky Apr 19 '13 at 10:16

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.