О сложности решетки квазимногообразий нильпотентных групп

Аннотация

Пусть $p$ --- простое число. Обозначим $\mathfrak{R}_{\delta, \lambda}$ --- неабелево многообразие
нильпотентных ступени не выше двух групп экспоненты $p^\delta$ с коммутантом экспоненты $p^\lambda;$
$F_2$ --- свободная группа ранга 2 в $\mathfrak{R}_{\delta, \lambda};$ $qH$ --- квазимногообразие
групп, порожденное группой $H.$ Доказано, что интервал $[qF_2, qG]$ континуален, если выполнены
следующие условия: $G\in\mathfrak{R}_{\delta, \lambda},$ $G$ --- конечная группа,
заданная в $\mathfrak{R}_{\delta, \lambda}$ коммутаторными определяющими соотношениями,
$qF_2\varsubsetneq qG.$