Superextensions of doppelsemigroups

From MaRDI portal





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.



Cites work









This page was built for publication: Superextensions of doppelsemigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6846446)