Достижимая подгруппа

- подгруппа Н, к-рую можно включить в конечный нормальный ряд группы G, т. е. ряд [img: http://localhost:8080/file/020540-63.jpg] в к-ром каждая подгруппа Н i инвариантна в Н i+1. Свойство подгруппы быть Д. п. транзитивно. Пересечение Д. п. есть Д. п. Подгруппа, порожденная двумя Д. п., может не быть Д. п. Группа G, у к-рой каждая подгруппа является Д. п., удовлетворяет нормализаторному условию, т. е. всякая подгруппа отлична от своего нормализатора и, следовательно, локально нильпотентна.