摘要
讨论了BCI-代数伴随半群中元素σ的稳定子S(σ)的性质,以及S(σ)与Imσ和Kerσ之间的关系.在正蕴涵BCK-代数中,给出了S(σ)是理想的充要条件。
This paper presents a discussion of the stabilizer S(σ) of right multiplicative map σ in BCI adjoint semigroups. The relation among S(σ) , Im σ and Ker σ is displayed. And it is proved that every S(σ) is an ideal of X if and only if X is an implicative BCK algebra.
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
1996年第4期11-13,共3页
Journal of Shaanxi Normal University:Natural Science Edition
基金
陕西省自然科学基金