佩德罗·桑切斯·特拉夫 布尔因子同余和属性\（（*）\）。 （英语） 兹比尔1228.08003 国际代数计算杂志。 21，第6期，931-950（2011）. 摘要：如果（{mathcal V}）中任意代数的因子同余集是其同余格的分配子格，则簇（{mathcal V}\）具有布尔因子同余（BFC）；这个性质在单位环和具有半格运算的每个簇中都成立。BFC在研究代数直积表示的唯一性方面有着突出的作用，因为它加强了求精性质。我们为BFC提供了一个显式的Mal'tsev条件。借助于这个条件，可以证明BFC等价于可定义属性\（*）\的变体，这是R.威拉德他的著作[J.Algebra 132，No.1，130–153（1990；Zbl 0737.08006号)]. MSC公司： 08B05号 等式逻辑，Mal'tsev条件 关键词：布尔因子同余;严格求精性质;可定义性;直接因素保存 引文：Zbl 0737.08006号 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf}，国际代数计算杂志。21，第6号，931--950（2011；Zbl 1228.08003） 全文： 内政部 arXiv公司 参考文献： [1] 毕格罗博士，《科学学报》。数学。第11页，共54页 [2] Chang C.基金。数学。第54页，第249页 [3] McKenzie R.，The Wadsworth&Brooks/科尔数学。系列1，in：代数、格、簇（1987） [4] DOI:10.1007/BF01669610·Zbl 0491.03011号 ·doi:10.1007/BF01669610 [5] 内政部：10.1090/S0002-9947-09-04921-6·兹比尔1223.08001 ·doi:10.1090/S0002-9947-09-04921-6 [6] DOI:10.1007/BF02945141·Zbl 0304.08003号 ·doi:10.1007/BF02945141 [7] Vaggione D.，科学学报。数学。第62页，第359页– [8] Vaggione D.，《普遍代数》51第207页– [9] DOI:10.1016/0021-8693（90）90257-O·Zbl 0737.08006号 ·doi:10.1016/0021-8693（90）90257-O 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。