Нормальная Подгруппа

То же, что нормальный делитель.