Об относительно свободных группах, близких к нильпотентным

Доказано, что свободная нильпотентная группа счетного ранга, а также свободная группа счетного ранга многообразия, определенного тождеством $[[x_1,x_2,\dots,x_n],[x_{n+1},x_{n+2}]]=1$, удовлетворяют условию максимальности для нормальных подгрупп, допускающих эндоморфизмы, индуцированные сохраняющими порядок взаимно однозначными отображениями множества свободных образующих в себя. Библ. 3 назв.