伪等式代数——修订版
交换代数
2014-05-23 v1 环与代数
摘要
最近，Jenei 引入了一种称为等式代数的新结构，其灵感来源于带交的 BCK-代数的思想。Jenei 和 K\'or\'odi 将这些代数推广为伪等式代数，旨在寻找其与带交的伪 BCK-代数之间的联系。我们证明了每个伪等式代数都是一个等式代数。因此，我们定义了一种新型伪等式代数，它在 Kabzi\'nski 和 Wro\'nski 的意义下更精确地反映了与带交的伪 BCK-代数的关系。我们通过正规闭演绎系统描述了同余关系，并证明了伪等式代数簇是减法的、同余分配的和同余可换的。
引用
@article{arxiv.1405.5807,
title = {Pseudo Equality Algebras -- Revision},
author = {Anatolij Dvurečenskij and Omid Zahiri},
journal= {arXiv preprint arXiv:1405.5807},
year = {2014}
}