Biautomatic structures in systolic Artin groups
Derek Holt and Sarah Rees
Keywords 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
Alternatively, you can request a copy by