Об обобщенных древесных структурах групп Артина

Основными алгоритмическими проблемами теории групп, сформулированными в начале прошлого века для конечно определенных групп, являются проблемы равенства, сопряженности слов и проблема изоморфизма групп. Исследование данных проблем привело к возникновению комбинаторной теории групп. Неразрешимость основных алгоритмических проблем в классе конечно определенных групп доказана П. С. Новиковым. Это привело к рассмотрению алгоритмических проблем в конкретных группах. К. Аппелем и П. Шуппом в 1983 г. определен класс групп Артина экстрабольшого типа, где ими решены проблемы равенства и сопряженности слов. Группы Артина с древесной структурой в 2003 г. введены В. Н. Безверхним. В графе, соответствующем группе Артина, всегда можно выделить максимальный подграф, соответствующий группе Артина с древесной структурой. В. Н. Безверхним и О. Ю. Платоновой решены основные алгоритмические проблемы в данном классе групп Артина. В статье рассматривается строение диаграмм над обобщенными древесными структурами групп Артина, представляющих собой древесные произведения групп Артина экстрабольшого типа и групп Артина с древесной структурой, объединенных по циклическим подгруппам, соответствующим образующим этих групп, и их применение к эффективному выписыванию образующих централизатора элемента и решению проблемы сопряженности слов в данном классе групп. В доказательстве основного результата данной статьи используется метод диаграмм, введенный ван Кампеном, переоткрытый Р. Линдоном и усовершенствованный В. Н. Безверхним.