О проблеме сопряженности слов в некотором классе подгрупп групп Артина

Аннотация

Одной из основных проблем в комбинаторной теории групп является проблема равенства и сопряжённости слов. Известно, что в классе конечноопределенных групп данная
проблема алгоритмически неразрешима. Возникает задача изучения данных проблем в определенных классах групп, а также, наследуют ли подгруппы данного класса групп
алгоритмическую разрешимость проблемы сопряженности слов.
Д. Коллинзом и К. Миллером была определена группа с разрешимой проблемой сопряженности слов, содержащая подгруппу конечного индекса, в которой не разрешима
проблема сопряженности слов. А также построена группа с неразрешимой проблемой сопряженности слов, содержащая подгруппу конечного индекса с разрешимой проблемой
сопряженности слов.
Э. Артином были определены группы кос и им же было доказано, что в группах кос алгоритмически разрешима проблема равенства слов. А.А. Марков построил алгебраическую теорию групп кос и передоказал, используя построенную теорию, проблему равенства слов.
Ф. Гарсайд доказал разрешимость проблемы сопряженности слов в группах кос B𝑛+1.
Э. Брискорн и К. Сайто, используя идеи Ф. Гарсайда, доказали разрешимость проблемы равенства и сопряженности слов в группах Артина конечного типа. Известно, что данному
классу групп принадлежат группы кос.
Интерес представляет исследование разрешимости данной проблемы в подгруппах групп данного класса групп, в частности, в нормальном делителе, порожденном квадратами образующих группы называемой крашенной подгруппой данной группы.
В [1] доказано, что в крашенной подгруппе групп Артина конечного типа проблема сопряженности слов разрешима.
Известно, что в группах Артина с древесной структурой проблема сопряженности слов также разрешима. [2]. В данной статье доказывается, что крашенные подгруппы групп Артина с древесной структурой наследуют свойство положительной разрешимости проблемы сопряженности слов.