Artin groups of large type are shortlex automatic with regular geodesics

Derek F. Holt and Sarah Rees


Artin groups, automatic, shortlex, regular, geodesics


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


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.