Endodualisable and endoprimal finite double Stone algebras (Q5950783)

Let \({\mathbf M}=(M;F)\) be any algebra. A \(k\)-ary function \(f:M^k\rightarrow M\) is \({\mathbf M}\)-preserving if it preserves the action of the endomorphism monoid \(\text{End }{\mathbf M}\), that is, for every endomorphism \(e\in \text{End }{\mathbf M}\), \(e(f(a_1 ,\ldots ,a_k))=f(e(a_1),\ldots ,e(a_k))\) for all \(a_1,\ldots ,a_k\in M\). The algebra \textbf{M} is called \(k\)-endoprimal (\(k\geq 1\)) if every \(k\)-ary End\textbf{M}-preserving function on \textbf{M} is a term function of \textbf{M}. Algebras which are \(k\)-endoprimal for every \(k\geq 1\) are called endoprimal. It is known that a finite algebra \textbf{M} is endoprimal if it is endodualisable, i.e. if End\textbf{M} yields a duality on the quasivariety \(\mathbb I\mathbb S\mathbb P\)(\textbf{M}). The relationship between endodualisability and endoprimality and \(k\)-endoprimality has been explored in many papers of the authors and of B. A. Davey. The aim of the paper is to do the same for the class of double Stone algebras. Summarizing many interesting results the authors formulate main theorems as follows: Theorem. Let \textbf{L}\(=(L;\vee ,\wedge , ^\ast ,^+,0,1)\) be a finite proper double Stone algebra with a non-empty core \(K({\mathbf L})=[a,b]\) \((a<b)\). Then the following are equivalent: (i) \textbf{L} is endodualisable; (ii) \textbf{L} is endoprimal; (iii) \textbf{L} is 3-endoprimal; (iv) \textbf{5} is a retract of \textbf{L}; (v) the core \(K({\mathbf L})\) is a non-Boolean lattice. Theorem. Let \textbf{L}\(=(L;\vee ,\wedge , ^\ast ,^+,0,1)\) be a finite proper double Stone algebra with an empty core. Then the following are equivalent: (i) \textbf{L} is endodualisable; (ii) \textbf{L} is endoprimal; (iii) \textbf{L} is 3-endoprimal; (iv) \(\mathbf 5\times \mathbf 2^2\) is a retract of \textbf{L}.