检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:程晓云 王军涛 杨青 侯亚军 CHENG Xiaoyun;WANG Juntao;YANG Qing;HOU Yajun(School of Science,Xi′an Aeronautical Institute,Xi′an 710077,China;School of Science,Xi′an Shiyou University,Xi′an 710065,China)
机构地区:[1]西安航空学院理学院,陕西西安710077 [2]西安石油大学理学院,陕西西安710065
出 处:《浙江大学学报(理学版)》2023年第1期20-24,共5页Journal of Zhejiang University(Science Edition)
基 金:国家自然科学基金资助项目(12001423,11961016);陕西省自然科学基础研究计划项目(2020JQ-762,2021JQ-580,2021JQ-579,2022JM-014);陕西省教育厅自然科学研究专项计划(20JK0626);西安航空学院校级科研项目(2020KY0206);西安航空学院博士科研启动基金项目。
摘 要:引入了BCK-代数的稳定化子概念,给出了其相关性质,重点研究了左稳定化子与正则理想之间的关系。进一步,引入了BCK-代数的相对稳定化子概念,讨论了相对稳定化子与正则理想、固执理想及布尔理想之间的关系。借助左相对稳定化子,证明了BCK-代数的所有理想之集构成一个相对伪补格。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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.144.251.232