Пример группы, конечно-определенной в многообразии $\mathfrak{A}^{5}$, с неразрешимой проблемой равенства

Построен пример, указанный в заглавии. Кроме того, построена группа $G$, конечно-определенная в многообразии разрешимых групп ступени $4$, и конечно-порожденная подгруппа $H$ группы $G$ такая, что проблема вхождения в подгруппу $H$ неразрешима.