Constructions of p-algebras (Q791550)

A pseudocomplemented semilattice (PCS) \((S,\wedge,*,0,1)\) is an algebra of type \((2,1,0,0)\) where \((S,\wedge,0,1)\) is a bounded semilattice and for all \(a\in S\), \(a^*\) is the pseudocomplement of a, i.e. \(x\leq a^*\) iff \(x\wedge a=0.\) To every PCS one can assign the set \(B(S)=\{x\in S| \quad x=x^{**}\}\) of closed elements and the set \(D(S)=\{x\in S| \quad x^*=0\}\) of dense elements. To characterize certain PCS's, a third bit of information is needed, a certain connecting map between B(S) and D(S). There are three approaches to the triple construction, namely [\textit{W. Nemitz}, Trans. Am. Math. Soc. 117, 128-142 (1965; Zbl 0128.248), \textit{C. C. Chen} and \textit{G. Grätzer}, Can. J. Math. 21, 884-903 (1969; Zbl 0184.033) and \textit{T. Katriňák}, J. Reine Angew. Math. 241, 160-179 (1970; Zbl 0192.335)]. In the present paper, the authors generalize these constructions and exhibit connections among them. Furthermore, a triple construction for quasi-modular p-algebras is presented (a p-algebra S is quasi-modular if it satisfies the identity \(((x\wedge y)\vee z^{**})\wedge x=(x\wedge y)\vee(z^{**}\wedge x)),\) and the homomorphisms and congruence relations of p-algebras are investigated using the triple method. Finally, the authors present some open problems.