For a GG, the subgroup Inn(G)\operatorname{Inn}(G) of is normal in the Aut(G)\operatorname{Aut}(G). The outer automorphism group is the

Out(G):=Aut(G)/Inn(G),\operatorname{Out}(G) := \operatorname{Aut}(G)\big/\operatorname{Inn}(G),

which measures automorphisms not arising from conjugation.

Examples
  • If GG is abelian, then Inn(G)\operatorname{Inn}(G) is trivial, so Out(G)=Aut(G)\operatorname{Out}(G)=\operatorname{Aut}(G).
  • If Aut(G)=Inn(G)\operatorname{Aut}(G)=\operatorname{Inn}(G), then Out(G)\operatorname{Out}(G) is trivial.
Remarks

The group Out(G)\operatorname{Out}(G) is trivial exactly when every automorphism of GG is inner.