Superextensions of doppelsemigroups (Q6846446)

A \textit{doppelsemigroup} \((D, \dashv, \vdash)\) consists of a non-empty set \(D\) equipped with two associative binary operations \(\dashv\) and \(\vdash\) satisfying the following axioms: \( (x \dashv y) \vdash z = x \dashv (y \vdash z)\) and \((x \vdash y) \dashv z = x \vdash (y \dashv z)\). An upfamily \(\mathcal{L}\) of subsets of \(D\) is called \textit{linked} if \(A \cap B \not= \emptyset\) holds for all \(A, B \in \mathcal{L}\). The \textit{superextension} \(\lambda(D)\) of \(D\) consists of all maximal linked upfamilies on \(D\). By extending \(\dashv\) and \(\vdash\) to \(\lambda(D)\), this article studies the structure of doppelsemigroups \((\lambda(D), \dashv, \vdash)\). For example, the center of \((\lambda(D), \dashv, \vdash)\) contains the center of \((D, \dashv, \vdash)\). Moreover, if \((D, \dashv, \vdash)\) is a countable infinite group doppelsemigroup, then \(\mathcal{C}(\lambda(D), \dashv, \vdash)=\mathcal{C}(D, \dashv)\cap \mathcal{C}(D,\vdash)\). By naturally extending the homomorphisms \(\varphi\colon D_1\to D_2\) of semigroups to the homomorphisms \(\lambda(\varphi)\colon \lambda(D_1)\to \lambda(D_2)\) of doppelsemigroups, \(\lambda\) can be considered a (covariant) functor to the category of doppelsemigroups. Some properties of \(\lambda\) are derived. For example, group doppelsemigroups \(G \) are described for which \(\lambda(G)\) contains a (left) zero.