×
U.Irbaev，美国。

结合代数中的算法问题。 （英语。俄文原件） Zbl 0851.16023号

代数逻辑 32，第4期，244-255（1993）; 《代数逻辑32》第4期第450-470页（1993年）的译文。
作者证明了自由代数在服从恒等式（[x_1，x_2][x_3，x_4][x_5，x_6][x_7，x_8]=0）的代数簇中的出现问题是不可判定的。下一个结果是，没有算法可以确定自由结合代数中的有限元素系统是否具有代数依赖性。最后的结果是存在一个带有不可判定词问题的f.g.结合代数，使得它的关系模是自由的。这些不可判定性结果通过两台Minsky磁带机的解释得到了证明。在第二个结果的证明中，研究了这些机器中的循环，并将其解释为代数中的依赖关系。
审核人：G.A.Noskov（鄂木斯克）

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

MSC公司：

第16章第15节 有限生成，有限表示性，正规形式（菱形引理，术语重写）
16兰特 \（T）-理想、恒等式、结合环和代数的变种

关键词：

算法问题;代数相关性;发生问题;自由代数;代数簇;不确定词问题;关系模块;不可判定性结果;双磁带Minsky机器
PDF格式BibTeX公司 XML格式引用
\textit｛U.Umirbaev｝，《代数逻辑32》，第4期，450-470（1993；Zbl 0851.16023）；《代数逻辑32》第4期第450-470页（1993）的译文
全文： 内政部 欧洲DML

参考文献：

[1] A.I.Shirshov，“自由李代数的子代数”，Mat。Sb.，33，No.2，441-452（1953）·Zbl 0052.03004号
[2] P.M.Cohn，“自由结合代数的子代数”，Proc。伦敦数学。Soc.，14，编号56118-632（1964年）·Zbl 0142.27704号 ·doi:10.1112/plms/s3-14.618
[3] U.U.Umirbaev，“关于自由李代数相对于发生的逼近”，摘自：幺半群、环和代数，Proc。塔尔图大学[俄语]，878（1990），第147-152页·Zbl 0798.17002号
[4] A.A.Mikhalyov，“由自由着色李（p-）超代数生成的自由结合代数中的右理想”，发表于：Usp。Mat.Nauk公司。
[5] G.A.Noskov，“多项式环的发生问题”，Sib。材料Zh。，第19卷第6期，第1413-1414页（1976年）·Zbl 0404.10030号
[6] D.Shannon和M.Sweedler，“使用Grobner基确定代数成员，分裂满射代数同态，确定双数等价性，”J。符号。公司。，6，第2–3、267–273号（1988年）·Zbl 0681.68052号 ·doi:10.1016/S0747-7171（88）80047-6
[7] A.I.Shirshov，“{\（\epsilon\）}-代数的一些算法问题”，Sib。材料Zh。，第3卷，第1期，132-137页（1962年）·Zbl 0143.25602号
[8] U.U.Umirbaev，“自由结合代数的发生问题”，收录于：第11届数理逻辑学术会议，文摘[俄语]，喀山'（1992），第145页。
[9] G.P.Kukin，“李代数和结合环的词问题和自由积”，Sib。材料Zh。，24，第2期，86–95页（1983年）·Zbl 0519.17009号
[10] I.L.Mel'nichuk、M.V.Sapir和O.G.Kharlampovich，“各种半群、环和李代数中的单词问题”，Sib。材料Zh。，27，第6期，144–156（1986年）。
[11] 《德涅斯特罗夫笔记本（俄语）》，新西伯利亚（1982年）。
[12] R.C.Lyndon和P.E.Schupp，组合群理论，Springer，柏林（1977）。
[13] A.I.Mal'tsev，算法和递归函数，第2版。[俄语]，米尔，莫斯科（1986年）。
[14] M.V.Sapir和O.G.Kharlampovich，“各种结合代数和李代数的世界问题”，Izv。维什。乌切布。扎韦德。，序列号。材料，第6号，76-84（1989年）·Zbl 0676.17019号
[15] G.M.Bergman和W.Dicks，“关于普遍推导”，J。代数，36194–211（1975）。 ·doi:10.1016/0021-8693（75）90098-8
[16] G.Hochschild，“关于结合代数的上同调群”，Ann。数学。，第2卷，第46期，第58–67页（1945年）·Zbl 0063.02029号 ·doi:10.2307/199691145
[17] L.A.Bokut’，《联合戒指》，I（俄语），新西伯利亚大学，新西比利亚（1977年）·Zbl 0459.16001号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。