Artin groups of large type are shortlex automatic with regular geodesics
Group Theory
2014-02-26 v1
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.
Cite
@article{arxiv.1003.6007,
title = {Artin groups of large type are shortlex automatic with regular geodesics},
author = {Derek F Holt and Sarah Rees},
journal= {arXiv preprint arXiv:1003.6007},
year = {2014}
}
Comments
40 pages, 5 figures