Quotient group maps to outer automorphism group of normal subgroup

From Groupprops

Statement

Suppose is a group and is a normal subgroup of . There is a natural choice of homomorphism of groups from the quotient group to the outer automorphism group :

defined as follows: for any element of , pick an element in that coset of . Conjugation by induces an automorphism of , i.e., an element of the automorphism group . Although the automorphism depends on the choice of in the coset of , the coset of in for that element is independent of .

More explicitly, there is a composite map:

Under this map, the image of the subgroup of lies inside . Thus, we get an induced map from the quotient group to the quotient group .