RUS  ENG
Полная версия
ЖУРНАЛЫ // Чебышевский сборник // Архив

Чебышевский сб., 2018, том 19, выпуск 3, страницы 135–147 (Mi cheb684)

О проблеме обобщенной сопряженности слов в обобщенных древесных структурах групп Кокстера

В. Н. Безверхнийa, И. В. Добрынинаb

a Академия гражданской защиты МЧС России
b Тульский государственный педагогический университет им. Л. Н. Толстого

Аннотация: Основными алгоритмическими проблемами теории групп являются проблемы равенства, сопряженности слов и проблема изоморфизма групп.
В силу неразрешимости данных проблем в классе конечно определенных групп, основные алгоритмические проблемы и их различные обобщения исследуются в конкретных группах.
Группы Кокстера изучаются с 1934 года, а в алгебраическом аспекте – с 1962 года. В них алгоритмически разрешимы проблемы равенства и сопряженности слов, однако неразрешима проблема вхождения.
В 1983 году К. Аппель и П. Шупп определили класс групп Кокстера экстрабольшого типа. В 2003 году В. Н. Безверхний ввел в рассмотрение группы Кокстера с древесной структурой.
В статье рассматриваются обобщенные древесные структуры групп Кокстера, представляющие собой древесные произведения групп Кокстера экстрабольшого типа и групп Кокстера с древесной структурой.
Обобщенные древесные структуры групп Кокстера, также как группы Кокстера экстрабольшого типа и группы Кокстера с древесной структурой, относятся к гиперболическим группам, поэтому в них решено большинство алгоритмических проблем, в частности, алгоритмически разрешима проблема обобщенной сопряженности слов.
Авторами статьи предлагается оригинальный метод доказательства алгоритмической разрешимости проблемы обобщенной сопряженности слов в обобщенных древесных структурах групп Кокстера. Данный метод использует подход Г. С. Маканина, примененный им для доказательства конечной порожденности нормализатора элемента в группах кос. Кроме того, в данной работе показывается, что централизатор конечно порожденной подгруппы в обобщенной древесной структуре групп Кокстера конечно порожден и существует алгоритм, выписывающий его образующие.

Ключевые слова: алгоритмические проблемы, группа Кокстера, обобщенная сопряженность, древесное произведение групп, централизатор.

УДК: 512.54

Поступила в редакцию: 16.04.2018
Принята в печать: 15.10.2018

DOI: 10.22405/2226-8383-2018-19-3-135-147



Реферативные базы данных:


© МИАН, 2024