Automorphism group of simple non-abelian group need not be ambivalent

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a Simple non-abelian group (?) and A is the Automorphism group (?) of G. Then, A need not be an Ambivalent group (?).

Related facts

Facts used

  1. Projective special linear group is simple for any field of four or more elements.
  2. Ambivalence is quotient-closed

Proof

Further information: projective special linear group:PSL(2,8)

Consider the group G := PSL(2,8). Then, G is a simple non-abelian group. The outer automorphism group of G is the cyclic group of order three, with these outer automorphisms coming from the field automorphisms of the field of eight elements. The outer automorphism group is not ambivalent. By fact (2), if the automorphism group is ambivalent, so is its quotient the outer automorphism group. Hence, the automorphism group is not ambivalent.