博库特,洛杉矶。;陈玉群 Gröbner-Shirshov基及其计算。 (英语) Zbl 1350.13001号 牛市。数学。科学。 4,第3期,325-395(2014). 本文对不同类线性泛代数的Gröbner-Shirshov基理论进行了极好的综述,并概述了在各种特定情况下这些基的计算。讨论的主要问题是以下基本问题:如何找到由生成元和关系定义的代数的线性基?对于作为多项式代数的因子代数表示的交换结合代数,其解由1965年著名的Buchberger算法给出。从理想的任意生成集开始,该算法给出了理想的Gröbner基。然后,因子代数的基由所有单项式组成,这些单项式不包含Gröbner基多项式的前导单项式作为子字。1962年,Shirshov为李代数提出了类似的想法。从他的论述中可以清楚地看出,同样的方法也适用于(非交换的)结合代数。后来,伯格曼在1978年利用图论中的钻石引理解决了如何找到由生成元和关系定义的结合代数的基的问题。在英文翻译之前【SIGSAM Bull.33,No.2,3-6(1999;Zbl 1097.17502号)],论文[Sib.Mat.Zh.3,292–296(1962;Zbl 0104.26004号)]在东欧以外几乎无人知晓。为了表彰Shirshov的成就,该调查的第一位作者建议将交换代数中Gröbner基的非对易和非结合类似物命名为Gróbner-Shirshov基。在引言中,作者对解决所讨论的主要问题的方法的发展进行了详细的历史概述,并给出了不同代数类的Gröbner-Shirshov基版本的应用范围。第二节讨论结合代数,第三节讨论半群和群,第四节讨论李代数,最后一节研究(Omega)-代数和算子。这篇文章以一长串包含228个标题的参考文献完成。审核人:Vesselin Drensky(索非亚) 引用于1审查引用于67文件 MSC公司: 13-02 交换代数的研究综述(专著、调查文章) 13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础) 第16章第15节 有限生成,有限表示性,正规形式(菱形引理,术语重写) 16-02 关于结合环和代数的研究综述(专著、调查文章) 17-02 关于非结合环和代数的研究综述(专著、调查文章) 2016年10月 由泛性质(自由代数、余积、逆的附加等)决定的结合环 17B01型 恒等式,自由李(超)代数 17A30型 满足其他恒等式的非结合代数 18D50型 运营(MSC2010) 2018年11月20日 逆半群 关键词:Gröbner-Shirshov基础;复合-Diamond引理;编织物组;自由半群;中国幺半群;广场单体;结合代数;Lyndon-Shirshov单词;PBW定理;\(\Omega\)-代数;拨号盘;半环;预李代数;Rota-Baxter代数 引文:Zbl 1097.17502号;Zbl 0104.26004号 软件:信件位置;歌剧;FPLSA公司 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Bokut}和\textit{Y.Chen},公牛。数学。科学。4,第3号,325-395(2014年;兹bl 1350.13001) 全文: DOI程序 arXiv公司 OA许可证 参考文献: [1] Adjan,S.I.:群论中某些决策问题的算法不可判定性。特鲁迪莫斯科Mat.Ob。6, 231-298 (1957) ·Zbl 0080.24101号 [2] Alahmadi,A.,Alsulami,H.,Jain,S.K.,Zelmanov,E.:有限Gelfand-Kirillov维的Leavitt路代数。J.代数应用。11(6), 1250225-1-1250225-6 (2012) ·兹比尔1279.16002 [3] Alahmadi,A.,Alsulami,H.,Jain,S.K.,Zelmanov,E.:多项式增长的Leavitt路代数的结构。doi:10.1073/pnas.131121610·Zbl 1279.16002号 [4] Artamonov,V.A.:代数的多重线性运算和多重算子的克隆。乌斯佩基·马特·诺克。24(145), 47-59 (1969) ·兹比尔0188.04901 [5] Artin,E.:Zöpf理论。阿布。数学。汉堡大学Sem.Hamburg Univ.4,47-72(1926) [6] Artin,E.:辫子理论。安。数学。48, 101-126 (1947) ·Zbl 0030.17703号 [7] Ates,F.,Karpuz,E.,Kocapinar,C.,Cevik,A.S.:一些幺半群的Gröbner-Shirshov基。谨慎。数学。311(12), 1064-1071 (2011) ·Zbl 1215.20054号 [8] Bahturin,Y.,Olshanskii,A.:无限维代数中的过滤和变形。《代数杂志》327251-291(2011)·Zbl 1236.16039号 [9] Bahturin,Y.A.,Mikhalev,A.A.,Petrogradskij,V.M.,Zajtsev,M.V.:无限维李超代数,第x卷,250页,《德格鲁伊特数学论述》,第7卷。W.de Gruyter,柏林(1992)·兹比尔0762.17001 [10] Belyaev,V.Y.:有限表示结合环的子环。代数日志。17, 627-638 (1978) ·Zbl 0429.16017号 [11] 伯格曼,G.M.:环理论的钻石引理。高级数学。29, 178-218 (1978) ·Zbl 0326.16019号 [12] Berstel,J.D.,Perrin,D.:单词组合学的起源。Eur.J.库姆。28, 996-1022 (2007) ·Zbl 1111.68092号 [13] Birman,J.,Ko,K.H.,Lee,S.J.:编织群单词和共轭问题的新方法。高级数学。139, 322-353 (1998) ·Zbl 0937.20016 [14] Bjoner,A.,Brenti,F.:Coxeter群的组合数学。数学研究生教材,第231卷。柏林施普林格出版社(2005)·Zbl 1110.05001号 [15] Bokut,L.A.:自由多项式李代数的一个基。代数日志。2, 13-19 (1963) ·Zbl 0161.03604号 [16] 博库特,洛杉矶:布恩集团的一处地产。代数日志。5, 5-23 (1966) ·兹比尔0189.01103 [17] 博库特,洛杉矶:关于诺维科夫集团。代数日志。6, 25-38 (1967) ·Zbl 0165.31804号 [18] Bokut,L.A.:有限呈现群共轭问题的不可解程度。代数日志。5, 6, 4-70, 4-52 (1968) ·Zbl 0182.01803号 [19] Bokut,L.A.:某些环I-III.Sibirsk的乘法半群的分数群。材料Zh。10, 246-286, 744-799, 800-819 (1969) ·Zbl 0213.31801号 [20] 博库特,洛杉矶:关于马尔切夫问题。锡比尔斯克。材料Zh。10, 965-1005 (1969) ·兹比尔0213.31902 [21] Bokut,L.A.:李代数单词问题的不可解性,以及有限表示李代数的子代数。Izvestija AN USSR(数学)36,1173-1219(1972)·Zbl 0252.02046号 [22] Bokut,L.A.:嵌入到简单结合代数中。代数日志。15, 117-142 (1976) ·Zbl 0349.16007号 [23] 博库特,洛杉矶:Artin-Garside生成器中编织群的Gröbner-Shirshov基。J.塞姆。计算。43, 397-405 (2008) ·Zbl 1176.20035号 [24] 博库特,洛杉矶:Birman-Ko-Lee发电机中编织组的Gröbner-Shirshov底座。《代数杂志》321361-379(2009)·Zbl 1176.20036号 [25] Bokut,L.A.,Chainikov,V.V.,Shum,K.P.:辫子群的Markov和Artin范式定理。Commun公司。《代数》35,2105-2115(2007)·Zbl 1169.20019 [26] 洛杉矶Bokut,Chainikov,V.V.:Novikov集团Adjan扩展的Gröbner-Shirshov基地。谨慎。数学。308, 4916-4930 (2008) ·Zbl 1158.20015号 [27] Bokut,L.A.,Chen,Y.Q.:李代数的Gröbner-Shirshov基:出自A.I.Shirshov。东南亚牛市。数学。31, 1057-1076 (2007) ·Zbl 1150.17008号 [28] Bokut,L.A.,Chen,Y.Q.:Gröbner-Shirshov基础:一些新结果。在:Shum,K.P.,Zelmanov,E.,Zhang,J.,Shanghi,L.(编辑)代数和组合数学进展。《第二届国际代数与组合数学大会论文集》,第35-56页。《世界科学》,新加坡(2008)·Zbl 1207.16023号 [29] Bokut,L.A.、Chen,Y.Q.、Chen、W.P.、Li,J.:通过Gröbner-Shirshov基研究plactic幺半群的新方法。arxiv.org/abs/1106.4753·Zbl 1309.16014号 [30] Bokut,L.A.、Chen,Y.Q.、Chen、Y.S.:自由代数张量积的合成-Diamond引理。《代数杂志》3232520-2537(2010)·Zbl 1198.16022号 [31] Bokut,L.A.、Chen,Y.Q.、Chen、Y.S.:交换代数上李代数的Gröbner-Shirshov基。《代数杂志》337,82-102(2011)·Zbl 1263.17003号 [32] Bokut,L.A.,Chen,Y.Q.,Deng,X.M.:Rota-Baxter代数的Gröbner-Shirshov基。同胞。数学。J.51,978-988(2010)·兹伯利1235.16021 [33] Bokut,L.A.,Chen,Y.Q.,Huang,J.P.:L-代数的Gröbner-Shirshov基。国际代数计算杂志。23, 547-571 (2013) ·Zbl 1282.17004号 [34] Bokut,L.A.,Chen,Y.Q.,Li,Y.:自由李代数的反交换Gröbner-Shirshov基。科学。中国Ser。数学。52, 244-253 (2009) ·Zbl 1190.16034号 [35] Bokut,L.A.,Chen,Y.Q.,Li,Y.:Vinberg-Koszul-Gerstenhaber右对称代数的Gröbner-Shirshov基。数学杂志。科学。166, 603-612 (2010) ·Zbl 1288.17001号 [36] Bokut,L.A.,Chen,Y.Q.,Li,Y.:Gröbner-Shirshov分类基础。《纯粹、应用数学与理论物理、操作与泛代数》南开丛书,第9卷,第1-23页(2012年)·Zbl 1300.16023号 [37] Bokut,L.A.,Chen,Y.Q.,Li,Y.:Lyndon-Shirshov单词和反交换代数。《代数杂志》378173-183(2013)·Zbl 1297.17004号 [38] Bokut,L.A.,Chen,Y.Q.,Liu,C.H.:拨号胸罩的Gröbner-Shirshov碱基。国际代数计算杂志。20, 391-415 (2010) ·Zbl 1245.17001号 [39] Bokut,L.A.,Chen,Y.Q.,Mo,Q.H.:代数的Gröbner-Shirshov基和嵌入。国际代数计算杂志。20, 875-900 (2010) ·兹伯利1236.16022 [40] Bokut,L.A.,Chen,Y.Q.,Mo,Q.H.:半环的Gröbner-Shirshov基。《代数杂志》385,47-63(2013)·Zbl 1286.16038号 [41] Bokut,L.A.,Chen,Y.Q.,Qiu,J.J.:具有多重运算的结合代数和自由Rota-Baxter代数的Gröbner-Shirshov基。J.纯应用。代数21489-100(2010)·Zbl 1213.16014号 [42] Bokut,L.A.,Chen,Y.Q.,Shum,K.P.:关于Gröbner-Shirshov基的一些新结果。摘自:2010年国际代数会议论文集,代数结构进展,第53-102页(2012)·Zbl 1264.16025号 [43] Bokut,L.A.,Chen,Y.Q.,Zhang,G.L.:结合n-共形代数的合成-Diamond引理。arXiv:0903.0892 [44] Bokut,L.A.,Chen,Y.Q.,Zhao,X.G.:Gröbner-Shirshov是自由逆半群的beses。国际代数计算杂志。19, 129-143 (2009) ·Zbl 1173.20039号 [45] Bokut,L.A.,Fong,Y.,Ke,W.-F.:结合共形代数的合成钻石引理。《代数杂志》272739-774(2004)·Zbl 1108.17006号 [46] Bokut,L.A.,Fong,Y.,Ke,W.-F.,Kolesnikov,P.S.:代数和共形代数中的Gröbner和Gróbner-Shirshov基。芬丹。申请。数学。6, 669-706 (2000) ·Zbl 0990.17007号 [47] Bokut,L.A.,Fong,Y.,Ke,W.-F.,Shiao,L.-S.:辫子半群的Gröbner-Shirshov基。收录:Shum,K.P.等人(编辑)《代数进展》。2002年8月14日至17日在中国香港举行的ICM卫星代数会议记录及相关主题·Zbl 1053.20049号 [48] Bokut,L.A.,Kang,S.-J.,Lee,K.-H.,Malcolmson,P.:李超代数及其泛包络代数的Gröbner-Shirshov基。《代数杂志》217,461-495(1999)·Zbl 0931.17008号 [49] Bokut,L.A.,Klein,A.A.:简单李代数I,II的Serre关系和Gröbner-Shirshov基。国际代数计算杂志。6(389-400), 401-412 (1996) ·Zbl 0866.17008号 [50] Bokut,L.A.,Klein,A.A.:例外李代数的Gröbner-Shirshov基I.J.Pure Appl。代数133,51-57(1998)·Zbl 0923.17014号 [51] Bokut,L.A.,Klein,A.A.:例外李代数E6,E7,E8的Gröbner-Shirshov基。摘自:《代数与组合数学》(香港),第37-46页,新加坡施普林格出版社(1999年)·兹比尔0952.17007 [52] Bokut,L.A.,Kolesnikov,P.S.:Gröbner-Shirshov基地:从最初到现在。数学杂志。科学。116, 2894-2916 (2003) ·Zbl 1069.16026号 [53] Bokut,L.A.,Kolesnikov,P.S.:Gröbner-Shirshov基,共形代数和伪代数。数学杂志。科学。131, 5962-6003 (2005) ·Zbl 1150.16020号 [54] Bokut,L.A.,Kukin,G.P.:算法和组合代数。数学及其应用。多德雷赫特Kluwer学术出版集团(1994)·Zbl 0826.17002号 [55] Bokut,L.A.,Malcolmson,P.:量子包络代数的Gröbner-Shirshov基。以色列。数学杂志。96, 97-113 (1996) ·Zbl 0910.17004号 [56] Bokut,L.A.,Malcolmson,P.:李代数和结合代数的Gröbner-Shirshov基。摘要集,ICAC’97,香港,第139-142页(1997)·Zbl 0058.01702号 [57] Bokut,L.A.,Malcolmson,P.:李代数及其包络代数关系的Gröbner-Shirshov基。收录:Shum,K.-P.等人(编辑)《代数与组合数学》。国际会议论文,1997年廉政公署,香港,1997年8月,第47-54页。新加坡施普林格(1999)·Zbl 0952.17008号 [58] Bokut,L.A.,Shiao,L.-S.:科克塞特集团的Gröbner-Shirshov基地。Commun公司。《代数》29,4305-4319(2001)·Zbl 1065.17006号 [59] Bokut,L.A.,Shum,K.P.:代数和群的相对Gröbner-Shirshov基。圣彼得堡数学。J.19,867-881(2008)·Zbl 1206.16016号 [60] Boone,W.W.:单词问题。安。数学。70, 207-265 (1959) ·Zbl 0102.00902号 [61] Borcherds,R.E.:顶点代数、Kac-Moody代数和怪物。程序。国家。阿卡德。科学。美国843068-3071(1986)·Zbl 0613.17012号 [62] Borcherds,R.E.:广义Kac-Moody代数。《代数杂志》115(2),501-512(1988)·Zbl 0644.17010号 [63] Borcherds,R.E.:怪物李代数。高级数学。83(1), 30-47 (1990) ·兹比尔0734.17010 [64] Brieskorn,E.,Saito,K.:Artin-Gruppen和Coxeter-Gruppen。发明。数学。17, 245-271 (1972) ·Zbl 0243.20037号 [65] Buchberger,B.:为零维多项式理想的剩余类环寻找基的算法。奥地利因斯布鲁克大学博士论文(1965年)·Zbl 1245.13020号 [66] Buchberger,B.:代数方程组可解性的算法准则。艾克。数学。4, 374-383 (1970) ·Zbl 0212.06401号 [67] Buchberger,B.:关键路径/完成程序的历史和基本特征。J.塞姆。计算。3, 3-38 (1987) ·Zbl 0645.68094号 [68] Buchberger,B.、Collins,G.E.、Loos,R.、Albrecht,R.:计算机代数、符号和代数计算。《计算补遗》,第4卷。纽约施普林格出版社(1982年)·兹标0491.00019 [69] Cain,A.J.,Gray,R.,Malhero,A.:Plactic代数的有限Gröbner-Shirshov基和Plactic幺半群的双自动结构。arXiv:1205.4885v2·Zbl 1311.20055号 [70] Cartier,P.:Remarques sur le the“ore”me de Birkhoff-Witt,Annali della Scuola Norm.Sup.di Pisa s比萨标准协会http://www.w3.org/1999/xlink“><mover accent=”true“><mspace width=”0.333333 em“/>e'rie III,第十二卷,第1-4页(1958年)·Zbl 1283.20060号 [71] Cassaigne,J.,Espie,M.,Krob,D.,Novelli,J.C.,Hivert,F.:中国幺半群。国际代数计算杂志。11, 301-334 (2001) ·Zbl 1024.20046号 [72] Chen,K.-T.,Fox,R.,Lyndon,R.:自由微分学IV:下中心级数的商群。安。数学。68, 81-95 (1958) ·Zbl 0083.01403号 [73] Chen,Y.Q.:群的Schreier扩张的Gröbner-Shirshov基。Commun公司。《代数》36,1609-1625(2008)·Zbl 1206.20027号 [74] Chen,Y.Q.:代数扩展的Gröbner-Shirshov基。代数Colloq.16,283-292(2009)·Zbl 1200.16032号 [75] Chen,Y.S.,Chen,Y.Q.:matabelian李代数的Gröbner-Shirshov基。《代数杂志》358143-161(2012)·Zbl 1305.17006号 [76] Chen,Y.Q.,Chen,Y-S.,Li,Y.:微分代数的合成-Diamond引理。阿拉伯的。科学杂志。工程师34135-145(2009) [77] Chen,Y.Q.,Chen,W.S.,Luo,R.I.:通过Gröbner-Shirshov bases为Novikov和Boone的小组解决单词问题。东南亚牛市。数学。32, 863-877 (2008) ·Zbl 1199.20062号 [78] Chen,Y.Q.,Chen,Y-S.,Zhong,C.Y.:模的合成-Diamond引理。捷克斯洛伐克。数学。J.60,59-76(2010)·Zbl 1224.16046号 [79] Chen,Y.Q.,Li,Y.:关于Akivis代数和Pre-Lie代数的一些评论。捷克斯洛伐克。数学。J.61(136),707-720(2011)·Zbl 1249.17002号 [80] Chen,Y.Q.,Li,Y.,Tang,Q.Y.:一些李代数的Gröbner-Shirshov基。同胞。数学。J.arXiv:1305.4546号·Zbl 1402.17014号 [81] Chen,Y.Q.,Li,J.,Zeng,M.J.:交换代数上非结合代数的合成-Diamond引理。东南亚牛市。数学。34, 629-638 (2010) ·Zbl 1232.17010号 [82] Chen,Y.Q.,Mo,Q.H.:辫子群的Artin-Markov范式。东南亚牛市。数学。33, 403-419 (2009) ·Zbl 1203.20036号 [83] Chen,Y.Q.,Mo,Q.H.:将树状代数嵌入到其泛包络Rota-Baxter代数中。程序。美国数学。Soc.1394207-4216(2011年)·Zbl 1254.17001号 [84] Chen,Y.Q.,Mo,Q.H.:自由部分交换李代数的Gröbner-Shirshov基。Commun公司。《代数》41,3753-3761(2013)·Zbl 1291.17005号 [85] Chen,Y.Q.,Qiu,J.J.:中国幺半群的Gröbner-Shirshov基。J.代数应用。7, 623-628 (2008) ·Zbl 1165.16013号 [86] Chen,Y.Q.,Shao,H.S.,Shum,K.P.:关于Uq(AN)的PBW基础上的Rosso-Yamane定理。CUBO数学。J.10,171-194(2008)·兹比尔1170.17001 [87] Chen,Y.Q.,Zhong,C.Y.:群的HNN扩张和替代群的Gröbner-Shirshov基。Commun公司。《代数》36,94-103(2008)·Zbl 1206.20028号 [88] Chen,Y.Q.,Zhong,C.Y.:一些单关系群的Gröbner-Shirshov基。代数Colloq.19,99-116(2011)·Zbl 1272.20036号 [89] Chen,Y.Q.,Zhong,C.Y.:Adjan-Thurston生成器中编织群的Gröbner-Shirshov基。《代数学报》20,309-318(2013)·Zbl 1269.20027号 [90] Chibrikov,E.S.:关于自由共形李代数。维斯特。新西卜。戈斯。塞尔维亚大学。马特·梅赫。通知。4(1), 65-83 (2004) ·Zbl 1249.17017号 [91] Chibrikov,E.S.:自由李代数和Lyndon-Shirshov词的右赋范基。《代数杂志》302,593-612(2006)·Zbl 1204.17006号 [92] Chibrikov,E.S.:自由李超代数的右形式基础和Lyndon-Shirshov词。代数日志。45(4), 458-483 (2006) ·Zbl 1115.17003号 [93] Chibrikov,E.S.:关于自由Sabinin代数。Commun公司。代数39,4014-4035(2011)·Zbl 1251.17016号 [94] Chibrikov,E.S.:关于李代数的一些嵌入。J.代数应用。11(1), 12 (2012) ·Zbl 1257.17006号 [95] Cohn,P.M.:关于Birkhoff-Witt定理的评论。J.隆德。数学。Soc.38,197-203(1963年)·Zbl 0109.26202号 [96] 科恩,P.M.:《泛代数》。哈珀现代数学系列。哈珀和罗,纽约出版社xv,333 p.(1965)(第二版:雷德尔,多德雷赫特(1981))·Zbl 0141.01002号 [97] Collins,D.J.:用词和共轭问题在有限呈现群中表示图灵可约性。数学学报。128, 73-90 (1972) ·Zbl 0229.20036号 [98] Dotsenko,V.,Khoroshkin,A.:歌剧的Gröbner基础。杜克大学数学。J.153,363-396(2010)·Zbl 1208.18007号 [99] Eisenbud,D.,Peeva,I.,Sturmfels,B.:交换代数的非交换Gröbner基。程序。美国数学。Soc.126、687-691(1998年)·Zbl 0898.16015号 [100] Etingof,P.,Henriques,A.,Kamnitzer,J.,Rains,E.M.:带标记点的亏格0稳定曲线模空间实轨迹的上同调环。安。数学。171, 731-777 (2010) ·Zbl 1206.14051号 [101] Farkas,D.R.,Feustel,C.,Green,E.I.:Gröbner基和路代数理论中的协同作用。可以。数学杂志。45, 727-739 (1993) ·Zbl 0821.13010号 [102] Gao,X.,Guo,L.,Zheng,S.H.:用Gröbner-Shirshov基方法构造自由交换积分微分代数。J.代数应用。(2014年发布)·Zbl 1317.16022号 [103] A.F.加赛德:辫子组和其他组。Q.J.数学。牛津大学。20, 235-254 (1969) ·Zbl 0194.03303号 [104] Gelfand,S.I.,Manin,Y.I.:同调代数。柏林施普林格(1999)·Zbl 0787.18008号 [105] Gerdt,V.P.,Kornyak,V.V.:由有限个关系定义的李代数和超代数:计算机分析。J.非线性数学。物理学。2(3-4), 367-373 (1995) ·Zbl 0967.17002号 [106] Gerdt,V.P.,Robuk,V.N.,Sever'yanov,V.M.:有限表示李代数的构造。计算。数学。数学。物理学。36(11), 1493-1505 (1996) ·Zbl 0919.17001号 [107] Gerdt,V.P.,Kornyak,V.V.:为有限表示李代数和超代数构造一个完整的关系系统、基元和交换子表的程序。程序。计算。柔和。23(3), 164-172 (1997) ·Zbl 0972.68192号 [108] Golod,E.S.:标准碱和同源性。收录:代数:一些当前趋势。数学课堂讲稿,第1352卷,第88-95页(1988年)·Zbl 0657.13013号 [109] Green,D.J.:Gröbner碱与群上同调的计算。柏林施普林格出版社(2003)·Zbl 1050.20036号 [110] Green,J.A.:霍尔代数、遗传代数和关塔姆代数。发明。数学。120, 361-377 (1985) ·Zbl 0836.16021号 [111] Guo,L.,Sit,W.,Zhang,R.:微分型算子和Gröbner-Shirshov基。J.塞姆。计算。52, 97-123 (2013) ·Zbl 1290.16021号 [112] Gupta,C.K.,Umirbaev,U.U.:自由复幂零李代数的发生问题。Commun公司。《代数》27,5857-5876(1999)·Zbl 0939.17005号 [113] Hall,M.:自由李环和自由群中更高交换子的基础。程序。美国数学。Soc.3575-581(1950)·Zbl 0039.26302号 [114] 霍尔,P.:对素数幂序群理论的贡献。程序。伦敦。数学。Soc.系列。36, 29-95 (1933) ·Zbl 0007.29102号 [115] Higman,G.:有限呈现群的子群。程序。R.Soc.伦敦。(A系列)262455-475(1961年)·Zbl 0104.02101号 [116] Jones,V.F.R.:辫子群和链接多项式的Hecke代数表示。安。数学。128, 335-388 (1987) ·Zbl 0631.57005号 [117] Kac,G.:无限维李代数。剑桥大学出版社,剑桥(1990)·Zbl 0716.17022号 [118] Kalorkoti,K.:群论中的决策问题。程序。伦敦。数学。Soc.III系列。44, 312-332 (1982) ·Zbl 0485.20022号 [119] Kalorkoti,K.:有限呈现群的图灵度和词与共轭问题。东南亚牛市。数学。30, 855-887 (2006) ·Zbl 1149.20027号 [120] Kalorkoti,K.:具有几乎可解共轭问题的有限呈现群。亚洲欧洲数学杂志。2, 611-635 (2009) ·Zbl 1207.20024号 [121] Kalorkoti,K.:Bokut正规形式的充分条件。Commun公司。《代数》39,2862-2873(2011)·Zbl 1230.20032号 [122] Kandri-Rody,A.,Weispfenning,V.:可解类型A.J.Symb代数中的非交换Gröbner基。计算。9, 1-26 (1990) ·Zbl 0715.16010号 [123] Kang,S.-J.,Lee,K.-H.:代表理论的Gröbner-Shirshov基础。J.韩国数学。Soc.37,55-72(2000年)·Zbl 0979.16010号 [124] Kang,S.-J.,Lee,K.-H.:不可约sln+1模的Gröbner-Shirshov基。《代数杂志》232,1-20(2000)·兹比尔1023.17001 [125] Kang,S.-J.,Lee,I.-S,Lee,K.-H.,Oh,H.:赫克代数,Specht模和Gröbner-Shirshov基。《代数杂志》252258-292(2002)·Zbl 1038.20005号 [126] Kang,S.-J.,Lee,I.-S,Lee,K.-H.,Oh,H.:Ariki-Koike代数和Gröbner-Shirshov基的表示。程序。伦敦。数学。Soc.III系列。89, 54-70 (2004) ·兹比尔1065.20008 [127] Kang,S.-J.,Lee,K.-H.:Gröbner-Shirshov基理论的线性代数方法。《代数杂志》313988-1004(2007)·Zbl 1180.17005号 [128] Karpus,E.G.:中国幺半群的完整重写系统。申请。数学。科学。4, 1081-1087 (2010) ·Zbl 1198.2004年25月 [129] Karpus,E.G.,Cevik,A.S.:扩展模块、扩展Hecke和Picard群的Gröbner-Shirshov基。数学。附注92、636-642(2012)·Zbl 1283.20060号 [130] Karpus,E.G.,Ates,F.,Cevik,A.S.:一些Weyl群的Gröbner-Shirshov基。Rocky Mt.J.数学。(2014年,待发布)·Zbl 1331.13019号 [131] 哈尔琴科(V.K.Kharchenko):庞加尔-伯霍夫-威特(Poincar-Birkhoff-Witt)定理的量子模拟。代数日志。38(4), 476-507 (1999) ·Zbl 0936.16034号 [132] Kharchenko,V.K.:李代数量化的组合方法。派克靴。数学杂志。203, 191-233 (2002) ·Zbl 1069.17008号 [133] Kharchenko,V.K.:Shirshov-Witt定理的编织版本。《代数杂志》294196-225(2005)·Zbl 1082.17005号 [134] Kharchenko,V.K.:coide子代数的PBW-基和自由性定理。事务处理。美国数学。Soc.3605121-5143(2008)·Zbl 1165.16023号 [135] Kharchenko,V.K.:右coide子代数的三角分解。《代数杂志》3243048-3089(2010)·Zbl 1217.17009号 [136] Kharlampovich,O.G.,Sapir,M.V.:品种的算法问题。国际代数计算杂志。5, 379-602 (1995) ·兹比尔0837.00802 [137] Knuth,D.E.:置换、矩阵和广义Young表。派克靴。数学杂志。34, 709-727 (1970) ·Zbl 0199.31901号 [138] Knuth,D.E.,Bendix,P.B.:泛代数中的简单单词问题。摘自:Leech,J.(编辑)《抽象代数中的计算问题》,第263-297页。牛津佩加蒙出版社(1970)·兹比尔0188.04902 [139] Kocapinar,C.,Karpush,E.,Ates,F.,Cevik,A.S.:广义Bruck-Reilly*-扩张的Gröbner-Shirshov基。《代数Colloq.19813-820》(2012)·Zbl 1298.20070号 [140] Kolchin,E.R.:微分代数和代数群。纽约学术出版社(1973)·Zbl 0264.12102号 [141] Kozybaev,D.,Makar-Limanov,L.,Umirbaev,U.:自由右对称代数的Freiheitssatz和自映射。亚洲欧洲数学杂志。1, 243-254 (2008) ·Zbl 1168.17002号 [142] Kukin,G.P.:关于李代数的单词问题。锡比尔斯克。材料Zh。18, 1194-1197 (1977) ·Zbl 0383.17006号 [143] Kurosh,A.G.:非结合自由代数和代数的自由乘积。Mat.Sb.20,239-262(1947)·Zbl 0041.16803号 [144] Kurosh,A.G.:多算子环池代数。Uspekhi Mat.Nauk乌斯佩基·马特·诺克24(145),3-15(1969)·Zbl 0195.05102号 [145] La Scala,R.,Levandovskyy,V.:字母位置理想和非交换Gröbner基。J.塞姆。计算。44, 1374-1393 (2009) ·Zbl 1186.16014号 [146] Lambek,J.:演绎系统和第二类:标准结构和封闭类别。数学课堂讲稿,第86卷。柏林施普林格(1969)·Zbl 0198.33701号 [147] Latyshev,V.N.:线性结构中标准基底的一般版本。摘自:Bahturin,Y.(编辑)《代数》,第215-226页。Walter de Gruyter,柏林(2000)·Zbl 0968.16011号 [148] Latyshev,V.N.:标准底座的改进版本。收录于:Krob,D.等人(编辑)《形式幂级数与代数组合学》,第496-505页。施普林格,柏林(2000)·Zbl 0976.13017号 [149] Lazard,M.:《群居》(Groupes,anneaux de Lie et problème de Burnside)。罗马大学(1960年)·Zbl 1236.16022号 [150] Lee,D.V.:科克塞特群E6和E7的Gröbner-Shirshov基和正规形。在:Shum,K.P.等人(编辑)《代数和组合数学进展》,第243-255页。世界科学,哈肯萨克(2008)·Zbl 1179.20037号 [151] Lothaire,M.:单词组合学。Addison-Wesley出版公司,第xix卷,238页(1983年)(第二版:剑桥大学出版社,剑桥(1977年))·Zbl 1001.68093号 [152] Lothaire,M.:《单词代数组合学》,《数学及其应用百科全书》,剑桥大学出版社(2002年)·Zbl 1001.68093号 [153] Lothaire,M.:单词代数组合学。剑桥大学出版社,剑桥(2002)·Zbl 1001.68093号 [154] Lusztig,G.:量子化包络代数产生的规范基。美国数学杂志。Soc.3447-498(1990年)·Zbl 0703.17008号 [155] Lusztig,G.:具有不等参数的Hecke代数。CRM专题丛书,第18卷。美国数学学会,普罗维登斯(2003)·Zbl 1051.20003号 [156] 林登,R.C.:关于伯恩赛德的问题I.Trans。美国数学。Soc.第77202-215页(1954年)·Zbl 0058.01702号 [157] Maclane,S.:同源。柏林施普林格(1963)·Zbl 0102.00902号 [158] Makar-Limanov,L.:庞加莱-Birkhoff-Witt定理的一个版本。牛市。伦敦。数学。Soc.26(3),273-276(1994)·Zbl 0823.17013号 [159] Makar-Limanov,L.,Umirbaev,U.U.:泊松代数的Freiheitssatz。《代数杂志》328(1),495-503(2011)·Zbl 1285.17007号 [160] 马尔科夫,A.A.:辫子代数理论简介。收录:Steklov Mat.Ins会议记录。RAS,第16卷(1945年)·Zbl 0061.02507号 [161] Markov,A.A.:某些关联系统理论中某些算法的不可能性。多克。阿卡德。诺克SSSR 55,587-590(1947) [162] May,P.:迭代循环空间的几何。数学课堂讲稿,第271卷。柏林施普林格(1972)·Zbl 0244.55009号 [163] Michel,J.:塞米恩Hausdorff,Bases des algèbres de Lie et série de Hausdorvf。P.Dubreil,27e anne 1973/74,法斯科·阿尔盖布雷。1,曝光6,9页(1975年)·Zbl 0332.17004号 [164] Michel,J.:微积分与自由代数:Hausdorff和Burnside问题。阿斯特里斯克38/39、139-148(1976)·Zbl 0351.17012号 [165] Mikhalev,A.A.:色李超代数的合成引理和等式问题。莫斯克。大学数学。牛市。44(5), 87-90 (1989) ·Zbl 0705.17004号 [166] Mikhalev,A.A.:色李超代数和李p-超代数的合成引理。代数。收录于:Bokut,L.A.、Ershov,Y.L.、Kostrikin,A.I.(编辑)《国际记忆会议论文集》A.I.Mal'cev,新西伯利亚/苏联1989年,康特姆。数学。131,第2部分,91-104(1992)·Zbl 0862.17006号 [167] Mikhalev,A.A.:李超代数(非对易Gröbner基)中的Shirshov合成技术。数学杂志。科学。纽约80(5),2153-2160(1996)·Zbl 0862.17005号 [168] Mikhalev,A.A.,Shpillain,V.,Umirbaev,U.U.:关于具有一个定义关系的李代数的同构。国际代数计算杂志。14(3), 389-393 (2004) ·Zbl 1107.17002号 [169] Mikhalev,A.A.,Zolotykh,A.A.:李超代数的组合方面,第八卷,260页,CRC出版社,博卡拉顿(1995)·Zbl 0871.17002号 [170] Mikhalev,A.A.,Zolotykh,A.A.:环上自由代数的标准Gröbner-Shirshov基,I.自由结合代数。国际代数计算杂志。8, 689-726 (1998) ·Zbl 0923.16024号 [171] Mora,F.:非交换多项式环的Gröbner基。在:代数算法和纠错代码。计算机科学课堂讲稿,第229卷,第353-362页(1986年)·Zbl 0659.16003号 [172] 纽曼,M.H.A.:关于“等价”组合定义的理论。安。数学。43, 223-243 (1942) ·Zbl 0060.1251 [173] 诺维科夫,P.S.:关于群论中单词问题的算法不可判定性。斯特克洛夫特鲁迪材料研究所。44, 1-144 (1955) [174] Obul,A.,Yunus,G.:E6型量子群的Gröbner-Shirshov基。《代数杂志》346,248-265(2011)·Zbl 1275.17029号 [175] Odesskii,A.:椭圆代数理论简介。data.imf.au.dk/conferences/FMOA05/·兹比尔1052.81050 [176] Poliakova,O.,Schein,B.M.:自由逆半群的新构造。《代数杂志》288,20-58(2005)·Zbl 1082.20039号 [177] Polishchuk,A.,Positselski,L.:二次代数。AMS,普罗维登斯(2005)·Zbl 1145.16009号 [178] Poroshenko,E.N.:Kac-Moody代数An(1)和Bn(1)的Gröbner-Shirshov基。收录于:Krob,D.等人(编辑)《形式幂级数与代数组合学》,第552-563页。施普林格,柏林(2000)·Zbl 0993.17012号 [179] Poroshenko,E.N.:Cn(1)和Dn(1”型Kac-Moody代数的Gröbner-Shirshov基。维斯特。新西卜。戈斯。塞尔维亚大学。马特·梅赫。通知。2, 58-70 (2002) ·Zbl 1013.17021号 [180] Poroshenko,E.N.:An(1)型Kac-Moody代数的Gröbner-Shirshov基。Commun公司。代数302617-2637(2002)·Zbl 1007.17017号 [181] Poroshenko,E.N.:部分交换李代数的基。代数日志。50, 405-417 (2011) ·Zbl 1290.17003号 [182] Post,E.:递归无法解决问题的变体。牛市。美国数学。Soc.52264-268(1946年)·Zbl 0063.06329号 [183] Post,E.:Thue问题的递归不可解性。J.塞姆。逻辑1,1-11(1947)·Zbl 1263.03030号 [184] Priddy,S.B.:Koszul决议。事务处理。美国数学。Soc.152、39-60(1970)·Zbl 0261.18016号 [185] 邱,J.J.,陈,Y.Q:带多算子的λ-微分结合代数的合成-Diamond引理。J.代数应用。9, 223-239 (2010) ·Zbl 1197.16029号 [186] Qiu,J.J.:具有多个算子的交换代数和自由交换Rota-Baxter代数的Gröbner-Shirshov基。亚洲欧洲数学杂志。(2014年,待发布)·Zbl 1318.16023号 [187] 拉宾,M.:群体政治问题的循环不可解性。安。数学。67(1), 172-194 (1958) ·Zbl 0079.24802 [188] Razmyslov,Y.P.:代数的恒等式及其表示,第xiii卷,318页,AMS,普罗维登斯(1994)·兹比尔0827.17001 [189] Ren,Y.H.,Obul,A.:G2型量子群的Gröbner-Shirshov基。Commun公司。《代数》39,1510-1518(2011)·Zbl 1226.17011号 [190] Reutenauer,C.:自由李代数。牛津大学出版社,纽约(1993)·Zbl 0798.17001号 [191] Ringel,C.M.:霍尔代数和量子群。发明。数学。101, 583-592 (1990) ·Zbl 0735.16009号 [192] Ringel,C.M.:量子群的PBW-碱。J.Reine Angew。数学。170, 51-88 (1996) ·Zbl 0840.17010号 [193] Ritt,J.F.:微分代数。AMS,纽约(1950年)·Zbl 0037.18501号 [194] Roitman,M.:关于自由共形代数和顶点代数。《代数杂志》217496-527(1999)·Zbl 0951.17013号 [195] Rosso,M.:Poincare-Birkhoff-Witt定理和Uq(sl(N+1))的通用R-矩阵的类似物。Commun公司。数学。物理学。124, 307-318 (1989) ·Zbl 0694.17006号 [196] Schützenberger,M.P.,Sherman,S.:关于自由群中共轭类上的形式积。数学杂志。分析。申请。7, 482-488 (1963) ·Zbl 0116.25602号 [197] Schützenberger,M.P.:关于自由幺半群的因式分解。程序。美国数学。《社会分类》第16卷第21-24页(1965年)·Zbl 0219.20039号 [198] Segal,D.:自由左对称代数和类似的Poincaré-Birkhoff-Witt定理。《代数杂志》164750-772(1994)·Zbl 0831.17001号 [199] Shirshov,A.I.:非结合环和代数理论中的一些问题。莫斯科国立大学科学论文候选人(1953年)。http://math.nsc.ru/LBRT/a1/ShirshovPhD.djvu [200] Shirshov,A.I.:自由李代数的子代数。Uspekhi Mat.Nauk乌斯佩基·马特·诺克8(3)、173(1953) [201] Shirshov,A.I.:关于结合环中Lie环的表示。Uspekhi Mat.Nauk N.S.8(5)(57),173-175(1953)·兹比尔0052.03003 [202] Shirshov,A.I.:自由交换代数和自由反交换代数的子代数。Mat.Sb.4(1),82-88(1954)·Zbl 0055.02703号 [203] A.I.Shirshov:关于自由Lie环。材料标准45(2),113-122(1958)·Zbl 0080.25503号 [204] Shirshov,A.I.:几乎结合环理论中的一些问题。Uspekhi Mat.Nauk乌斯佩基·马特·诺克13(6)(84),3-20(1958)·Zbl 0088.03202号 [205] A.I.Shirshov:基于自由李代数的基础。代数日志。1(1), 14-19 (1962) ·Zbl 0145.25803号 [206] Shirshov,A.I.:ε-代数的一些算法问题。锡比尔斯克。材料Zh。3, 132-137 (1962) ·Zbl 0143.25602号 [207] Shirshov,A.I.:李代数的一些算法问题。锡比尔斯克。材料Zh。3(2),292-296(1962)(SIGSAM Bull.33,3-6(1999)的英文翻译)·Zbl 0104.26004号 [208] A.I.Shirshov:关于李代数理论中的一个假设。Sibirsk Mat.Zh公司。3(2), 297-301 (1962) ·Zbl 0104.26003号 [209] A.I.Shirshov的作品选自:Bokut,L.A.,Latyshev,V.,Shestakov,I.,Zelmanov,E.,Trs。Bremner,M.,Kochetov,M.(编辑)Birkhäuser,巴塞尔,波士顿,柏林(2009)·Zbl 1188.01028号 [210] Tits,J.:《科克塞特集团的问题》(Le problème des mots dans les groupes de Coxeter)。交响乐团。数学。1, 175-185 (1968) ·Zbl 0206.03002号 [211] 图灵,A.M.:带消去的半群中的单词问题。安。数学。52, 191-505 (1950) ·Zbl 0037.30103号 [212] Ufnarovski,V.A.:代数中的组合和渐近方法。代数VI(57),1-196(1995)·Zbl 0826.16001号 [213] Ufnarovski,V.A.:非交换Gröbner基理论简介。摘自:Buchberger,B.等人(编辑)Gröbner Bases and Applications。伦敦数学学会讲义系列,第251卷,第259-280页剑桥大学出版社,剑桥(1998)·Zbl 0902.16002号 [214] Umirbaev,U.U.:中心-元贝尔李代数的等式问题。代数日志。23, 209-219 (1984) ·Zbl 0594.17007号 [215] Umirbaev,U.U.:李代数的发生问题。代数日志。32(3), 173-181 (1993) ·Zbl 0821.17002号 [216] U.U.Umirbaev:结合代数中的算法问题。代数日志。32(4), 244-255 (1993) ·Zbl 0851.16023号 [217] Viennot,G.:自由李代数和自由单胚代数。数学课堂讲稿,第691卷。柏林施普林格(1978)·Zbl 0395.17003号 [218] Witt,E.:《费里安·连杰·林奇之死》(Die Unterringe der frien Lienge Ringe)。数学。Z.64195-216(1956)·Zbl 0070.02903号 [219] Wu,W.-T.:关于初等几何中的决策问题和定理证明的机械化。科学。罪。21, 157-179 (1978) [220] Yamane,I.:AN型量子化泛包络代数的Poincare-Birkhoff-Witt定理。RIMS公司。京都大学25,503-520(1989)·Zbl 0694.17007号 [221] Yunus,G.,Obul,A.:D4型量子群的Gröbner-Shirshov基。下巴。安。数学。32,B(4),581-592(2011)·Zbl 1295.17015号 [222] Yunus,G.,Gao,Z.Z.,Obul,A.:量子群的Gröbner-Shirshov基。代数学院(2014年出版)·Zbl 1394.17041号 [223] Zhang,X.,Jiang,M.:关于带有不可解词问题的半群的Post和Markov示例。东南亚牛市。数学。37, 465-473 (2013) ·Zbl 1299.20062号 [224] Zelmanov,E.:Nil环和周期群。KMS数学讲义,第x卷,79页,韩国数学学会,首尔(1992)·Zbl 0953.16500号 [225] Zhou,M.,Winkler,F.:微分模和微分维数多项式中的Gröbner基。科学。中国Ser。数学。51, 1732-1752 (2008) ·兹伯利1166.13031 [226] 朱可夫,A.I.:非结合代数中定义关系的完整系统。材料Sb.69(27),267-280(1950)·Zbl 0038.17001号 [227] Zolotykh,A.A.,Mikhalev,A.A.:李超代数计算的复杂算法。掠夺。计算。柔和。23(1), 8-16 (1997) ·Zbl 0973.17001号 [228] Zolotykh,A.A.,Mikhalev,A.A.:交换环上自由代数理想的标准Gröbner-Shirshov基的构造算法。掠夺。计算。柔和。24(6), 271-272 (1998) ·Zbl 0969.17005号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。