Об универсальной теории нильпотентных групп

Строится пример 6-порожденной, 4-ступенно нильпотентной метабелевой группы $A$ с неразрешимой универсальной теорией. Указывается метод сопоставления произвольной замкнутой формуле $\Phi$ кольцевой сигнатуры замкнутой формулы $\Phi'$ групповой сигнатуры, истинной на группе $A$ тогда и только тогда, когда $\Phi$ принадлежит теории кольца целых чисел $\mathrm{Z}$. Библ. 6 назв.