机构:
Univ Warwick, Math Inst, Coventry CV4 7AL, W Midlands, England
Univ Newcastle, Sch Math Stat & Phys, Newcastle NE1 7RU, EnglandUniv Warwick, Math Inst, Coventry CV4 7AL, W Midlands, England
Holt, Derek F.
[1
,2
]
Rees, Sarah
论文数: 0引用数: 0
h-index: 0
机构:
Univ Warwick, Math Inst, Coventry CV4 7AL, W Midlands, England
Univ Newcastle, Sch Math Stat & Phys, Newcastle NE1 7RU, EnglandUniv Warwick, Math Inst, Coventry CV4 7AL, W Midlands, England
Rees, Sarah
[1
,2
]
机构:
[1] Univ Warwick, Math Inst, Coventry CV4 7AL, W Midlands, England
[2] Univ Newcastle, Sch Math Stat & Phys, Newcastle NE1 7RU, England
Artin groups;
word problem;
automatic groups;
biautomatic groups;
systolic complexes;
systolic groups;
SMALL CANCELLATION THEORY;
GEOMETRY;
D O I:
10.1142/S0218196721500193
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
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.
机构:
San Jose State Univ, Dept Math & Stat, One Washington Sq, San Jose, CA 95192 USASan Jose State Univ, Dept Math & Stat, One Washington Sq, San Jose, CA 95192 USA