Automata for Coxeter groups

Abstract: In 1993 Brink and Howlett proved that finitely generated Coxeter groups are automatic. In particular, they constructed a finite state automaton recognising the language of reduced words in the Coxeter group. This automaton is constructed in terms of the remarkable set of "elementary roots" in the associated root system. In this talk we outline the construction of Brink and Howlett. We also describe the minimal automaton recognising the language of reduced words, and prove necessary and sufficient conditions for the Brink-Howlett automaton to coincide with this minimal automaton. This resolves a conjecture of Hohlweg, Nadeau, and Williams, and is joint work with Yeeka Yau.

group theory

Audience: researchers in the discipline

Symmetry in Newcastle