К проблеме распознавания групповых свойств

Доказывается неразрешимость проблемы распознавания групповых марковских свойств для класса к. о. групп в $p+3$-буквенном алфавите ($p$ — число образующих к. о. группы, обладающей рассматриваемым свойством).
Для марковских свойств таких, что обладающая ими группа содержит бесконечную циклическую подгруппу, доказывается неразрешимость проблемы распознавания этих свойств для класса к. о. групп в минимальном $(p+1)$-буквенном алфавите. Библ. 9 назв.