Author:
Jipsen Peter,Lehtonen Erkko,Pöschel Reinhard
Abstract
AbstractWe consider S-operations$$f :A^{n} \rightarrow A$$
f
:
A
n
→
A
in which each argument is assigned a signum$$s \in S$$
s
∈
S
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 = (\varrho _{s})_{s \in S}$$
ϱ
=
(
ϱ
s
)
s
∈
S
, S-relational clones, and a preservation property ("Equation missing"), and we consider the induced Galois connection $${}^{S}{}\textrm{Pol}$$
S
Pol
–$${}^{S}{}\textrm{Inv}$$
S
Inv
. 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.
Funder
Technische Universität Dresden
Publisher
Springer Science and Business Media LLC
Reference18 articles.
1. Boardman, J.M., Vogt, R.M.: Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Mathematics, vol. 347. Springer, Berlin (1973)
2. Bodnarčuk, V.G., Kalužnin, L.A., Kotov, N.N., Romov, B.A.: Galois theory for Post algebras I. Kibernetika (Kiev) 3, 1–10 (1969). (Russian)
3. Couceiro, M., Foldes, S.: On closed sets of relational constraints and classes of functions closed under variable substitutions. Algebra Universalis 54, 149–165 (2005)
4. Ésik, Z., Weil, P.: Algebraic recognizability of regular tree languages. Theor. Comput. Sci. 340(2), 291–321 (2005)
5. Lau, D.: Function Algebras on Finite Sets. Springer Monographs in Mathematics. Springer, Berlin (2006)