伪 BCK-代数与伪 BCI-代数的一些性质
环与代数
2018-09-03 v1
摘要
伪 BCI-代数同时推广了 BCI-代数与伪 BCK-代数，而伪 BCK-代数是 BCK-代数的非交换推广。本文沿用 [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57]，证明伪 BCI-代数是半整剩余 po-幺半群的剩余子归约，并刻画了那些作为伪 BCK-代数与群（视作伪 BCI-代数）的直积的伪 BCI-代数。我们还证明伪 BCI-代数的拟簇是相对同余模的；事实上，我们证明这对所有相对理想确定的相对点正则拟簇均成立，此处相对理想确定意指相对同余的核可由理想项描述。
引用
@article{arxiv.1808.10697,
title = {Some properties of pseudo-BCK- and pseudo-BCI-algebras},
author = {Petr Emanovský and Jan Kühr},
journal= {arXiv preprint arXiv:1808.10697},
year = {2018}
}