伪补对称扩张Ockham代数

摘要

研究peO代数类中的子类pe2,0K1,1,即满足恒等式f 3=f和k2=idL的peO-代数.利用同余和代数的次直不可约,有如下的主要结果:如果L∈pe2,0K1,1,则L是真次直不可约当且仅当Con L?{ω}⊕[G,Φ]⊕{ι}.这里ω 和ι 分别表示相等关系和泛关系,Φ表示由f(x)=f(y)确定的一个同余,G表示Glivenko同余.