In abstract algebra, an inner automorphism is an automorphism of a group, ring, or algebra given by the conjugation action of a fixed element, called the conjugating element. They can be realized via operations from within the group itself, hence the adjective "inner". These inner automorphisms form a subgroup of the automorphism group, and the quotient of the automorphism group by this subgroup is defined as the outer automorphism group.
Definition If G is a group and g is an element of G (alternatively, if G is a ring, and g is a unit), then the function
φ g : G → G φ g ( x ) := g − 1 x g {\displaystyle {\begin{aligned}\varphi _{g}\colon G&\to G\\\varphi _{g}(x)&:=g^{-1}xg\end{aligned}}}
is called (right) conjugation by g (see also conjugacy class). This function is an endomorphism of G: for all x 1 , x 2 ∈ G , {\displaystyle x_{1},x_{2}\in G,}
φ g ( x 1 x 2 ) = g − 1 x 1 x 2 g = g − 1 x 1 ( g g − 1 ) x 2 g = ( g − 1 x 1 g ) ( g − 1 x 2 g ) = φ g ( x 1 ) φ g ( x 2 ) , {\displaystyle \varphi _{g}(x_{1}x_{2})=g^{-1}x_{1}x_{2}g=g^{-1}x_{1}\left(gg^{-1}\right)x_{2}g=\left(g^{-1}x_{1}g\right)\left(g^{-1}x_{2}g\right)=\varphi _{g}(x_{1})\varphi _{g}(x_{2}),}
where the second equality is given by the insertion of the identity between x 1 {\displaystyle x_{1}} and x 2 {\displaystyle x_{2}} . Furthermore, it has a left and right inverse, namely φ g − 1 {\displaystyle \varphi _{g^{-1}}} . Thus, φ g {\displaystyle \varphi _{g}} is both a monomorphism and epimorphism, and so an isomorphism of G with itself, i.e. an automorphism. An inner automorphism is any automorphism that arises from conjugation.
When discussing right conjugation, the expression g − 1 x g {\displaystyle g^{-1}xg} is often denoted exponentially by x g {\displaystyle x^{g}} . This notation is used because composition of conjugations satisfies the identity: ( x g 1 ) g 2 = x g 1 g 2 {\displaystyle \left(x^{g_{1}}\right)^{g_{2}}=x^{g_{1}g_{2}}} for all g 1 , g 2 ∈ G {\displaystyle g_{1},g_{2}\in G} . This shows that right conjugation gives a right action of G on itself. A common example is as follows:
… excerpt ends here. Continue reading the full article.


