×
彼得·迈尔；阿格内斯·森德雷伊

同余代数。 （英语） Zbl 1484.08015号

代数大学。 82，第4期，第55号论文，39页（2021年）.
作者摘要：我们提出了一个函数结构，它从代数（mathbf{a}）中有限指标的同余开始，产生了一个新的代数（mathbf{C}），具有以下性质：（mathbf{C}\）的同余格同构于（mathbf2{a}\）上0到（alpha\）之间的同余区间，这种同构保留了更高的交换子和TCT类型，并且（mathbf{C}）从（mathbf{A}）继承了所有幂等Maltsev条件。作为这种构造的应用，我们首先证明了省略类型\（mathbf{1}\）的有限代数的同余的超幂是可判定的。其次，我们证明了具有立方体项的有限代数的次幂隶属问题可以有效地归结为具有中心单体的次直不可约代数的次直积中的隶属问题。因此，我们得到了具有立方体项的有限代数的子幂元隶属度问题的多项式时间算法，其中每个次直不可约截面的整体都有一个超幂元中心化子。
审核人：安娜·罗曼诺夫斯卡（华沙）

引用于1文件

MSC公司：

08C05号机组 代数的范畴
08A30型 子代数，同余关系
08A40号 代数结构、原代数中的运算和多项式
08B10号 同余模块性，同余分配性
18二氧化碳 等式范畴

关键词：

同余；换向器；马尔采夫条件；次权力成员；超能力
PDF格式BibTeX公司 XML格式引用
\textit{P.Mayr}和\textit{阿尔森德雷}，代数大学。82，第4号，第55号文件，第39页（2021年；Zbl 1484.08015）
全文： 内政部 arXiv公司

参考文献：

