拟伪补Ockham代数的同余与核理想.pdfVIP

广东技术师范学院学报(自然科学) of 2013年第3期 Journal Normal No．3，2013 GuangdongPolytechnicUniversity 拟伪补Ockham代数的同余与核理想 王 钊 (广东技术师范学院，广东广州510665) A， 要讨论了该代数上的核理想的性质，并且对其同余关系的特征进行了刻画． 关键词：拟伪补格；Ockham代数；核理想；同余关系 中图分类号：0153．1 文献标识码：A 文章编号：1672—402X(2013)03—0024—03 O引言 的两个等价关系的特征进行了刻画． 所谓Ockham代数，是一个具有类型2，2，1，0’0的 代数仁；^，V，工木，0，1)，其中∞；^，V，0，1)是有界分 1拟伪补Ockham代数的同余性质 配格并在其上赋予一个一元运算．厂满足如下性质： (1)f(0)=1秘(1)=O； ￡的一个理想．称，是核理想，如果存在一个同余‘p∈ (2)(任意茗，Y∈L)f(髫Ay)=f(菇)Vf(Y)jfⅡ-厂 E ConL使得Ker‘p=L这里Ke婶=kLIx--：0)． 0Vy)=f0)Af(y)． iJI入一个称之为拟伪补 1980年。Sankappanavar ￡的一个核理想，则对任意的口∈，，有矿宰∈lot(a*)∈上 代数的代数类．所谓拟伪补代数，是指一个代数(L；^， 证明：因为堤￡的一个核理想，故存在L上的一 V，木，0，1)，其中仁；A，V，0，1)是有界分配格，且定义 了一元运算名_+戈：．c的运算性质，详见文献[-|． ‘p ‘p 1997年．Blyth彝1Fangt2】介绍了一种具有Ockham ‘D 代数和拟伪补代数共同特征的代数。即所谓拟伪补 瑚a木)-0．由此可得扩枣∈取厂(口木)∈上 Ockham代数．它是一个形如2，2，1，1，0，0的代数 伍；^，V，工木，0，1)．其中仁；A，V，0，1)是一个有界L的一个核理想。定义￡上的一个等价关系RI女II下： 分配格，且两个一元运算一厂(茗)，戈_戈木满足可交 (x,y)∈R，甘(jaEl)xA矿可^口木． 定理2设尺悬L的核理想．则有以下结论 换，且咿(髫木)=[厂(茗)n一个拟伪$1Ockham代数∞；工 jII，0，1)上的一个同余是指一个格同余O，它满足 (1)焉是己的一个同余； (戈，Y)∈e=争(厂(菇)，f(y))∈0，(菇枣，y拳)(2)若‘P是具有核啪同余，则R斥‘P． ∈O详见文献【43 2004年方捷与吴丽云【3】刻画了伪$f’Ockham代数 石A口木_-yA矿。于是有 ￡的理想与滤子．他们在伪SbOckham代数￡上定义了@Az