BCK-代数中对偶理想理论研究.pdfVIP

摘要 本文对BCK一代数中的对偶理想理论进行了较为深入的研究。在第二 章中研究了对合BCK一代数的若干性质，并证明了对合BCK一代数中的 对偶定理，从而简化了许多关于对偶理想的定理的证明，并进行了推 广；第三章研究了对偶理想产生的同态与同构定理；在第四章证明了： 了孟杰的结果。(3)证明了有界正关联BCK一代数中主对偶理想与对 合元的一一对应关系． (4)证明了对偶理想的若干等价定义。 第一章BCK一代数及对偶理想概述 1．1BCK-代数 与其他数学理论广泛而深入的联系，成为代数学较为活跃的分支． 双B代数的思想源于集合论和命题演算。 由集合的运算并，交，差，补，可以抽象出许多重要的代数结构。 Boolean代数是并，交，补运算的推广；并，交两种运算的一般化可 以得到格以及分配格的概念，进一步抽象可以得到半环的概念；而并 运算(交运算)是上半格(下半格)的原型之～一。但是集合的差运算 在双B代数提出之前没有得到系统的研究。 注意到集合论里的下述关系，这里爿，B，C是集合： (1)(爿一B)一(4一C)￡C—B (2)爿一0一B)￡B (3)爿￡爿 (4)爿EB，