Group Automorphisms Review
• On the Group Automorphisms page we said that if $(G, *)$ is a group, then a group Automorphism is simply an isomorphism from $G$ onto $G$, that is, for all $x, y \in G$ we have that:
• On the Inner Automorphisms of a Group page we defined an automorphism of $G$ to be an inner automorphism of $G$ if it is of the form $i_a$ with $a \in G$, where $i_a : G \to G$ is defined for all $g \in G$ by:
• We proved that the set $\mathrm{Aut} (G)$ with the operation of function composition $\circ$ is itself a group.