马塞尔·杰克逊;任妙妙;赵显忠 具有有限基半群约简的非有限基ai半环。 （英文） Zbl 07594495号 J.代数 611, 211-245 (2022). 摘要：我们给出了一些一般结果，这些结果暗示了许多具有有限基半群约简的可加幂等半环的非有限公理化性。最小的是一个3元素交换示例，我们还显示了NP公司-因其多样性而难以成为会员。作为3元上唯一的非有限公理化ai-siming，我们能够证明它的非有限基性质感染了许多相关的半环，包括半群（B_2^1）上的自然ai-simring结构。我们还通过证明具有非贝拉幂零子群的有限可加幂等半环的恒等式不是有限公理化的，从而显著地扩展了以前基于群论的例子。 引用于2评论引用于8文件 MSC公司： 2016年60月 半环 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 关键词：半环;有限基问题;NP公司-完成;品种成员资格 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}等人，J.代数611，211--245（2022；Zbl 07594495） 全文： 内政部 arXiv公司 参考文献： [1] Abramsky，S。；Gottlob，G。；Kolaitis，P.G.，量子力学中的鲁棒约束满足和局部隐变量，（IJCAI’13（2013）），440-446 [2] 丙酮，L。；埃西克，Z。；Ingólfsdóttir，A.，自然数的max-plus代数没有有限的方程式基础，Theor。计算。科学。，293, 169-188 (2003) ·Zbl 1021.08001号 [3] 安德雷卡，H。；Mikulás，Sz.，二元关系正代数的公理化，代数大学。，66, 7-34 (2011) ·Zbl 1253.03091号 [4] Bloniarz，P.A。；亨特·H·B。；Rosenkrantz，D.J.，《具有硬等价和最小化问题的代数结构》，J.Assoc.Compute。机器。，31, 879-904 (1984) ·兹比尔062868039 [5] Brakensiek，J。；Guruswami，V.，《承诺约束满足：结构理论和对称布尔二分法》，（第二十届ACM-SIAM离散算法年会论文集（SODA'18）（2018），工业和应用数学学会：美国宾夕法尼亚州费城工业和应用数学学会），1782-1801·Zbl 1403.68074号 [6] 布林，J。；Krokhin，A。；Opršal，J.，承诺约束满足的代数方法，（第51届ACM SIGACT计算理论年度研讨会论文集（STOC’19）。第51届ACM SIGACT计算机理论年会（STOC’19）会议记录，美国纽约州纽约市（2019年）·Zbl 1433.68271号 [7] Burnside，W.，有限阶群理论（1911），剑桥大学出版社 [8] Conway，J.H.，《正则代数与有限机器》，Chapman&Hall/CRC数学（1971），Chapmon and Hall，Ltd.：伦敦Chapman and Hall有限公司·Zbl 0231.94041号 [9] Dolinka，I.，《基于非有限元的有限半环》，《代数计算》。，17, 1537-1551 (2007) ·Zbl 1137.08003号 [10] Dolinka，I.，一类固有的基于非有限的半环，代数大学。，60, 19-35 (2009) ·Zbl 1172.08003号 [11] Dolinka，I.，关于非有限基半环的评论，半群论坛，78368-373（2009）·Zbl 1176.16038号 [12] Dolinka，I.，零有限半格的自同态半环的有限基问题，代数大学。，61, 441-448 (2009) ·Zbl 1197.16047号 [13] Edmunds，C.C.，由四阶半群生成的变体，半群论坛，21，67-81（1980）·Zbl 0449.20060号 [14] Erdős，P。；Hajnal，A.，《关于图和集合系统的色数》，《数学学报》。阿卡德。科学。挂。，17, 61-99 (1966) ·Zbl 0151.33701号 [15] Garvac'kiĭ，V.S.，∏-变换半群，（半群理论及其应用，第2卷（1971），Izdat。萨拉托夫。单位：伊兹达特。萨拉托夫。Uni.大学。萨拉托夫），2-13，（俄语）·Zbl 0245.20064号 [16] Ghosh，S。；Pastijn，F。；Zhao，X.Z.，有序乐队产生的品种I，Order，22109-128（2005）·兹比尔1097.16018 [17] Golubov，È。答：。；Sapir，M.V.，有限逼近半群的各种，苏联数学。（Iz.VUZ），第26、11、25-36页（1982年）·Zbl 0521.20047 [18] Hall，M.，《集团理论》（1976），切尔西出版公司：纽约切尔西出版公司·Zbl 0354.20001号 [19] Ham，L.，鲁棒可满足性的Gap定理：布尔CSP及其后，Theor。计算。科学。，676, 69-91 (2017) ·Zbl 1370.68128号 [20] 哈姆，L。；Jackson，M.，《要么全有要么全无：走向约束问题的承诺问题二分法》（Beck，J.C.，CP 2017）。CP 2017，LNCS，第10416卷（2017）），139-156 [21] 哈姆，L。；Jackson，M.，超图泛Horn类的公理化性和硬度，代数大学。，79，第30条pp.（2018）·Zbl 1522.08003号 [22] Howie，J.M.，《半群理论基础》（1995），牛津大学出版社：牛津大学出版社，纽约·Zbl 0835.20077 [23] Jackson，M.，《有限半群的变种有无数子变种》，J.代数，228512-535（2000）·Zbl 0959.20052 [24] Jackson，M.，小的固有非有限基有限半群，半群论坛，64，297-324（2002）·Zbl 1004.20042号 [25] Jackson，M.，《平面代数和通用Horn逻辑到等式逻辑的转换》，J.Symb。日志。，73, 90-128 (2008) ·Zbl 1141.03006号 [26] Jackson，M.，《低增长方程复杂性》，Proc。爱丁堡。数学。Soc.，62，197-210（2019年）·Zbl 1441.08002号 [27] Jackson，M.，柔性约束可满足性和半群理论中的一个问题 [28] 杰克逊，M。；Sapir，O.，《有限基有限词集》，《国际代数计算》。，10, 683-708 (2000) ·Zbl 0980.20052号 [29] 杰克逊，M。；Stokes，T.，部分映射代数中的恒等式，国际代数计算杂志。，16, 1131-1159 (2006) ·Zbl 1117.08003号 [30] 杰克逊，M。；Volkov，M.V.，相对固有的非有限Q基有限半群，Trans。美国数学。Soc.，361，2181-2206（2009）·Zbl 1171.08003号 [31] 杰克逊，M。；Zhang，W.T.，《从A到B到Z》，半群论坛，103165-190（2021）·Zbl 1479.20040号 [32] Jones，P.R.，《左限制半群的多样性》，J.Aust。数学。Soc.，105，173-200（2018年）·Zbl 1400.20057 [33] Kun，G。；Vértesi，V.，有限平面超图代数中的隶属度问题，国际代数计算杂志。，17, 3, 449-459 (2007) ·Zbl 1117.08005号 [34] Kuřil先生。；Polák，L.，关于半格序半群的变种，半群论坛，71，27-48（2005）·Zbl 1090.20028号 [35] Lee，E.W.H.，《一些非行为品种的身份基础》，半群论坛，68，445-457（2004）·Zbl 1059.20054号 [36] Leech，J.，具有自然半格序的逆幺半群，Proc。伦敦。数学。《社会学杂志》，第3-70页，第146-182页（1995年）·Zbl 0830.20086 [37] Lyndon，R.，二值计算中的恒等式，Trans。美国数学。《社会学杂志》，71，457-465（1951）·Zbl 0044.00201 [38] McKenzie，R.N.，Tarski的有限基问题是不可判定的，《国际代数计算》。，6, 49-104 (1996) ·Zbl 0844.08011号 [39] McKenzie，R。；罗曼诺夫斯卡，A.，《分布式双相似性的多样性》，（《对普通代数的贡献》，《克拉根福会议论文集》，《克拉根福会议文献集》，克拉根福，1978年（1979年），《海因：海因·克拉根福》），213-218·Zbl 0419.06003号 [40] 奥茨，S。；鲍威尔，M.B.，有限群中的恒等关系，J.代数，1，11-39（1964）·Zbl 0121.27202号 [41] Ol’shanksiĭ，A.，有限逼近群的种类，Izv。阿卡德。Nauk SSSR，序列号。Mat…Izv公司。阿卡德。Nauk SSSR，序列号。数学、数学。苏联，伊兹瓦。，3867-877（1969），（俄语）；中的英文版本·Zbl 0213.29002号 [42] Pastijn，F.，有序带产生的品种II，Order，22129-143（2005）·Zbl 1097.16019号 [43] 帕斯蒂恩，F。；赵晓忠，带交换加法的幂等半环的簇，代数宇宙。，54, 301-321 (2005) ·Zbl 1084.16039号 [44] Perkins，P.，《半群方程理论的基础》，J.代数，11298-314（1968）·Zbl 0186.03401号 [45] Pin，J.-E.，\（B G=P G \），一个成功的故事，（Fountain，J.，半群，形式语言和群。半群，形式语言和群，北约ASI系列，系列C:数学物理科学，第466卷（1995），Kluwer学术出版社：Kluwer学术出版社Dordrecht Boston London），33-37·Zbl 0872.20054号 [46] 任，M.M。；Zhao，X.Z.，满足\（X^3\approxyx\）和\（xy\approxyx\）的半格序半群的变种，周期。数学。挂。，72, 158-170 (2016) ·Zbl 1399.20062号 [47] 任，M.M。；赵小中。；Shao，Y.，满足（x^n\近似x）和（xy\近似Y x）的ai-miring变种的晶格，半群论坛，100542-567（2020）·Zbl 1457.16045号 [48] 任，M.M。；赵小中。；Wang，A.F.，关于满足（x^3\近似x）的ai-mirings的变种，代数大学。，77, 395-408 (2017) ·Zbl 1371.08005号 [49] Sapir，M.V.，Burnside型问题和各种半群的有限基性质，Izv。阿卡德。Nauk SSSR，序列号。材料，51，319-340（1987），（俄语） [50] Sapir，M.V.，固有非有限基有限半群，Mat.Sb.，133，154-166（1987），（俄语）·Zbl 0634.20027号 [51] Sapir，O.，《有限基词》，《国际代数计算》。，10, 457-480 (2000) ·Zbl 1010.20043号 [52] Shao，Y。；Ren，M.M.，关于二阶ai-simrings产生的变体，半群论坛，91，171-184（2015）·Zbl 1347.16052号 [53] Székély，Z.，品种有限成员问题的计算复杂性，国际代数计算杂志。，12, 811-823 (2002) ·Zbl 1046.08006号 [54] Trahtman，A.N.，五元Brandt半群的恒等式基础，Ural。戈斯。马特扎普大学。，12, 147-149 (1981) ·Zbl 0493.20038号 [55] Volkov，M.V.，Brandt幺半群的半环恒等式，代数大学。，82, 42 (2021) ·Zbl 1469.16091号 [56] Willard，R.，《论麦肯齐的方法，周期》。数学。挂。，32, 149-165 (1996) ·Zbl 0856.08005号 [57] 赵小中。；Ren，M.M。；Crvenković，S。；Shao，Y。；Đapić，P.，三阶AI映射生成的变体，Ural Math。J.，6117-132（2020）·Zbl 1489.16050号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。