П. С. Новиков доказал неразрешимость основных алгоритмических проблем в классе конечно определенных групп.Поэтому алгоритмические проблемы изучаюся в конкретных группах.

Группы Кокстера введены Х. С. М. Кокстером: всякая группа отражений является группой Кокстера, если в качестве образующих взять отражения относительно гиперплоскостей, ограничивающих ее фундаментальный многогранник. Х. Кокстер перечислил все группы отражений в трехмерном евклидовом пространстве и доказал, что все они являются группами Кокстера, а всякая конечная группа Кокстера изоморфна некоторой группе отражений в трехмерном евклидовом пространстве, элементы которой имеют общую неподвижную точку.

Ж. Титс в своих работах изучал группы Кокстера в алгебраическом аспекте, им решена проблема равенства слов в данных группах.

Известно, что в группах Кокстера разрешима проблема сопряженности слов и неразрешима проблема вхождения.

К. Аппелем и П. Шуппом определен класс групп Кокстера экстрабольшого типа. Группы данного класса являются гиперболическими.

Группы Кокстера с древесной структурой введены В. Н. Безверхним. В графе, соответствующем группе Кокстера, всегда можно выделить максимальный подграф, соответствующий группе Кокстера с древесной структурой. В данном классе групп В. Н. Безверхним и О. В. Инченко решен ряд алгоритмических проблем.

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

В доказательстве основных результатов используется метод диаграмм, введенный ван Кампеном, переоткрытый Р. Линдоном и усовершенствованный В. Н. Безверхним.