О проблеме сопряженности слов в некотором классе подгрупп групп Артина
В. Н. Безверхний,
Н. Б. Безверхняя Академия гражданской защиты МЧС России (г. Москва)
Аннотация:
Одной из основных проблем в комбинаторной теории групп является проблема равенства и сопряжённости слов. Известно, что в классе конечноопределенных групп данная проблема алгоритмически неразрешима. Возникает задача изучения данных проблем в определенных классах групп, а также, наследуют ли подгруппы данного класса групп алгоритмическую разрешимость проблемы сопряженности слов.
Д. Коллинзом и К. Миллером была определена группа с разрешимой проблемой сопряженности слов, содержащая подгруппу конечного индекса, в которой не разрешима проблема сопряженности слов. А также построена группа с неразрешимой проблемой сопряженности слов, содержащая подгруппу конечного индекса с разрешимой проблемой сопряженности слов.
Э. Артином были определены группы кос и им же было доказано, что в группах кос алгоритмически разрешима проблема равенства слов. А.А. Марков построил алгебраическую теорию групп кос и передоказал, используя построенную теорию, проблему равенства слов.
Ф. Гарсайд доказал разрешимость проблемы сопряженности слов в группах кос
${\mathfrak{B}}_{n+1}.$ Э. Брискорн и К. Сайто, используя идеи Ф. Гарсайда, доказали разрешимость проблемы равенства и сопряженности слов в группах Артина конечного типа. Известно, что данному классу групп принадлежат группы кос.
Интерес представляет исследование разрешимости данной проблемы в подгруппах групп данного класса групп, в частности, в нормальном делителе, порожденном квадратами образующих группы называемой крашенной подгруппой данной группы.
В [1] доказано, что в крашенной подгруппе групп Артина конечного типа проблема сопряженности слов разрешима.
Известно, что в группах Артина с древесной структурой проблема сопряженности слов также разрешима. [2]. В данной статье доказывается, что крашенные подгруппы групп Артина с древесной структурой наследуют свойство положительной разрешимости проблемы сопряженности слов.
Ключевые слова:
Группы Артина, крашенная подгруппа, проблема сопряженности слов.
УДК:
514.9
Поступила в редакцию: 24.06.2021
Принята в печать: 06.12.2021
DOI:
10.22405/2226-8383-2021-22-4-88-99