×
老穆雷;亚当·皮戈特

重写系统、普通组和大地测量图。 （英语） Zbl 1533.68122号

西奥。计算。科学。 903, 134-144 (2022).
摘要：我们朝着由长度减少重写系统提出的群的代数特征化迈出了新的一步。我们证明了一个群是由有限收敛的长度缩减重写系统表示的，其中每个规则的左侧长度为3当且仅当该群是平面的。
我们的证明依赖于证明关于大地测量图中嵌入电路的一个新结果，图理论家也可能对该结果感兴趣。

引用于1审查
引用于三文件

MSC公司：

2012年第68季度 语法和重写系统
05C12号 图形中的距离
2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面）

关键词：

长度减少重写系统;平原群;大地测量图
PDF格式BibTeX公司 XML格式引用
\textit{M.Elder}和\textit{A.Piggott}，Theor。计算。科学。903134-144（2022年；Zbl 1533.68122）
全文： 内政部 arXiv公司

参考文献：

[1] Avenhaus，J。；Madlener，K。；Otto，F.，有限二元Church Rosser Thue系统所呈现的群，Trans。美国数学。Soc.，297427-443（1986年）·Zbl 0604.20034号
[2] Book，R.V.公司。；Otto，F.，《计算机科学中的字符串重写系统、文本和专著》（1993），Springer-Verlag:Springer-Verlag纽约·Zbl 0832.68061号
[3] Bridson，M.R。；Gilman，R.H.，关于群的梳理的评论，《国际代数计算》。，3, 575-581 (1993) ·Zbl 0795.20016号
[4] Diekert，V.，关于有限Church-Rosser-Tue系统表示的一些评论，（STACS 87。STACS 87，帕绍，1987年。STACS 87标准。STACS 87，Passau，1987，计算机讲义。科学。，第247卷（1987），《施普林格：柏林施普林格》，272-285·Zbl 0636.20023号
[5] 艾森伯格，A。；Piggott，A.，Gilman猜想，J.代数，517，167-185（2019）·Zbl 1418.20009号
[6] Elvey Price，A.，《凯利图中的测地学》（2014），墨尔本大学，硕士论文
[7] 弗雷泽，C.E。；Vostrov，G.，与给定大地测量图同胚的大地测量图（2016）
[8] Gilman，R.H.，合流群有理子集的计算，（EUROSAM 84。EUROSAM 84，剑桥，1984年。欧洲84。EUROSAM 84，剑桥，1984，计算机课堂讲稿。科学。，第174卷（1984），《施普林格：柏林施普林格》，207-212·Zbl 0549.68025号
[9] Haring-Smith，R.H.，《组与简单语言》，翻译。美国数学。《社会学杂志》，279337-356（1983）·Zbl 0518.20030号
[10] Karrass，A。；彼得罗夫斯基，A。；Solitar，D.，自由群的有限和无限循环扩张，J.Aust。数学。Soc.，16，458-466（1973），《纪念汉娜·诺依曼四世的文章集》·Zbl 0299.20024
[11] Madlener，K。；Otto，F.，有限长度缩减字符串重写系统的某些类所表示的群，（重写技术与应用，重写技术与运用，波尔多，1987。重写技术与应用。重写技术与应用，波尔多，1987年，计算机课堂讲稿。科学。，第256卷（1987），《施普林格：柏林施普林格》，133-144·Zbl 0636.20022号
[12] Madlener，K。；Otto，F.，有限Church-Rosser-Tue系统提出的群中的交换性，RAIRO-Inform。塞奥尔。申请。，22, 93-111 (1988) ·Zbl 0649.20030号
[13] Madlener，K。；Otto，F.，关于某些有限字符串重写系统类的描述能力，Theor。计算。科学。，67, 143-172 (1989) ·Zbl 0697.20017号
[14] Ore，O.，《图论》，美国数学学会学术讨论会出版物，第三十八卷（1962年），美国数学学会：美国数学学会普罗维登斯，R.I·兹伯利0105.35401
[15] Parthasarathy，K.R。；Srinivasan，N.，直径为三的大地测量块体，Combinatorica，4197-206（1984）·Zbl 0554.05043号
[16] Scapellato，R.，直径2的大地测量图和一些相关结构，J.Comb。理论，Ser。B、 41、218-229（1986）·Zbl 0576.05038号
[17] Serre，J.P.，Trees，Springer Monographs in Mathematics（2003），Springer-Verlag:Springer-Verlag Berlin，由John Stillwell从法语原文翻译而来，修正了1980年英语译文的第二次印刷·Zbl 1013.20001号
[18] Stemple，J.G.，直径为2的大地测量图，J.Comb。理论，Ser。B、 17、266-280（1974）·Zbl 0323.05122号
[19] Stemple，J.G.，同胚于完整图的大地测量图，（第二届组合数学国际会议，第二届国际组合数学会议，纽约，1978年）。第二届组合数学国际会议。第二届组合数学国际会议，纽约，1978年，纽约学院安。科学。，第319卷（1979年），纽约学院。科学：纽约学院。科学。纽约），512-517·Zbl 0481.05057号
[20] Stemple，J.G。；Watkins，M.E.，《关于平面大地测量图》，J.Comb。理论，4101-117（1968）·Zbl 0153.54004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。