Конечно определенные разрешимые группы и алгебры Ли с неразрешимой проблемой равенства

Построены конечно определенная группа и алгебра Ли (над полем нулевой характеристики) с неразрешимой проблемой равенства, удовлетворяющие, соответственно, тождеством $[[x_1,x_2],[x_3,x_4],[x_5,x_6] x_7]=1$ и $(x_1x_2)(x_3x_4)(x_5x_6)x_7=0$, т.е. принадлежащие многообразию $Z\mathfrak{R}_2\mathfrak{A}$. Ранее такие примеры были построены автором для групп в многообразии $\mathfrak{A}_2^2\mathfrak{A}\cap Z\mathfrak{R}_3\mathfrak{A}$, а для алгебр Ли – в многообразии $Z\mathfrak{R}_3\mathfrak{A}$.
Библиогр. 7 назв.