Centerless implies NSCFN in automorphism group

From Groupprops

Statement

Suppose is a Centerless group (?). Then, consider the homomorphism , given by the action by conjugation. Then, the homomorphism is injective. Identifying with its image, , we obtain that is a subgroup of . This subgroup is a NSCFN-subgroup (?), i.e.:

  1. is a normal subgroup inside .
  2. is a self-centralizing subgroup inside , i.e., (in fact, is a centralizer-free subgroup).
  3. is a fully normalized subgroup of : Every automorphism of extends to an inner automorphism of .

Related facts