Artin groups of large type are shortlex automatic with regular geodesics
Artin groups of large type are shortlex automatic with regular geodesics
复制标题
大型Artin组是具有规则测地线的短线自动
DOI：
10.1112/plms/pdr035
复制
发表时间：
2010
影响因子：
1.8
通讯作者：
Sarah Rees
中科院分区：
文献类型：
--
作者：
D. Holt;Sarah Rees
我们证明了任意大类型Artin群相对于其标准发电集是短自动的，并且同一发电集上所有测地词的集合满足同行者性质证伪（FFTP），因此是正则的。
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.