[1] Aichinger，E。；Mudrinski，N.，高等交换子在Mal’cev代数中的一些应用，代数大学，63，44367-403（2010）·Zbl 1206.08003号 ·doi:10.1007/s00012-010-0084-1
[2] Barr，M.，空集的点，Cahiers Topol。盖姆。差异。，13, 357-368 (1972) ·Zbl 0258.18003号
[3] Bentz，W。；Mayr，P.，《超幂零性防止双重化》，J.Aust。数学。Soc.，96，1，1-24（2014）·Zbl 1348.08005号 ·doi:10.1017/S1446788713000517
[4] 伯曼，J。；Idziak，P。；马尔科维奇，P。；McKenzie，R。；瓦莱里奥特，M。；Willard，R.，《幂次代数很少的变种》，Trans。美国数学。Soc.，362，3，1445-1473（2010年）·Zbl 1190.08004号 ·doi:10.1090/S0002-9947-09-04874-0
[5] Bulatov，A.：关于有限（Mal^{prime}）tsev代数的个数。In：对普通代数的贡献。13（VelkéKarlovice，1999/Dresden，2000），第41-54页。Heyn，Klagenfurt（2001年）·Zbl 0986.08003号
[6] 布拉托夫，A。；科齐克，M。；迈尔，P。；Steindl，M.，半群的次幂成员问题，国际代数计算。，26, 7, 1435-1451 (2016) ·兹比尔1395.20033 ·doi:10.1142/S0218196716500612
[7] 布拉托夫，A。；Mayr，P.，具有立方体项的有限代数的次幂成员问题，Log。方法计算。科学。，15, 1, 11 (2019) ·Zbl 1515.08004号
[8] Dent，T。；科恩斯，K。；安大略省Szendrei。，同余模块性的简单测试，代数大学。，67, 4, 375-392 (2012) ·Zbl 1259.08004号 ·文件编号：10.1007/s00012-012-0186-z
[9] 弗里斯，R。；McKenzie，RN，同余模多样性的换向器理论（1987），剑桥：剑桥大学出版社，剑桥·Zbl 0636.08001号
[10] 加德纳，BJ，《如何使多分类代数成为单分类代数》，评论。数学。卡罗尔大学。，30, 4, 627-635 (1989) ·Zbl 0693.08004号
[11] JA Goguen；Meseguer，J.，《多种等式逻辑的完备性》，霍斯特。数学杂志。，11, 3, 307-334 (1985) ·Zbl 0602.08004号
[12] 霍比，D。；McKenzie，R.，《有限代数的结构》。当代数学（1988），普罗维登斯：美国数学学会，普罗维登·Zbl 0721.08001号 ·doi:10.1090/conm/076
[13] Idziak，P.，Kawałek，P..，Krzaczkowski，J.：模块电路可满足性中的中间问题。摘自：第35届ACM/IEEE计算机科学逻辑研讨会论文集（LICS 2020），第578-590页。ACM，纽约（2020年）·Zbl 07299497号
[14] Idziak，PM，有限可判定同余模变种的一个刻画，Trans。美国数学。Soc.，349，3903-934（1997）·Zbl 0861.08009号·doi:10.1090/S0002-9947-97-01904-1
[15] Kearnes，KA，具有小自由谱的同余模变种，代数大学，42，3，165-181（1999）·兹比尔0978.08006 ·doi:10.1007/s000120050132
[16] 卡恩斯，KA，具有平行四边形项的代数克隆，国际代数计算杂志。，22, 1, 1250005 (2012) ·Zbl 1286.08002号 ·doi:10.1142/S0218196711006716
[17] S、 麦克莱恩，《工作数学家的类别》（1971），纽约：施普林格出版社，纽约·Zbl 0232.18001号
[18] Mayr，P.，具有超幂中心化子的Mal'cev代数，代数大学，65，2，193-211（2011）·Zbl 1219.08001号 ·doi:10.1007/s00012-011-0124-5
[19] Mayr，P.，Mal'cev代数的次幂成员问题，《国际代数计算杂志》（IJAC），22，7，1250075（2012）·Zbl 1284.08009号 ·doi:10.1142/S0218196712500750
[20] McKenzie，R。；Valeriote，M.，《可判定局部有限簇的结构》（1989），波士顿：Birkhäuser Boston，Inc.，波士顿·Zbl 0702.08001号 ·doi:10.1007/978-1-4612-4552-0
[21] Moorhead，A.，同余模簇的高等交换子理论，J.代数，513133-158（2018）·Zbl 1414.08003号 ·doi:10.1016/j.jalgebra.2018.07.026
[22] Mućka，A。；罗曼诺夫斯卡，AB；Smith，JDH，《多分类和单分类代数》，代数大学，69，2，171-190（2013）·Zbl 1283.08008号 ·doi:10.1007/s00012-013-0224-5
[23] Novotní，M.，关于异质代数的注记。材料，107，4，397-406（1982）·兹比尔0502.08003 ·doi:10.21136/CPM.1982.118149
[24] Shriner，J.，亚幂隶属度问题的硬度结果，国际代数计算杂志。，28, 5, 719-732 (2018) ·Zbl 1491.08012号 ·doi:10.1142/S0218196718500339
[25] Smith，JDH，Mal'cev Varieties，数学课堂讲稿（1976），柏林：施普林格，柏林·Zbl 0344.08002号 ·doi:10.1007/BFb0095447
[26] Steindl，M.，乐队的次权力成员问题，J.Algebra，489，529-551（2017）·Zbl 1457.2004年4月 ·doi:10.1016/j.jalgebra.2017.06.034
[27] Steindl，M.，《关于带PSPACE的半群的完全子幂元成员问题》，J.Aust。数学。Soc.，106，1，127-142（2019年）·Zbl 1467.20051号 ·doi:10.1017/S1446788718000010
[28] Taylor，W.，《刻画（Mal^{prime}）cev条件》，代数大学，3，351-397（1973）·Zbl 0304.08003号 ·doi:10.1007/BF02945141
[29] Vanderwerf，J.：代数的圈分解。论文（博士）-加州大学伯克利分校（1994）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。