On algorithmic problems in generalized tree structures of Coxeter groups

I. V. Dobrynina

Čebyševskij sbornik, Tome 19 (2018) no. 2, pp. 477-490.

Résumé

The main algorithmic problems in group theory are the problem of words, the problem of the conjugation of words for finitely presented groups, and the group's isomorphism problem. These problems were posed by M. Dehn.P. S. Novikov proved the unsolvability of the main algorithmic problems in the class of finitely presented groups. Therefore, algorithmic problems are studied in particular groups.Coxeter groups were introduced by H. S. M. Coxeter. A Coxeter group is a reflection group in which reflections with respect to hyperplanes limiting the fundamental polytope of the group are taken as generators. H. S. M. Coxeter listed all the reflection groups in three-dimensional Euclidean space and proved that they are all Coxeter groups and every finite Coxeter group is isomorphic to some reflection group in the three-dimensional Euclidean space which elements have a common fixed point.J. Tits studied Coxeter groups in the algebraic aspect. In his papers the problem of word in Coxeter groups is solved.It is known that in Coxeter groups the problem of the conjugacy of words are solvable and the problem of occurrence is unsolvable.K. Appel and P. Schupp defined a class of Coxeter groups of extra large type. Groups of this class are hyperbolic.V. N. Bezverkhnii introduced the notion of a Coxeter group with a tree structure. In a graph corresponding to a Coxeter group, one can always allocate the maximal subgraph corresponding to the Coxeter group with a tree structure. V. N. Bezverkhnii and O. V. inchenko solved a series of algorithmic problems in this class of groups.In the article the problems of the root and the power conjugacy of words in a generalized tree structures of Coxeter groups, which is a tree product of Coxeter groups of extra large type and of Coxeter groups with a tree structure. The proof of the main results uses the method of diagrams worked out by van Kampen, reopened by R. Lindon and refined by V. N. Bezverkhnii.

Détail

Keywords: Coxeter group, algorithmic problems, tree product of groups, diagram.

Bibliographie

[1] M. Dehn, “Uber unendliche diskontinuierliche Gruppen”, Math. Annal., 71 (1912), 116–144 | DOI | MR | Zbl

[2] Magnus W., Karras A., Solitar D., “Combinatorial group theory”, Nauka, M., 1974

[3] R. Lyndon, P. Schupp, Combinatorial group theory, Mir, M., 1980

[4] Novikov P. S., “On the algorithmic unsolvability of the word problem in group theory”, Trudy Mat. Inst. Steklov, 44, 1955, 3–143 | MR

[5] H. S. M. Coxeter, “Discrete groups generated by reflections”, Ann. Math., 35 (1934), 588–621 | DOI | MR

[6] J. Tits, “Groupes simples et geometries associees”, Proc. Int. Congress Math. (Stocholm, 1962), 197–221 | MR | Zbl

[7] P. Schupp, Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability, 2002, 21 pp., arXiv: math.GR/0203020 | MR

[8] K. Appel, P. Schupp, “Artins groups and infinite Coxter groups”, Ivent. Math., 72 (1983), 201–220 | DOI | MR | Zbl

[9] P. Bahls, The isomorphism problem in Coxeter groups, Imperial College Press, London, 2005 | MR | Zbl

[10] Lysenok I. G., “On some algorithmic properties of hyperbolic groups”, Math. USSR-Izv., 35:1 (1990), 145–163 | DOI | MR | Zbl | Zbl

[11] Bezverkhnii V. N., Bezverkhnyaya N. B., Dobrynina I. V., Inchenko O. V., Ustyan A. E., “On algorithmic problems in Coxeter groups”, Chebyshevskii Sb., 17:4 (2016,), 23–50 | DOI | MR | Zbl

[12] Inchenko O. V., “Problems of words and conjugacy of words in Coxeter groups with a tree structure”, Chebyshevskii Sb., 6:2 (2005), 81–90 | MR | Zbl

[13] Bezverkhnii V. N., Dobrynina I. V., “A solution of the power conjugacy problem for words in the Coxeter groups of extra large type”, Diskr. Mat., 20:3 (2008), 101–110 | DOI | Zbl

[14] Bezverkhnii V. N., Dobrynina I. V., “On elements of finite order in Coxeter groups of large type”, Izvestia of Tula state University. Ser. Math. Mechanics. Informatics, 9:1 (2003), 13–22 | MR

[15] Bezverkhnii V. N., Inchenko O. V., “On torsion in Coxeter groups with tree structure”, Chebyshevskii Sb., 6:1 (2005), 5–12 | MR | Zbl

[16] Bezverkhnii V. N., “Solution of the problem of inclusion in some class of groups with one relation”, Algorithmic problems of theory of groups and semigroups, TSPU, Tula, 1986, 3–22 | MR

[17] Bezverkhnii V. N., Dobrynina I. V., “Solution the problem of occurrence in a cyclic subgroup in the Coxeter groups of large type”, Izvestia of the Tula state University. Ser. Math. Mechanics. Informatics, 10:1 (2004), 23–37 | MR

[18] Bezverkhnii V. N., Dobrynina I. V., “Solution of the conjugacy problem for words in Coxeter groups of large type”, Chebyshevskii Sb., 4:1 (2003), 10–33 | MR | Zbl

[19] Bezverkhnii V. N., Inchenko O. V., “Power conjugacy problem for words in Coxeter groups with tree structure”, Izvestia of Tula state University. Ser. Math. Mechanics. Informatics, 11 (2005), 63–75

[20] Bezverkhnii V. N., Dobrynina I. V., “Solution of the generalized conjugacy problem for words in Coxeter groups of large type”, Diskr. Mat., 17:3 (2005), 123–145 | DOI | Zbl