可除BR_0代数及其消去律性质  

Divisible BR_0 Algebra and It's Cancellation Law

作　　者：崔艳丽[1,2] 吴洪博[1] CUl Yan-li;WU Hong-bo(College of Mathematics ＆Information Science, Shaanxi Normal University, Xi＇an 710062, China;Department of Basic Courses, Hanzhong Vocational and Technical College, Hanzhong 723000,China)

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]汉中职业技术学院基础教学部,陕西汉中723000

出　　处：《云南师范大学学报（自然科学版）》2018年第2期27-33,共7页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：国家自然科学基金资助项目(61572016);中央高校基本科研业务费专项基金资助项目(GK201501001)

摘　　要：在对BR_0代数及可换BR_0代数的概念和性质进行了充分研究的基础上,进一步弱化可换BR_0代数中的可换性条件,减去格的有界性运算及其正则性、逆否律等相关要求,提出了可除BR_0代数的概念并对其基本性质进行了初步探究,证明了可除BR_0代数与可换BR_0代数的等价性;最后进一步探索了可除BR_0代数的性质并证明了其中关于蕴涵算子的消去律性质.The basic concepts and properties of BR0 algebra and commutative BR0 algebra are researched.Firstly,by weakening the commutativity condition and deleting the boundedness,the regularity and contraposition of commutative BR0 algebra,the concept of the divisible BR0 algebra is introduced.Secondly,through the further study of its properties,the equivalence of the divisible BR0 algebra structure and commutative BR0 algebra is proved.Finally,further explore the properties of divisible BR0 algebra is explored and it can be proved that the cancellation law of implication is true in divisible BR0 algebra.

关 键 词：BR0代数 可换BR0代数 可除BR0代数 消去律 

分 类 号：O141.1[理学—数学]