伪补对称扩张Ockham代数Pseudocomplemented symmetric extended Ockham algebras
张雄盛;方捷;
摘要(Abstract):
研究peO代数类中的子类pe_(2,0)K_(1,1),即满足恒等式f3=f和k3=f和k2=id_L的peO-代数.利用同余和代数的次直不可约,有如下的主要结果:如果L∈pe_(2,0)K_(1,1),则L是真次直不可约当且仅当Con L■{ω}[G,Φ]{ι}.这里ω和l分别表示相等关系和泛关系,Φ表示由f(x)=f(y)确定的一个同余,G表示Glivenko同余.
关键词(KeyWords): p-代数;Ockham代数;扩张Ockham代数
基金项目(Foundation):
作者(Authors): 张雄盛;方捷;
参考文献(References):
- [1]Blyth T S,Varlet J C.Ockham Algebras[M].Oxford:Oxford University Press,1994.
- [2]Fang Jie.Distributive Lattices with Unary Operations[M].Beijing:Science Press,2011.
- [3]Blyth T S,Fang Jie,Varlet J C.Ockham algebras with pseudocomplementation[J].Communications in Algebra,1997,25(11):3605-3615.
- [4]Blyth T S,Fang Jie.Extended Ockham algebras[J].Communications in Algebra,2008,25:1271-1284.
- [5]Fang Jie.Pseudocomplemented MS-algebras[J].Algebra Colloquium,1996,3(1):59-65.
- [6]Blyth T S,Fang Jie.Symmetric extended Ockham algebras[J].Algebra Colloquium,2003,10(4):479-489.
- [7]Berman J.Distributive lattices with an additional unary operation[J].Aequationes Math.,1977,16:165-171.
- [8]Gratzer G,Lakser H.The structure of pseudo-complemented distributive latticeⅡ,Congruence extension and amalgamation[J].Trans.Amer.Math.Soc.,1971,156:343-358.