Regularity in double p-algebras (Q798683)

An algebra \((L;\vee,\wedge,^*,^+,0,1)\) is a double p-algebra if \((L;\vee,\wedge,^*,0,1)\) is a p-algebra (i.e. pseudocomplemented lattice) and \((L;\vee,\wedge,^+,0,1)\) is a dual p-algebra (i.e. the dual to L is a pseudocomplemented lattice). A subset of an algebra is said to be regular if it is the class of exactly one congruence. A congruence \(\theta\) on an algebra is called regular if every \(\theta\) - class is regular. Main results: (1) Let \(\theta\) be a congruence of a double p-algebra. Then [0]\(\theta\) and [1]\(\theta\) are determined by any \(\theta\) -class. (2) The regular congruences of a double p-algebra form an increasing subset R of Con(L) contained in [\(\Phi)\), where \(x\equiv y(\Phi)\) iff \(x^*=y^*\) and \(x^+=y^+\). Moreover, \(R=[\Phi)\) if and only if \(\Phi =id\). (3) Let L be a finite distributive double p-algebra. Then the following statements are equivalent: (i) Con(L) has a non-trivial node (i.e. an element which is comparable with any element of Con(L)); (ii) \(\Phi\) is the unique non-trivial node of Con(L); (iii) \(\Phi \neq id\) and \(\Phi\) is a dual atom of Con(L). (For similar results see the author's paper [Banach Center Publ. 9, 369-378 (1982; Zbl 0508.06010)].)