Тула
Tula
Пусть G – конечно порожденная группа Кокстера с копредставлением G =< a1, . . . , an; (aiaj ) mij = 1, i, j = 1, n >, где mij – элементы симметрической матрицы Кокстера: ∀i, j ∈ 1, n, mii = 1, mij ≥ 2, i 6= j.
Если mij ≥ 3(mij > 3), i 6= j, то G называется группой Кокстера большого (экстрабольшого) типа. Эти группы определены K. Аппелем и П. Шуппом.
Если группе G соответствует конечный дерево-граф Γ такой, что вершинам графа Γ соответствуют образующие ai , i = 1, n, а всякому ребру e, соединяющему вершины с образующими ai и aj , соответствует соотношение (aiaj ) mij = 1, то мы имеем группу Кокстера с древесной структурой.
Группы Кокстера с древесной структурой введены В. Н. Безверхним, алгоритмические проблемы в них рассматривались В. Н. Безверхним и О. В. Инченко.
Группу G можно представить как древесное произведение двупорожденных групп Кокстера, объединенных по циклическим подгруппам. При этом от графа Γ группы G перейдем к графу Γ следующим образом: вершинам графа Γ поставим в соответствие группы Кокстера на двух образующих Gij =< ai , aj ; a 2 i = a 2 j = 1,(aiaj ) mij = 1 > и Gjk =< aj , ak; a 2 j = a 2 k = 1,(ajak) mjk = 1 >, а всякому ребру e, соединяющему верши- ны, соответствующие Gij и Gjk – циклическую подгруппу < aj ; a 2 j = 1 >.
В настоящей работе доказывается, что нормализатор всякой конечно порожденной подгруппы H группы Кокстера с древесной структурой G = Gij ∗ Gjk, где Gij =< ai , aj ; a 2 i = a 2 j = 1,(aiaj ) mij = 1 > и Gjk =< aj , ak; a 2 j = a 2 k = 1,(ajak) mjk = 1 >, конечно порожден и существует алгоритм, выписывающий его образующие.
Let G be a finitely generated Coxeter group with presentation G =< a1, . . . , an; (aiaj ) mij = 1, i, j = 1, n >, where mij — are the elements of the symmetric Coxeter matrix: ∀i, j ∈ 1, n, mii = 1, mij ≥ 2, i 6= j.
If mij ≥ 3(mij > 3), i 6= j, then G is a Coxeter group of large (extra-large) type. These groups introduced by K. Appel and P. Schupp.
If the group G corresponds to a finite tree-graph Γ such that if the vertices of some edge e of the graph Γ correspond to generators ai , aj , then the edge e corresponds to the ratio of the species (aiaj ) mij = 1, then G is a Coxeter group with a tree-structure.
Coxeter groups with a tree-structure introduced by V. N. Bezverkhnii, algorithmic problems in them was considered by V. N. Bezverkhnii and O. V. Inchenko.
The group G can be represented as tree product 2-generated of Coxeter groups, amalgamated by cyclic subgroups. Thus from the graph Γ of G will move to the graph Γ in the following way: the vertices of the graph Γ we will put in line Coxeter group on two generators Gij =< ai , aj ; a 2 i = a 2 j = 1,(aiaj ) mij = 1 > and Gjk =< aj , ak; a 2 j = a 2 k = 1,(ajak) mjk = 1 >, to every edge e joining the vertices corresponding to Gij and Gjk is a cyclic subgroup < aj ; a 2 j = 1 >.
In this paper we prove the following theorem: normalizer of finitely generated subgroup of Coxeter group with tree-structure G = Gij∗Gjk, Gij =< ai , aj ; a 2 i = a 2 j = 1,(aiaj ) mij = 1 >, Gjk =< aj , ak; a 2 j = a 2 k = 1,(ajak) mjk = 1 > finitely generated and exist algorithm for generating.
The authors declare that there are no conflicts of interest present.