О вложении групп в группы с однозначным извлечением корней

Пусть $\mathfrak{A}\mathfrak{R}_c$ – многообразие, состоящее из групп, которые являются расширениями абелевых с помощью нильпотентных класса не меньше $c$. Показано, что любая локально полициклическая группа $G\in\mathfrak{A}\mathfrak{R}_c$, в которой уравнения вида $x^n=a$ имеют не более одного решения, может быть вложена в локально полициклическую группу $G^*\in\mathfrak{A}\mathfrak{R}_c$, в которой каждое такое уравнение имеет ровно одно решение.
Библиогр. 4.