×
马泰奥·卡瓦莱里

Følner集合的可计算性。 （英语） Zbl 1483.20060号

国际代数计算杂志。 27，第7号，819-830（2017）.
摘要：我们为有限生成的顺从群定义了Fölner集的可计算性概念。通过显式描述，我们证明了Kharlampovich群具有可计算的Fölner集。我们还证明了具有可计算Fölner集的有限生成群对具有可解字问题的顺从群的扩展（具有次递归变形函数）的Förner集的可计算性。此外，对于这些特殊扩展，我们获得了Fölner函数的一些已知上界和一些新上界。

引用于7文件

MSC公司：

2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系（群体理论方面）
03D40号 可计算性和递归理论中的单词问题等
43A07型 群、半群等的平均值。；顺从群体

关键词：

Fölner集合;顺从群体;单词问题;Fölner函数
PDF格式BibTeX公司 XML格式引用
\textit{M.Cavaleri}，《国际代数计算》。27，第7号，819--830（2017；Zbl 1483.20060）
全文： 内政部 arXiv公司

参考文献：

[1] Arzhantseva，G.N.和Osin，D.V.，多项式Dehn函数的可解群，Trans。阿默尔。数学。Soc.354（8）（2002）3329-3348。https://doi.org/10.1090/S0002-9947-02-02985-9，MR1897402（2003b:20059）·Zbl 0998.20040号
[2] M.Cavaleri，《顺从群体和非顺从群体中的算法和量化》，2016年。罗马萨皮恩扎大学博士论文。
[3] M.Cavaleri，Fölner函数和有限生成顺从群的一般Word问题，可在arXiv:1703.04133[math.GR]上找到·Zbl 1427.20037号
[4] Ceccherini-Silberstein，T.和Coornaert，M.，元胞自动机和群，（Springer-Verlag，柏林，2010），MR2683112（2011j:37002）·兹比尔1218.37004
[5] Coornaert，M.，《拓扑维度与动力系统》（Springer-Verlag，柏林，2015）（英语）·Zbl 1326.54001号
[6] Davis，T.C.和Olshanskii，A.Y.，相对子群增长和子群畸变，Geom组。Dyn.9（1）（2015）237-273。https://doi.org/10.4171/GGD/312，3343353英镑·Zbl 1365.20019号
[7] Erschler，A.，分段自动组，杜克数学。《期刊》134（3）（2006）591-613。https://doi.org/10.1215/S0012-7094-06-13435-X，MR2254627（2007k:20086）·Zbl 1159.20019
[8] Erschler，A.，《有限生成群的等周轮廓》，Geom。Dedicata100（2003）157-171。https://doi.org/10.1023/A:1025849602376，MR2011120（2004j:20087）·Zbl 1049.20024号
[9] Grigorchuk，R.，《关于一个群的已解决和未解决问题》，《无限群：几何、组合和动力学方面》，第248卷（Birkhäuser，巴塞尔，2005），第117-218页。https://doi.org/10.1007/3-7643-7447-0-5，MR2195454（2007d:20001）·Zbl 1165.20021号
[10] Gromov，M.，《线性和非线性群体行动的熵和等参法》，《群体几何》。Dyn.2（4）（2008）499-593。https://doi.org/10.4171/GGD/48，MR2442946（2010小时：37011）·Zbl 1280.20043号
[11] Janzen，D.，《顺从群半直积的Fölner网》，加拿大。数学。公牛51（1）（2008）60-66。https://doi.org/10.4153/CBM-2008-008-7，MR2384739（2009e:43001）·Zbl 1148.2003年
[12] Kharlampovich，O.，有限呈现可解群与不可解词问题，Izv。阿卡德。Nauk SSSR序列。Mat.45（4）（1981）852-873，928（俄罗斯）·Zbl 0485.20023号
[13] Kharlampovich，O.，Myasnikov，A.和Sapir，M.，算法复剩余有限群，Bull。数学。科学7（2）（2017）309-352。https://doi.org/10.1007/s13373-017-0103-z，3671739英镑·Zbl 1423.20022号
[14] Lyndon，R.C.和Schupp，P.E.，组合群理论，数学经典（Springer-Verlag，Berlin，2001），1977年版再版，MR1812024（2001i:20064）·Zbl 0997.20037号
[15] Malcev，A.I.，《算法和递归函数》（Nauka，莫斯科，1965年）。
[16] Moore，J.T.，Thompsons群F，Geom群的Fölner函数的快速增长。Dyn.7（3）（2013）633-651。https://doi.org/10.4171/GGD/201，MR3095713·Zbl 1300.20049号
[17] Olshanskii，A.Y.和Osin，D.V.，群的拟计量嵌入定理，杜克数学。J.162（9）（2013）1621-1648。https://doi.org/10.1215/00127094-2266251，MR3079257·Zbl 1331.20054号
[18] Saloff-Coste，L.和Zheng，T.，在自由可解群上随机行走，数学。字279（3-4）（2015）811-848。https://doi.org/10.1007/s00209-014-1395-2，MR3318252·Zbl 1368.20064号
[19] Vershik，A.，无限群的可修性和逼近，Selecta Math。苏维埃。2（4）（1982）311-330，精选译文，MR721030·Zbl 0533.22007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。