伪补对称扩张Ockham代数  

Pseudocomplemented symmetric extended Ockham algebras

作　　者：张雄盛 方捷[1] Zhang Xiongsheng Fang Jie(School of Mathematics and System Science, Guangdong Polytechnic Normal University guangzhou 510665, China)

机构地区：[1]广东技术师范学院数学与系统科学学院,广东广州510665

出　　处：《纯粹数学与应用数学》2017年第3期314-325,共12页Pure and Applied Mathematics

摘　　要：研究peO代数类中的子类pe_(2,0)K_(1,1),即满足恒等式f^3=f和k^2=id_L的peO-代数.利用同余和代数的次直不可约,有如下的主要结果:如果L∈pe_(2,0)K_(1,1),则L是真次直不可约当且仅当Con L■{ω}[G,Φ]{ι}.这里ω和l分别表示相等关系和泛关系,Φ表示由f(x)=f(y)确定的一个同余,G表示Glivenko同余.In this paper, we particularly study of the peO algebras that belong to the subclass pe_（2,0）K_（1,1）characterised by the identities f^3 = f and k^2 = id_L.By using properties of congruences on such an algebra and the subdirectly irreducibility, the main result obtained in this paper is if L∈ pe_（2,0）K_（1,1）,then L is properly subdirectly irreducible if and only if Con L {ω}[G,Φ]{l},where ω and ι stand for the equality relation and the universal relation respectively, Φ denotes the relation determined by f（x） = f（y） and G denotes the Glivenko relation.

关 键 词：p-代数 OCKHAM代数 扩张Ockham代数 

分 类 号：O153.1[理学—数学] O153.2[理学—基础数学]