Does there exist a non-trivial group that is both perfect and complete?

275 Views Asked by At

A group $G$ is called perfect iff $G’ = G$.

A group $G$ is called complete iff $Z(G) = \{e\}$ and $Aut(G) \cong G$.

Does there exist a non-trivial group $G$, that is both perfect and complete at the same time?

Motivation behind this question:

Both «perfect groups» and «complete groups» are translated to Russian as «совершенные группы» despite those properties being completely different and not implying one another. It would however be interesting to know (despite this interest being purely recreational) whether or not these two properties defined by the same word are completely disjoint, or are there such groups, for which such an ambiguous translation does not cause problems.

1

There are 1 best solutions below

2
On BEST ANSWER

A way to guarantee the group is perfect with trivial centre is to look at a finite nonabelian simple group. If the group has no outer-automorphisms then we have $\operatorname{Aut}G\cong\operatorname{Inn}G\cong G/Z(G)=G$. We can go through the classification and find such examples, e.g., the exceptional Chevalley group $E_8(p)$ where $p$ is prime, or the Mathieu groups $M_{11},M_{23},M_{24}$.