×

一类可解群上的两个可判定Markov性质。 (英语) Zbl 0475.20026号

代数逻辑 19, 419-425 (1981); 和代数逻辑19,646-658(1980)。

MSC公司:

2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系(群体理论方面)
2016年1月20日 可解群,超可解群
2018年1月20日 幂零群
20E10年 准变种和群变种
03D40号 可计算性和递归理论中的单词问题等
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

参考文献:

[1] S.I.Adyan,“群某些属性识别问题的算法不可解性”,Dokl。阿卡德。Nauk SSSR,103,第4期,533–535(1955)·Zbl 0065.00901号
[2] S.I.Adyan,“群论中一些算法问题的不可解性”,Tr.Mosk。Mat.O-va,6232-298(1957)。
[3] S.I.Adyan,“有限呈现的组和算法”,Dokl。阿卡德。Nauk SSSR,117,第1期,第9-12页(1957年)·Zbl 0085.25102号
[4] G.Baumslag、F.B.Cannonito和C.F.Miller,“有限呈现群的无限生成子群。I、 “数学。Z.,153,No.2,117–134(1977)·Zbl 0332.20009 ·doi:10.1007/BF01179785
[5] F.B.Cannonito,“组中单词问题的代数不变性”,收录于:组中的单词问题和伯恩赛德问题,W.W.Boone,F.B.Cannonito和R.C.Lyndon(编辑)North-Holland,阿姆斯特丹,第349-364页。
[6] P.Hall,“可溶基团的有限条件”,Proc。伦敦数学。《社会学杂志》,第4419–436页(1954年)·Zbl 0056.25603号
[7] R.C.Lyndon和P.E.Schupp,组合群理论,Springer-Verlag,柏林(1977)。
[8] W.Magnus、A.Karrass和D.Solitar,组合群理论,跨科学,纽约(1966年)。
[9] M.O.Rabin,“可计算代数,可计算域的一般理论和理论”,Trans。美国数学。Soc.,95341–360(1960年)·Zbl 0156.01201号
[10] V.N.Remeslennikov,“一个群的例子,有限地出现在varietya 5中,有一个不可判定的单词问题”,《代数逻辑学》,第12卷,第5期,第577-602页(1973年)·Zbl 0288.02027号 ·doi:10.1007/BF02218590
[11] V.N.Remeslennikov和N.S.Romanovskii,“可解群的算法问题”,收录于:单词问题。二、。《牛津图书》,阿德扬-布恩-希格曼(编辑),阿姆斯特丹北霍兰德(1980)·Zbl 0432.20030号
[12] D.J.S.Robinson,“有限生成超阿贝尔群的定理”,发明。数学。,第10卷第1期,第38–43页(1970年)·兹比尔0198.34504 ·doi:10.1007/BF01402969
[13] A.L.Shmel'kin,“关于群的可解乘积”,Sib。材料Zh。,第6卷第1期,第212-220页(1965年)。
[14] F.J.Grunewald和D.Segal,“某些决策问题在算术和代数中的可解性”,布尔。美国数学。Soc.,1,No.6,915–918(1979)·Zbl 0431.20029 ·doi:10.1090/S0273-0979-1979-14692-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。