S-preclones and the Galois connection {}^S\mathrm{Pol}-{}^S\mathrm{Inv}, Part I

MaRDI QIDQ6438810zbMATH OpenFDO

Authors Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel

Publication date 1 June 2023

Abstract: We consider $S$-operations $fcolon{A}^{n}oA$ in which each argument is assigned a signum $sinS$ representing a "property" such as being order-preserving or order-reversing with respect to a fixed partial order on $A$. The set $S$ of such properties is assumed to have a monoid structure reflecting the behaviour of these properties under the composition of $S$-operations (e.g., order-reversing composed with order-reversing is order-preserving). The collection of all $S$-operations with prescribed properties for their signed arguments is not a clone (since it is not closed under arbitrary identification of arguments), but it is a preclone with special properties, which leads to the notion of $S$-preclone. We introduce $S$-relations $varrho=(varrh{o}_s{)}_{sinS}$, $S$-relational clones, and a preservation property ($fmathrelstackrelSrianglerightvarrho$), and we consider the induced Galois connection ${}^{S}mathrmPol$-${}^{S}mathrmInv$. The $S$-preclones and $S$-relational clones turn out to be exactly the closed sets of this Galois connection. We also establish some basic facts about the structure of the lattice of all $S$-preclones on $A$.

This page was built for publication: $S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I

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