Алгоритм тождества слов для одного класса разрешимых групп В.Г. Соколов — 1971 Sibirskij matematiceskij zurnal