Artin groups of large type

Artin groups of large type are shortlex automatic with regular geodesics

Derek F. Holt and Sarah Rees

Keywords

Artin groups, automatic, shortlex, regular, geodesics

Status

Proceedings of the LMS 104 (2012) 486--512

Abstract

We prove that any Artin group of large type is shortlex automatic with respect to its standard generating set, and that the set of all geodesic words over the same generating set satisfies the Falsification by Fellow-Traveller Property (FFTP) and hence is regular.

The preprint is available as gzipped dvi (264 kB), postscript (332 kB) and pdf files.

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