Moreover, while it is not true that every normal subgroup of a normal subgroup is normal, it is true that every characteristic subgroup of a normal subgroup is normal.
Если группа автоморфизмов группы formula_1 совпадает с группой внутренних автоморфизмов formula_2 то любая нормальная подгруппа группы является характеристической.