机构:
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.
机构:
Bar Ilan Univ, Dept Math, IL-52900 Ramat Gan, Israel
Shamoon Coll Engn, IL-84100 Beer Sheva, IsraelBar Ilan Univ, Dept Math, IL-52900 Ramat Gan, Israel
Amram, Meirav
Lawrence, Ruth
论文数: 0引用数: 0
h-index: 0
机构:
Hebrew Univ Jerusalem, Einstein Inst Math, IL-91904 Jerusalem, IsraelBar Ilan Univ, Dept Math, IL-52900 Ramat Gan, Israel
Lawrence, Ruth
Vishne, Uzi
论文数: 0引用数: 0
h-index: 0
机构:
Bar Ilan Univ, Dept Math, IL-52900 Ramat Gan, IsraelBar Ilan Univ, Dept Math, IL-52900 Ramat Gan, Israel
机构:
Univ Bourgogne, Inst Math Bourgogne, UMR 5584, CNRS, F-21078 Dijon, FranceUniv Bourgogne, Inst Math Bourgogne, UMR 5584, CNRS, F-21078 Dijon, France
Crisp, J
Paris, L
论文数: 0引用数: 0
h-index: 0
机构:
Univ Bourgogne, Inst Math Bourgogne, UMR 5584, CNRS, F-21078 Dijon, FranceUniv Bourgogne, Inst Math Bourgogne, UMR 5584, CNRS, F-21078 Dijon, France