收缩期Artin群的双自动结构
Biautomatic structures in systolic Artin groups
摘要：
我们研究建设黄和Osajda是用来证明他们的biautomatics的阿廷群的几乎大的类型。我们描述了一个稍微简单的双自动结构的变体，明确描述了一些小的例子，我们检查的结构的一些属性。我们解释了如何建设可以在GAP系统编程。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
