eO-代数簇公理

eO-代数簇公理

The variety eO of extended Ockham algebras consists of those algebras (L; ∧,∨, f,k, 0, 1) such that (L; ∧,∨, 0, 1) is a bounded distributive lattice together with a dual endomorphism f on L and an endomorphism k on L such that fk = kf. In this paper we extend Urquhart's theorem to eO-algebras and we are in particular concerned with the subclass e2M of eO-algebras in which f2 = id and k2=id. We show that there are 19 non-equivalent axioms in e2M and then order them by implication.

作 者： 方捷 孙中举 FANG Jie SUN Zhong Ju 作者单位： 方捷,FANG Jie(Faculty of Mathematics and Computer Science, Guangdong Polytechnic Normal University, Guangdong, 510665, China)

孙中举,SUN Zhong Ju(Department of Mathematics, Shantou University, Guangdong 51506

3, China)

刊 名： 数学研究与评论 ISTIC PKU 英文刊名： JOURNAL OF MATHEMATICAL RESEARCH AND EXPOSITION 年，卷(期)： 200828(3) 分类号： O153.1 关键词： Extended Ockham algebra dual space subdirectly irreducible algebra equational basis