Abstract
We study the minor relation for algebra homomorphims in finitely generated quasivarieties that admit a logarithmic natural duality. We characterize the minor homomorphism posets of finite algebras in terms of disjoint unions of dual partition lattices and investigate reconstruction problems for homomorphisms.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Bandelt, H.-J., Hedlíková, J.: Median algebras. Discret. Math. 45, 1–30 (1983)
Birkhoff, G., Kiss, S.A.: A ternary operation in distributive lattices. Bull. Am. Math. Soc. 53, 749–752 (1947)
Bouaziz, M., Couceiro, M., Pouzet, M.: Join-Irreducible Boolean Functions. Order 27(3), 261–282 (2010)
Burris, S.: Discriminator varieties and symbolic computation. J. Symb. Comput. 13, 175–207 (1992)
Cignoli, R.: Natural dualities for alegebras of Łukasiewicz finite-valued logics. Bull. Symbol. Logic 2, 218 (1996)
Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press, Cambridge (1998)
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.: Majors of functions. Order 35(2), 233–246 (2018)
Couceiro, M., Marichal, J.-L., Teheux, B.: Conservative median algebras and semilattices. Order 33, 121–132 (2016)
Couceiro, M., Pouzet, M.: On a quasi-ordering on Boolean functions. Theor. Comput. Sci. 396, 71–87 (2008)
Davey, B., Haviar, M., Priestley, H.A.: Natural dualities in partnership. Appl. Categ. Struct. 20, 583–602 (2012)
Diestel, R.: Graph Theory, 5th edn. Graduate Texts in Mathematics 173. Springer, Heidelberg (2017)
Ekin, O., Foldes, S., Hammer, P.L., Hellerstein, L.: Equational characterizations of Boolean function classes. Discret. Math. 211(1–3), 27–51 (2000)
Grätzer, G.: General Lattice Theory, 2nd edn. Basel, Birkhäuser (2003)
Isbell, J.R.: Median algebra. Trans. Amer. Math. Soc. 260(2), 319–362 (1980)
Kerkhoff, S.: On essential variables of dual operations and the consequences for operations. Algebra Universalis 70(1), 43–70 (2013)
Kerkhoff, S.: A General Duality Theory for Clones. PhD thesis, Technische Universität Dresden (2011)
Kerkhoff, S.: A general duality theory for clones. Int. J. Algebra Comput. 23(3), 457–502 (2013)
Koubek, V., Radovanská, H.: Algebras determined by their endomorphism monoids. Cahier de topologie et gé,ométrie diffŕentielle catégoriques 35(3), 187–225 (1994)
Lehtonen, E.: Totally symmetric functions are reconstructible from identification minors. Electron. J. Comb. 21, 2 (2014)
Lehtonen, E.: Reconstructing permutations from identification minors. Electron. J. Comb. 22, 4 (2015)
Lehtonen, E.: On functions with a unique identification minor. Order 33, 71–80 (2016)
Lehtonen, E.: Reconstruction of Functions from Minors Habilitation thesis. Technische Universität Dresden, Dresden (2018)
Lehtonen, E., Waldhauser, T.: Minor posets of functions as quotients of partition lattices. Order 36, 23–41 (2019)
Murskiĭ, V. L.: The existence of a finite basis of identities, and other properties of almost all finite algebras. Problemy Kibernet. 30, 43–51 (1975)
Niederkorn, P.: Natural dualities for varieties of MV-algebras I. J. Math. Anal. Applic. 255(1), 58–93 (2001)
OEIS Foundation Inc.: The on-line encyclopedia of integer sequences, http://oeis.org/A000110 (2019)
Pippenger, N.: Galois theory for minors of finite functions. Discret. Math. 254, 405–419 (2002)
Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. London Math. Soc. 2, 186–190 (1970)
Stone, M.H.: The theory of representations for Boolean Algebras. Trans. Am. Math. Soc. 40(1), 37–11 (1936)
Werner, H.: Discriminator-Algebras Algebraic Representation and Model Theoretic Properties. Akademie-Verlag, Berlin (1978)
Werner, H.: A duality for weakly associative lattices. In: Finite Algebra and Multiple-Valued Logic (Szeged, 1979), volume 28 of Colloquia Mathematica Societatis János Bolyai, pp 781–808, North-Holland (1981)
Acknowledgments
The first author is supported by the Luxembourg National Research Fund under the project PRIDE17/12246620/GPS.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Poiger, W., Teheux, B. The Minor Order of Homomorphisms via Natural Dualities. Order 40, 99–125 (2023). https://doi.org/10.1007/s11083-022-09595-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-022-09595-6