Centerless implies NSCFN in automorphism group

From Groupprops
Revision as of 22:00, 2 September 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

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

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

Related facts