Congruence lattices of symmetric extended De Morgan algebras. (Q745935): Difference between revisions

A bounded distributive lattice \(L=(L;\vee,\wedge,f,0,1)\) is called an \textit{Ockham algebra}, if \(f\) is a dual lattice endomorphism. The class of all Ockham algebras is equational (i.e. a variety) as the algebras are of type \((2,2,1,0,0)\). A special subvariety of Ockham algebras is the class of De Morgan algebras satisfying the assumption that \(f\) is a dual lattice automorphism. In this paper the authors investigate \textit{extended} Ockham algebras \(L=(L;\vee,\wedge,f,k,0,1)\) such that (i) \(f\) is a dual lattice endomorphism with \(f(0)=1\) and \(f(1)=0\), (ii) \(k\) is a lattice endomorphism with \(k(0)=0\) and \(k(1)=1\) and finally, (iii) \(f\) and \(k\) commute. Moreover, an extended De Morgan algebra \(L\) is said to be \textit{symmetric} if \(k^2=\text{id}_L\). Main results: Let \(L\) denote a symmetric extended De Morgan algebra. Then (1) \(\mathrm{Con}(L)\) is a Boolean lattice iff \(\mathrm{Con}(L)\) is a relative Stone lattice iff \(L\) is finite. (2) \(\mathrm{Con}(L)\) is a Stone lattice iff the sublattice of compact congruences on \(L\) is complete.