胡安·科内霍（Juan M.Cornejo）。;Sankappanavar、Hanamantagouda P。 博谋方类型的对称蕴涵z群和恒等式。 （英语） Zbl 1398.06018号 软计算。 22，第13号，4319-4333（2018）. 摘要：如果代数\（mathbf A=langle A，\ to，0\ rangle\）满足恒等式：（I）：\（x\ to y）\ to z\ approx（（z'\ to x）\ to（y\ to z）'）'\）和（I\（_0）：0'\ approx\）●●●●。蕴涵zroupoid是对称的，如果它满足恒等式：\（x''\approx\）和\（（x\ to y'）'\approx（y\ to x'）'\）。如果一个恒等式只包含一个二进制运算符号，则其三个变量中的一个在每侧出现两次，其他两个变量中每个在每侧发生一次，并且变量在恒等式的两侧以相同的（字母）顺序出现，则该恒等式为Bol-Moufang类型。本文系统地分析了对称（mathcal I）-群偶变种（mathcal-S）中Bol-Moufang型的全部60个恒等式。我们证明了由Bol-Moufang型恒等式定义的（mathcal S）的47个子簇等于最小元素为0的（vee）-半格的簇（mathcal{SL}），其他的一个子簇等于（mathcali S）。剩下的12个，只有三个不同的。我们还对Bol-Moufang型的（mathcal S）的（不同的）子变种的偏序集进行了显式描述。 引用于1审查引用于三文件 MSC公司： 75年6月 分配格的其他推广 03G25号 与逻辑相关的其他代数 6月30日 De Morgan代数，Łukasiewicz代数（格理论方面） 08B05号 等式逻辑，Mal'tsev条件 08B15号 品种格 软件：校准仪9;梅斯4 PDF格式BibTeX公司 XML格式引用 \textit｛J.M.Cornejo｝和\textit｛H.P.Sankappanavar｝，软计算。22、13号、4319--4333（2018；Zbl 1398.06018） 全文： 内政部 arXiv公司 参考文献： [1] Balbes R，Dwinger PH（1974）《分配晶格》。密苏里大学出版社，哥伦比亚·Zbl 0321.06012 [2] 伯恩斯坦，BA，《关于布尔代数关联运算的一组四个假设》，Trans-Am Math Soc，36876-884，（1934）·Zbl 0010.24103号 [3] Burris S，Sankappanavar HP（1981）《通用代数》课程。纽约州施普林格市。该免费修订版（2012）以PDF文件的形式在线提供，网址为math.uwaterloo.ca/\（~\）snburris [4] 科内霍，吉咪；Sankappanavar，HP，《论隐含群类》，代数大学，77，125-146，（2017）·Zbl 1421.06002号 ·doi:10.1007/s00012-017-0429-0 [5] Cornejo JM，Sankappanavar HP（2016a）《关于zroupoids的指令》。螺柱日志104:417-453。doi:10.1007/s11225-015-9646-8·Zbl 1392.06011号 [6] Cornejo JM，Sankappanavar HP（2016b），隐含类星体的半简单变种。软计算20:3139-3151。doi:10.1007/s00500-015-1950-8·Zbl 1373.06015号 [7] Cornejo JM，Sankappanavar HP（2016c）关于派生代数和蕴涵zroupoid的子变种。软计算。doi:10.1007/s00500-016-2421-6·兹比尔1381.06004 [8] Cornejo JM，Sankappanavar HP（2017）对称蕴涵类群和弱结合律（已提交） [9] Fenyves，F，额外循环。二、 《Publ Math Debr》，第16卷，第187-192页，（1969年）·Zbl 0221.20097 [10] Kunen，K，拟群，环和结合律，J代数，185，194-204，（1996）·Zbl 0860.20053号 ·doi:10.1006/jabr.1996.0321 [11] McCune W（2005-2010）Prover9和Mace4。http://www.cs.unm.edu/mccune/prover9/ [12] 菲利普斯，JD；Vojtechovsky，P，《bol-Moufang型回路的变化》，代数大学，54，259-271，（2005）·Zbl 1102.20054号 ·doi:10.1007/s00012-005-1941-1 [13] 菲利普斯，JD；Vojtechovsky，P，bol-Moufang型拟群的变种：一种等式推理方法，代数J，293，17-33，（2005）·Zbl 1101.20046号 ·doi:10.1016/j.jalgebra.2005.07.011 [14] Rasiowa H（1974）非经典逻辑的代数方法。荷兰北部，阿姆斯特丹·Zbl 0299.02069号 [15] Sankappanavar，HP，De Morgan代数：新观点和应用，《科学数学杂志》，第75期，第21-50页，（2012年）·Zbl 1279.06009号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。