Every finite cyclic group occurs as the outer automorphism group of a finite simple non-abelian group
From Groupprops
Statement
Let be any natural number. Then, there exists a Simple non-abelian group (?)
such that the cyclic group of order
occurs as the Outer automorphism group (?) of
.
Related facts
Facts used
- Projective special linear group is simple for any field of four or more elements.
Proof
The cases
and 
For the case , there are plenty of examples, such as Mathieu group:M11.
For the case , there are again plenty of examples, such as the alternating group of degree five, whose automorphism group is the symmetric group of degree five and whose outer automorphism group is cyclic of order two.
The case 
Suppose now that . Consider the group
. This is clearly non-abelian; it is simple by fact (1). The outer automorphism group of
is the group of field automorphisms of the field with
elements, which is cyclic of order
. This completes the proof.