Biautomatic structures in systolic Artin groups

Derek Holt and Sarah Rees


Artin groups, word problem, automatic groups, biautomatic groups, systolic complexes, systolic groups




We examine the construction of Huang and Osajda that was used in their proof of the biautomaticity of Artin groups of almost large type. We describe a slightly simpler variant of that biautomatic structure, with explicit descriptions of a few small examples, and we examine some of the properties of the structure. We explain how the construction can be programmed within the GAP system.

The preprint is available as a gzipped pdf file.

Alternatively, you can request a copy by e-mailing me.