BCK-代數的穩定化子

程曉云，王軍濤，楊青，侯亞軍

BCK-代數的穩定化子

程曉云1，王軍濤2*，楊青1，侯亞軍1

（1.西安航空學院 理學院，陜西 西安 710077； 2.西安石油大學 理學院，陜西 西安 710065）

引入了BCK-代數的穩定化子概念，給出了其相關性質，重點研究了左穩定化子與正則理想之間的關系。進一步，引入了BCK-代數的相對穩定化子概念，討論了相對穩定化子與正則理想、固執理想及布爾理想之間的關系。借助左相對穩定化子，證明了BCK-代數的所有理想之集構成一個相對偽補格。

BCK-代數；穩定化子；相對穩定化子；理想；相對偽補格

0　引言

邏輯代數是與模糊邏輯對應的代數結構，BCK-代數對應BCK-邏輯系統［1］。BCK-代數是與眾多邏輯代數密切相關的一類重要代數系統。例如，正定關聯BCK-代數范疇等價于Hilbert代數；MV-代數范疇等價于有界可換BCK-代數；BL-代數范疇等價于特殊的BCK-代數，即Iséki代數等［2-3］。

穩定化子是邏輯代數的重要子結構，其概念來源于不動點理論，引入穩定化子有助于更好地研究邏輯代數的結構和性質［4-10］。HAVESHIKI等［4-5］將穩定化子和相對穩定化子的概念引入BL-代數，給出了BL-代數的相關性質，并討論了穩定化子與幾類濾子之間的關系。SAEID等［6］研究了剩余格上的穩定化子理論，討論了相對穩定化子與幾類濾子之間的關系，并通過穩定化子構造了商剩余格。隨后，HAVESHKI［7］進一步改進和優化了相關結論。WANG等［8］將蘊涵穩定化子和乘穩定化子引入MTL-代數，刻畫了幾類特殊的MTL-代數，并證明了右蘊涵穩定化子與右乘穩定化子序同構。

受上述研究啟發，本文將邏輯代數的穩定化子理論應用于BCK-代數，引入BCK-代數的穩定化子和相對穩定化子概念，給出BCK-代數的相關性質；考慮到理想是BCK-代數的重要子結構，本文重點研究穩定化子、相對穩定化子與BCK-代數理想之間的關系，得到BCK-代數的全體理想之集結構。

1　預備知識

2　BCK-代數的穩定化子

表1　二元運算“”的定義

（5）顯然成立。

（6）可由（2）證得。

（8）可由（2）證得。

（2）和（3）可由（1）證得。

3　BCK-代數的相對穩定化子

（3）可由（2）證得。

（5）可由（4）證得。

（7）和（8）可由相對穩定化子的定義證得。

證明 （1）由正則理想的定義易證得。

表2　二元運算“”的定義

4　結論

通過BCK-代數的穩定化子這一重要子結構，研究了BCK-代數的理想和結構，研究結果具有一定的理論意義。所得結論在一定程度上拓展了BCK-代數的理想理論，豐富了邏輯代數穩定化子的研究內容。

［1］ IMAI Y， ISéKI K. On axiom systems of propositional calculi， XIV［J］. Proceedings of the Japan Academy， 1966， 42（1）： 19-22. DOI：10. 3792/pja/1195522169

［2］ 孟杰，劉用麟. BCI-代數引論［M］. 西安：陜西科學技術出版社， 2001.

MENG J， LIU Y L. An Introduction to BCI-Algebras［M］. Xi'an： Shaanxi Science and Technology Press， 2001.

［3］ IORGULESCU A. ISéKI A. Connection with BLalgebras［J］. Soft Computing， 2004， 8（7）： 449-463. DOI：10.1007/s00500-003-0304-0

［4］ HAVESHKI M， SAEID A B， ESLAMI E. Some types of filters in BL algebras［J］. Soft Computing， 2006， 10： 657-664. DOI：10.1007/s00500-005-0534-4

［5］ HAVESHKI M， MOHAMADHASANI M. Stabilizer in BL-algebras and its properties［J］. International Mathematical Forum， 2010， 57： 2809-2816.

［6］ SAEID A B， MOHTASHAMNIA N. Stabilizer in residuated lattices［J］. University Politehnica of Bucharest， Scientific Bulletin Series A： Applied Mathematics and Physics， 2012， 74（2）： 65-74. DOI：10.1117/12.922936

［7］ HAVESHKI M. Some results on stabilizers in residuated lattices［J］. Cankaya University Journal of Science and Engineering， 2014， 11（2）： 7-17.

［8］ WANG J T， HE P F， SAEID A B. Stabilizers in MTL-algebras［J］. Journal of Intelligent & Fuzzy Systems， 2018， 35（1）： 717-727. DOI：10.3233/JIFS-171105

［9］ MOTAMED S. Double left stabilizers in BL-algebras［J］. Annals of The University of Craiova-Mathematics and Computer Science Series， 2017， 44（2）： 214-227.

［10］ZHU K Y， WANG J R， YANG Y W. On two new classes of stabilizers in residuated lattices［J］. Soft Computing， 2019， 23（23）： 12209-12219. DOI：10.1007/s00500-019-04204-y

［11］MENG J， JUN Y B. BCK-Algebras［M］. Dodrecht： Kyung Moon Sa Co， 1994.

［12］HUANG Y S. BCI-Algebras［M］. Beijing： Science Press， 2006.

Stabilizers in BCK-algebras

CHENG Xiaoyun1, WANG Juntao2, YANG Qing1, HOU Yajun1

1，，710077，；2，，710065，）

In this paper, we introduce the notion of stabilizers in BCK-algebras and investigate the related properties of them. We focus on the study of the relationship between left stabilizers and normal ideals. Further, we introduce the concept of relative stabilizers in BCK-algebras and deliver the relationship between relative stabilizers and normal ideals, obstinate ideals and Boolean ideals. Finally, by use of the left relative stabilizers we prove that the set of all ideals in a BCK-algebra constructs a relative pseudo-complemented lattice.

BCK-algebra; stabilizer; relative stabilizer; ideal; relative pseudo-complemented lattice

O 155

A

1008?9497（2023）01?020?05

2021?11?09.

國家自然科學基金資助項目（12001423，11961016）；陜西省自然科學基礎研究計劃項目（2020JQ-762，2021JQ-580，2021JQ-579，2022JM-014）；陜西省教育廳自然科學研究專項計劃（20JK0626）；西安航空學院校級科研項目（2020KY0206）；西安航空學院博士科研啟動基金項目.

程曉云（1978—），ORCID： https：//orcid.org/0000-0002-4047-0504，女，博士，副教授，主要從事邏輯代數及超代數研究.

通信作者，ORCID： https：//orcid.org/0000-0002-0337-9517，E-mail：wjt@xsyu.edu.cn.