Extended ockham algebras (Q4947078)

The authors introduce and study the concept of an extended Ockham algebra. Let \({\mathbf L}= (L;\vee, \wedge, f,k, 0,1)\) be an algebra of type \((2,2,1,1,0,0)\) such that (i) \((L; \vee, \wedge, 0,1)\) is a bounded distributive lattice, (ii) \(f\) is a dual lattice endomorphism with \(f(1)= 0\) and \(f(0)= 1\), (iii) \(k\) is a lattice endomorphism with \(k(1)= 1\) and \(k(0)= 0\) and (iv) \(f\) and \(k\) commute. Then \(L\) is called an extended Ockham algebra. (Observe that \((L; \vee, \wedge, f,0,1)\) satisfying (i) and (ii) is an Ockham algebra.) Main results: (1) The Priestley duality for the variety of extended Ockham algebras is established. (2) There is a description of all finite subdirectly irreducible extended Ockham algebras. (3) There are precisely nine non-isomorphic subdirectly irreducible symmetric extended de Morgan algebras, all of which are simple.