Template:Normal subgroup of aut-group

Normality in the automorphism group
The collection of all automorphisms satisfying this property forms a normal subgroup in the automorphism group of the whole group