莎拉·里斯 自动群理论的发展。 （英语） Zbl 07632756号 Ohshika，Ken’ichi（编辑）等人，《瑟斯顿二世的传统》。几何图形和组。查姆：斯普林格。449-473 (2022). 小结：我们描述了自动分组理论的发展。我们从历史介绍开始，定义了自动群、双自动群和可竞争群的概念，导出了基本性质，然后解释了双曲群和基于瑟斯顿八种几何中的六种几何的紧致3流形群是如何被证明是自动的。我们描述了在华威开发的用于计算自动结构的软件，以及使用这些结构的实用算法的开发。我们解释了群在显示各种负曲率概念的空间上的作用如何用于证明自动性或双自动性，并说明了如何使用这些结果来推导某些无限族（辫子群、映射类群、Artin群族和Coxeter群）中群的这些属性。在整个文本中，我们标记了一些开放的问题，以及一些已经开放了一段时间但现在已经解决的问题。关于整个系列，请参见[Zbl 1495.57001号]. 引用于1审查 MSC公司： 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面） 20英尺36英寸 编织群；Artin组 20层55 反射和Coxeter群（群理论方面） 20层65 几何群论 20楼67 双曲群和非正曲群 57M60毫米 低维流形和细胞复合体上的群作用 03日第10天 图灵机及其相关概念 04年第68季度 经典计算模型（图灵机等） 关键词：自动分组;双曲群;有限状态自动机;梳理;3歧管总成;决策问题;单词问题;共轭问题;Artin群;考克斯特群;映射类组 软件：千兆赫;岩浆;间隙;AUTOMATA公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Rees}，in：按照瑟斯顿二世的传统。几何图形和组。查姆：斯普林格。449-473（2022年；兹bl 07632756） 全文： DOI程序 arXiv公司 参考文献： [1] A.V.Aho，索引语法——无上下文语法的扩展。关联计算。机器。15, 647-671 (1968) ·Zbl 0175.27801号 [2] J.Alonso，T.Brady，D.Cooper，V.Ferlini，M.Lustig，M.Mihalik，M.Shapiro，H.Short，《关于词超群的注释》，收录于《从几何观点看群论会议记录》，E.Ghys，a.Haefliger，a.Verjovsky编辑。1990年3月在的里雅斯特I.C.T.P.举行（世界科学，新加坡，1991年）·Zbl 0849.20023号 [3] J.Alonso，M.R.Bridson，半双曲群。程序。伦敦数学。Soc.70（1），56-114（1995）·Zbl 0823.20035号 [4] J.A.Altobelli，FC型Artin群的单词问题。J.纯应用。代数129（1），1-22（1998）·Zbl 0937.20015 [5] Y.Antolin，L.Ciobanu，相对双曲群的有限生成集及其在测地语言中的应用。国际代数计算杂志。11(04), 467-487 (2001) ·Zbl 1024.20039号 [6] K.I.Appel，P.E.Schupp，Artin群和无限Coxeter群。发明。数学。72(2), 201-220 (1983) ·Zbl 0536.20019 [7] G.Baumslag、S.M.Gersten、M.Shapiro、H.B.Short、自动组和汞合金。J.纯应用。《代数》76（3），229-316（1991）·Zbl 0749.20006号 [8] M.Bestvina，几何群论问题，http://www.math.utah.edu/bestvina/eprints/questions-updated.pdf [9] B.H.Bowditch，相对双曲线群。国际代数计算杂志。22（3），1250016，66页。(2012) ·Zbl 1259.20052号 [10] N.Brady，Sol几何体组不是异步自动的。程序。伦敦数学。Soc.83（1），93-119（2001）·Zbl 1017.20024号 [11] T.Brady、J.McCammond、大型三代Artin组为双自动。J.纯应用。代数151（1），1-9（2000）·Zbl 1004.20023号 [12] M.R.Bridson，《群的组合与重新参数化语法》。注释。数学。Helv公司。78(4), 752-771 (2003) ·兹比尔1044.2018 [13] M.R.Bridson，R.H.Gilman，形式语言理论和3-流形几何。注释。数学。Helv公司。71(4), 525-555 (1996) ·Zbl 0873.20026号 [14] M.R.Bridson，A.Haefliger，非正曲率的度量空间，收录于Grundlehren der mathematischen Wissenschaften[数学科学基本原理]，第319卷（Springer，Berlin，1999）xxii+643页·Zbl 0988.53001号 [15] M.R.Bridson，J.Howie，双曲群中有限子集的共轭性。国际。J.代数计算。15(4), 725-756 (2005) ·Zbl 1083.20032号 [16] B.Brink，R.B.Howlett，Coxeter群的有限性和自动结构。数学。Ann.296（1），179-190（1993）·Zbl 0793.20036号 [17] D.J.Buckley，D.F.Holt，有限群元素列表双曲群中的共轭问题。国际。J.代数计算。23(5), 1127-1150 (2013) ·Zbl 1277.20033号 [18] J.W.Cannon，共紧离散双曲群的组合结构。地理。Dedicata 16，123-148（1984）·Zbl 0606.57003号 [19] J.W.Cannon、Max Dehn和单词问题，Max Dehn:Polymathis数学家，编辑：J.Lorenat、J.Mccleary、D.Rowe、M.Senechal、AMS [20] P.-E.Caprace，具有孤立子空间和相对双曲Coxeter群的建筑物。因诺夫。事件地理。10, 15-31 (2009) ·Zbl 1254.20036号 [21] P.-E.Caprace，B.Mühlherr，Coxeter群中的反射三角形和双自动。J.群论8（4），467-489（2005）·Zbl 1081.20049号 [22] J.Chalopin、V.Chepo、A.Genevois、H.Hirai、D.Osajda、Helly groups（2021年）。2002年6月895日 [23] R.Charney，有限类型的Artin群是双自动的。数学。附录292（4），671-683（1992）·Zbl 0736.57001号 [24] F.Dahmani，V.Guirardel，所有双曲群的同构问题，Geom。功能。分析。21(2), 223-300 (2011) ·Zbl 1258.20034号 [25] P.Dehornoy，加塞德集团。科学年鉴。Ecole标准。补充35（2），267-306（2002）·Zbl 1017.20031号 [26] D.B.A.Epstein，D.F.Holt，单词双曲群的计算。国际代数计算杂志。11(04), 467-487 (2001) ·Zbl 1024.20039号 [27] D.B.A.爱泼斯坦，D.F.霍尔特，词超群共轭问题的线性。国际代数计算杂志。16(2), 287-305 (2006) ·Zbl 1141.20028号 [28] D.B.A.Epstein，D.F.Holt，S.E.Rees，使用Knuth-Bendix方法解决自动组中的单词问题。J.塞姆。计算。12, 397-414 (1991) ·2017年7月79日 [29] D.B.A.Epstein、J.W.Cannon、D.F.Holt、S.Levy、M.S.Patterson、W.P.Thurston，《群组中的文字处理》（Jones and Bartlett，Burlington，1992）·2017年7月64日 [30] B.Farb，《自动组团：导览》。Enseign公司。数学。38(3-4), 291-313 (1992) ·Zbl 0811.20038号 [31] B.Farb，C.Hruska，A.Thomas，非正弯曲多面体复合体及其晶格的自同构群问题。几何、刚度和组动作。芝加哥数学讲座（芝加哥大学出版社，芝加哥，2011），第515-560页·Zbl 1256.22008年 [32] S.M.Gersten，H.B.Short，小抵消理论和自动组。发明。数学。102(2), 305-334 (1990) ·Zbl 0714.20016号 [33] S.M.Gersten，H.B.Short，小抵消理论和自动组。二、。发明。数学。105(3), 641-662 (1991) ·Zbl 0734.20014号 [34] R.H.Gilman，有理截面群，组合群理论和拓扑（犹他州阿尔塔，1984）。《数学研究年鉴》，第111卷（普林斯顿大学出版社，普林斯顿，1987年），第175-183页·兹比尔0632.0021 [35] M.Gromov，双曲群，《群论论文》。数学科学研究所出版物，第8卷，（Springer，纽约，1987），第75-263页·Zbl 0626.00014号 [36] U.Hamenstaedt，映射类II组的几何：双自动结构（2009）。arXiv:0912.0137 [37] A.Harkins，《可解李群的组合格》，纽卡斯尔大学博士论文，2001年 [38] S.Hermiller，J.Meier，群的图乘积的算法和几何。J.阿尔及利亚。171, 230-257 (1995) ·Zbl 0831.20032号 [39] D.F.Holt，斐波那契群F（2,9）无穷大的另一种证明。实验数学。4(2), 97-100 (1995) ·兹比尔0853.20019 [40] D.F.Holt，KBMAG-Knuth-Bendix在Monoids和Automatic Group中的应用，软件包（1995年）。可从以下位置获得http://homepages.warwick.ac.uk/mareg/download/kbmag2/ [41] D.F.Holt，The Warwick automatic groups software，收录于《无限群上的几何和计算透视》（明尼阿波利斯，明尼苏达州和新泽西州新不伦瑞克，1994年）。DIMACS：离散数学和理论计算机科学系列，第25卷，（美国数学学会，普罗维登斯，1996），第69-82页·Zbl 0932.20037号 [42] D.F.Holt，S.Rees，《Artin群中的Shortex自动性和测地正则性》。群体复杂。加密。5, 1-23 (2013) ·Zbl 1284.20036号 [43] D.F.Holt、S.Rees、C.E.Röver，《组、语言和自动机》。LMS学生文本，第88卷（剑桥大学出版社，伦敦，2017）·Zbl 1515.20012号 [44] J.E.Hopcroft，J.D.Ullman，《自动机理论、语言和计算导论》（Addison-Wesley，Boston，1979）·Zbl 0426.68001号 [45] R.B.Howlett，《关于考克塞特集团的杂项事实》，澳大利亚国立大学集团行动组织Worshop的讲座，1993年10月，研究报告93-38（1993） [46] G.C.Hruska、B.Kleiner、Hadamard带独立公寓的空间。地理。顶部。9, 1501-1538 (2005) ·Zbl 1087.20034号 [47] J.Huang，D.Osajda，大型Artin组为收缩性。程序。伦敦。数学。Soc.120（1），95-123（2020）·Zbl 1481.20159号 [48] J.Huang，D.Osajda，Helly会见Garside和Artin（2019年）。arXiv:1904.09060·Zbl 1482.20023号 [49] J.E.Humphreys，反思小组和考克塞特小组，《剑桥高等数学研究》，第29卷（剑桥大学出版社，1990年）·Zbl 0725.20028号 [50] T.Januszkiewicz，J.Šwiatkowski，简单非正曲率。出版物。数学。Inst.Hautes练习曲科学。104, 1-85 (2006) ·Zbl 1143.53039号 [51] D.L.Johnson，小组演讲。LMS学生文本，第15卷（CUP，剑桥，1990）·Zbl 0696.20027号 [52] U.Lang，水平球外的准测地线。地理。Dedicata迪卡塔63（2），205-215（1996）·Zbl 0863.53029号 [53] I.Leary，A.Minasyan，《公度HNN拉伸：非正曲率和双自回归》（2021）。arXiv公司：1907.03515 [54] R.C.Lyndon，P.E.Schupp，组合群论。1977年版的再版。数学经典（施普林格，柏林，2001）·兹比尔0997.20037 [55] 岩浆计算代数系统2.26-8版。可在http://magma.maths.usyd。edu.au/magma（英语）/ [56] J.Marshall，双曲群中的计算问题。国际代数计算杂志。15(1), 1-13 (2005) ·Zbl 1079.20060号 [57] L.Mosher，映射类组是自动的。安。数学。142(2), 303-384 (1995) ·Zbl 0867.57004号 [58] L.Mosher，双自动群的中心商。注释。数学。Helv公司。72(1), 16-29 (1997) ·Zbl 0888.20019 [59] G.Moussong，双曲Coxeter群，俄亥俄州立大学博士论文，1988年 [60] Z.Munro，D.Osajda，P.Przytycki，二维Coxeter群是双自动的（2020年）。arXiv:2006.07947年 [61] G.A.Niblo，L.D.Reeves，立方体复合体的几何学及其基本群的复杂性。拓扑37，621-633（1998）·Zbl 0911.57002号 [62] G.A.Niblo、L.D.Reeves、Coxeter基团作用于CAT（0）立方体复合物。J.群论6（3），399-413（2003）·Zbl 1068.2004年20月 [63] D.Osin，相对双曲群：内禀几何、代数性质和算术问题。《美国数学学会回忆录》，第179卷，第843号（美国数学学会，普罗维登斯，2006年）·Zbl 1093.20025号 [64] P.Papasoglu，强大地测量自动群是双曲线。发明。数学。121(2), 323-334 (1995) ·Zbl 0834.20040 [65] D.Peifer、Artin超大型组是双自动的。J.纯应用。代数110（1），15-56（1996）·Zbl 0872.20036号 [66] V.Romankov、具有有理集布尔代数和双自动可解群的多环、metabelian或可解型（F P）∞群实际上是阿贝尔群。格拉斯。数学。J.60（1），209-218（2018）·Zbl 1427.2004年11月 [67] Z.塞拉，双曲群的同构问题。I.安。数学。141(2), 217-283 (1995) ·Zbl 0868.57005号 [68] H.B.短款、成组和精梳。https://www.i2m.univ-amu.fr/短文/Papers/bicomball.pdf 69。GAP集团。GAP-组、算法和编程，4.8.10版（2018年）。http://www.gap-system.org [69] 瑟斯顿，三维流形，克莱因群和双曲几何。牛市。阿米尔。数学。Soc.（NS）6（3），357-381（1982）·Zbl 0496.57005号 [70] W.P.Thurston，《三维几何与拓扑》（普林斯顿大学出版社，普林斯顿1997）·Zbl 0873.57001号 [71] L.A.VanWyk，Graph组是双自动的。J.纯应用。《代数》94（3），341-352（1994）·Zbl 0812.20018号 [72] P.Wakefield，《自动分组程序》，纽卡斯尔大学博士论文，1998年 [73] B.T.Williams，《几何群论的两个主题》，南安普顿大学博士论文，1999年 [74] R.Young，SL（n；Z）的Dehn函数。安。数学。177(3), 969-1027 (2013) ·Zbl 1276.20053号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。