×

可解李代数的算法问题。 (英语。俄文原件) 兹比尔0445.17010

代数逻辑 17, 270-278 (1979); 《代数逻辑》17、402-415(1978)的翻译。
证明了李代数的任何变种\(\mathfrak M\),包含变种\(\mathfrak N_2\mathfrak A\),都存在不可解的词问题。这个结果比评论家关于所有李代数类的字问题不可解性的定理更为普遍[参见Izv.Akad.Nauk SSSR,Ser.Mat.361173-1219(1972;Zbl 0252.02046号)]并对众所周知的A.I.谢尔肖夫[参见德内斯特笔记本,新西伯利亚,1976年,第155号问题],关于(n)-可解李代数的单词problem的不可解性,(n \ge 3)。

MSC公司:

17B01型 恒等式,自由李(超)代数
17B30型 可解幂零(超)代数
03D40号 可计算性和递归理论中的单词问题等
PDF格式BibTeX公司 XML格式引用
全文: 内政部 欧洲DML

参考文献:

[1] 德内斯特笔记本(环和模理论的未解决问题)[俄语],第2版,新西伯利亚(1976)。
[2] 于。A.Bakhturin,“李代数的逼近”,Mat.Zametki,12,No.6,713-716(1972)。
[3] V.N.Remeslennikov,“变量5中有限呈现群的例子,存在无法解决的词相等问题”,《代数逻辑学》,第12卷,第5期,577-602页(1973年)·Zbl 0288.02027号
[4] A.S.Kirkinskii和V.N.Remeslennikov,“可解群的同构问题”,Mat.Zametki,18,No.3,437-443(1975)·Zbl 0361.20031号
[5] A.I.Mal'tsev,《算法和递归函数(俄语)》,瑙卡,莫斯科(1965年)。
[6] L.A.Bokut’,“等式问题的不可解性和有限表示李代数的子代数”,Izv。阿卡德。Nauk SSSR,序列号。Mat.,36,No.6,1173-1219(1972)。
[7] G.P.Kukin,“限制李代数的自由积”,Mat.Sb.,95,No.1,53-83(1974)·Zbl 0277.17003号
[8] L.A.Bokut,“自由多项式李代数的基础”,《代数逻辑》,第2期,第4期,第13–19页(1963年)·Zbl 0161.03604号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。