论文部分内容阅读
研究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同余.