Abstract
We present a Galois theory connecting finitary operations with pairs of finitary relations, one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Barto, L.: The dichotomy for conservative constraint satisfaction problems revisited. In: 26th Annual IEEE Symposium on Logic in Computer Science—LICS 2011, pp. 301–310. IEEE Computer Soc., Los Alamitos, CA (2011)
Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8 1:07, 27 pp. (2012)
Behrisch, M.: Clones with nullary operations. In: J. Power, C. Wingfield (eds.) Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013), Electron. Notes Theor. Comput. Sci., vol. 303, pp. 3–35. Elsevier Sci. B. V., Amsterdam (2014)
Behrisch, M.: Galois theory for semiclones. CoRR abs/1509.06355, 1–38 (2015). URL http://arxiv.org/abs/1509.06355v1
Bodirsky M., Pinsker M.: Minimal functions on the random graph. Israel J. Math. 200, 251–296 (2014)
Bodirsky M., Pinsker M.: Topological Birkhoff. Trans. Amer. Math. Soc. 367, 2527–2549 (2015)
Bodirsky, M., Pinsker, M., Pongrácz, A.: Reconstructing the topology of clones. CoRR abs/1312.7699, 1–30 (2014)
Bodnarčuk, V.G., Kalužnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras. I. Cybernetics 5, 243–252 (1969)
Bodnarčuk, V.G., Kalužnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras. II. Cybernetics 5, 531–539 (1969)
Bodnarčuk, V.G., Kalužnin, L.A., Kotov, V.N., Romov, B.A.: I, II [Galois theory for Post algebras. I, II]. Kibernetika (Kiev) 5, 1–10; ibid. 1–9 (1969)
Bulatov A.A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53, 66–120 (2006)
Couceiro, M.: On Galois connections between external operations and relational constraints: arity restrictions and operator decompositions. Acta Sci. Math. (Szeged) 7215–35 (2006)
Couceiro M., Foldes S.: On closed sets of relational constraints and classes of functions closed under variable substitutions. Algebra Universalis 54, 149–165 (2005)
Couceiro M., Lehtonen E.: Galois theory for sets of operations closed under permutation, cylindrification, and composition. Algebra Universalis 67, 273–297 (2012)
Geiger D.: Closed systems of functions and predicates. Pacific J. Math. 27, 95–100 (1968)
Goldstern M., Pinsker M.: A survey of clones on infinite sets. Algebra Universalis 59, 365–403 (2008)
Harnau, W.: Ein verallgemeinerter Relationen- und ein modifizierter Superpositionsbegriff für die Algebra der mehrwertigen Logik. [A generalised notion of relation and a modified notion of superposition for the algebra of multiple-valued logic.]. Habilitation thesis, Universität Rostock (1983)
Harnau, W.: Ein verallgemeinerter Relationenbegriff für die Algebra der mehrwertigen Logik. I. Grundlagen [A generalised notion of relation for the algebra of multiple-valued logic. I. Foundations.]. Rostock. Math. Kolloq. 28, 5–17 (1985)
Harnau, W.: Ein verallgemeinerter Relationenbegriff für die Algebra der mehrwertigen Logik. II. Relationenpaare [A generalised notion of relation for the algebra of multiple-valued logic. II. Pairs of relations.]. Rostock. Math. Kolloq. 31, 11–20 (1987)
Harnau, W.: Ein verallgemeinerter Relationenbegriff für die Algebra der mehrwertigen Logik. III. Beweis [A generalised notion of relation for the algebra of multiple-valued logic. III. Proof.]. Rostock. Math. Kolloq. 32, 15–24 (1987)
Jablonskij, S.V.: [Functional constructions in k-valued logic]. Trudy Mat. Inst. Steklov. 51, 5–142 (1958)
Jablonskij, S.V., Gavrilov, G.P., Kudrjavcev, V.B.: [Functions of algebraic logic and Post classes]. Izdat. “Nauka”, Moscow (1966)
Janov, Ju.I., Mucnik, A.A.: [Existence of k-valued closed classes without a finite basis]. Dokl. Akad. Nauk SSSR 127, 44–46 (1959)
Kerkhoff, S.: A general Galois theory for operations and relations in arbitrary categories. Algebra Universalis 68, 325–352 (2012)
Lau, D.: Function algebras on finite sets. A basic course on many-valued logic and clone theory. Springer Monographs in Mathematics. Springer, Berlin (2006)
Lehtonen E.: Closed classes of functions, generalized constraints, and clusters. Algebra Universalis 63, 203–234 (2010)
Mal'cev, A.I.: [Iterative algebras and Post varieties]. Algebra i Logika Sem. 5, 5–24 (1966)
Pippenger N.: Galois theory for minors of finite functions. Discrete Math. 254, 405–419 (2002)
Pöschel, R.: Concrete representation of algebraic structures and a general Galois theory. In: Contributions to general algebra (Proc. Klagenfurt Conf., Klagenfurt, 1978), pp. 249–272. Heyn, Klagenfurt (1979)
Pöschel, R.: A general Galois theory for operations and relations and concrete characterization of related algebraic structures, Report 1980, vol. 1. Akademie der Wissenschaften der DDR Institut für Mathematik, Berlin (1980). With German and Russian summaries
Pöschel, R., Kalužnin, L.A.: Funktionen- und Relationenalgebren. Ein Kapitel der diskreten Mathematik, Mathematische Monographien, vol. 15. VEB Deutscher Verlag der Wissenschaften, Berlin (1979)
Rosenberg, I.G.: Über die funktionale Vollstäigkeit in den mehrwertigen Logiken. Struktur der Funktionen von mehreren Veräerlichen auf endlichen Mengen [On functional completeness in multiple-valued logics. Structure of functions of several variables on finite sets], Rozpravy Československé Akademie Ved: Řada matematických a přírodních věd, vol. 80. Academia (1970)
Schmidt, J.: Clones and semiclones of operations. In: Universal algebra (Esztergom, 1977), Colloq. Math. Soc. Jás Bolyai, vol. 29, pp. 705–723. North-Holland, Amsterdam (1982)
Szabó, : Concrete representation of related structures of universal algebras. I. Acta Sci. Math. (Szeged) 40, 175–184 (1978)
Szendrei, Á: Clones in universal algebra, Séminaire de Mathématiques Supérieures, vol. 99. Presses de l’Université de Montréal, Montreal, QC (1986)
Vargas E.: Clausal relations and C-clones. Discuss. Math. Gen. Algebra Appl. 30, 147–171 (2010)
Zhuk, D.N.: The lattice of the clones of self-dual functions in three-valued logic. In: Proceedings of the symposium held in Tuusula, May 23–25, 2011, 41st IEEE International Symposium on Multiple-Valued Logic ISMVL 2011, pp. 193–197. IEEE Computer Society, Los Alamitos, CA (2011)
Zhuk D.N.: The cardinality of the set of all clones containing a given minimal clone on three elements. Algebra Universalis 68, 295–320 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by A. Szendrei.
Supported by the Austrian Science Fund (FWF) under grant I836-N23.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Behrisch, M. Galois theory for semiclones. Algebra Univers. 76, 385–413 (2016). https://doi.org/10.1007/s00012-016-0407-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0407-y