Многообразия метабелевых про-$p$-групп

Доказано, что любое собственное подмногообразие многообразия всех метабелевых про-$p$-групп является либо подмногообразием конечной экспоненты, либо объединением многообразия конечной экспоненты, многообразия $A_{{p}^\alpha}A$ и конечного числа многообразий вида $N_c A_p\beta\wedge A^2$. Здесь $A$ и $A_{{p}^\alpha}$ – многообразия абелевых про-$p$-групп и абелевых про-$p$-групп периода $p^\alpha$ соответственно, $N_c$ – многообразие нильпотентных про-$p$-групп ступени нильпотентности не выше $c$.
Библиогр. 12.