Definition:Group of Outer Automorphisms

From ProofWiki
Jump to navigation Jump to search


Let $G$ be a group.

Let $\Aut G$ be the automorphism group of $G$.

Let $\Inn G$ be the inner automorphism group of $G$.

Let $\dfrac {\Aut G} {\Inn G}$ be the quotient group of $\Aut G$ by $\Inn G$.

Then $\dfrac {\Aut G} {\Inn G}$ is called the group of outer automorphisms of $G$.

This group $\dfrac {\Aut G} {\Inn G}$ is often denoted $\Out G$.


The name group of outer automorphisms is a misnomer, because:

$(1): \quad$ the elements of $\dfrac {\Aut G} {\Inn G}$ are not outer automorphisms of $G$


$(2): \quad$ the outer automorphisms of $G$ do not themselves form a group.