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

подгруппа H группы G, удовлетворяющая следующему условию: если К - подгруппа из G, сопряженная с H, то K сопряжена с H в подгруппе, порожденной H и K. Силова подгруппы в конечных группах, Холла подгруппы и Картера подгруппы в конечных разрешимых группах пронормальны. Понятие П. п. тесно связано с понятием абнормалъной подгруппы. Любая абнормальная подгруппа пронормальна, а нормализатор П. п. абнормален.