Неразрешимость проблемы сопряженности в теории групп

В работе строится группа с конечным числом образующих и заданная конечным числом определяющих соотношений, для которой не существует алгоритма для решения проблемы сопряженности слов этой группы.