О нильпотентных решеточно упорядоченных группах

Доказано, что во всякой конечноопределенной нильпотентной решеточно упорядоченной группе алгоритмически разрешима проблема равенства слов, а также установлено, что многообразие нильпотентных решеточно упорядоченных групп ступени нильпотентности $k$ ($k\ge2$) не имеет конечного базисного ранга.
Библ. 4.