Journal of Combinatorial Algebra
Full-Text PDF (637 KB) | Metadata | Table of Contents | JCA summary
Published online: 2017-07-25
Multifraction reduction II: Conjectures for Artin–Tits groupsPatrick Dehornoy (1) Université de Caen and and Institut Universitaire de France, France
Multifraction reduction is a new approach to the word problem for Artin–Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite system (“reduction”) that extends free group reduction. In this paper, we show that assuming that reduction satisfies a weak form of convergence called semi-convergence is sufficient for solving the word problem for the enveloping group, and we connect semi-convergence with other conditions involving reduction. We conjecture that these properties are valid for all Artin–Tits monoids, and provide partial results and numerical evidence supporting such conjectures.
Keywords: Artin–Tits monoid, Artin–Tits group, gcd-monoid, enveloping group, word problem, multifraction, reduction, semi-convergence, cross-confluence, tame reduction, van Kampen diagram, embeddability
Dehornoy Patrick: Multifraction reduction II: Conjectures for Artin–Tits groups. J. Comb. Algebra 1 (2017), 229-287. doi: 10.4171/JCA/1-3-1