ИНВАРИАНТНАЯ ПОДГРУППА

- то же, что "нормальный делитель", т. е. подгруппа Нгруппы G, переходящая в себя при любом внутреннем автоморфизме группы G.