Abstract
Combinatorial structures have been considered under various orders, including substructure order and homomorphism order. In this paper, we investigate the homomorphic image order, corresponding to the existence of a surjective homomorphism between two structures. We distinguish between strong and induced forms of the order and explore how they behave in the context of different common combinatorial structures. We focus on three aspects: antichains and partial well-order, the joint preimage property and the dual amalgamation property. The two latter properties are natural analogues of the well-known joint embedding property and amalgamation property, and are investigated here for the first time.
Similar content being viewed by others
References
Albert, M., Atkinson, M.: Simple permutations and pattern restricted permutations. Discret. Math. 300, 1–15 (2005)
Brignall, R.: A survey of simple permutations. Permutation patterns, pp. 41–65, London Math. Soc. Lecture Note Ser. 376. Cambridge University Press, Cambridge (2010)
Cameron, P.J., Kazanidis, P.A.: Cores of symmetric graphs. J. Aust. Math. Soc. 85, 145–154 (2008)
Cherlin, G.: Forbidden substructures and combinatorial dichotomies: WQO and universality. Discret. Math. 311, 1543–1584 (2011)
Foniok, J., Nešetřil, J., Tardif, C.: Generalised dualities and maximal finite antichains in the homomorphism order of relational structures. Eur. J. Comb. 29, 881–899 (2008)
Hell, P., Nešetřil, J.: Graphs and Homomorphisms. Oxford Lecture Series in Mathematics and Its Applications 28. Oxford University Press, Oxford (2004)
Higman, G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 2, 326–336 (1952)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Kruskal, J.B.: The theory of well-quasi-ordering: a frequently discovered concept. J. Comb. Theory Ser. A 13, 297–305 (1972)
Kwuida, L., Lehtonen, E.: On the homomorphism order of labeled posets. Order 28, 251–265 (2011)
Nešetřil, J., Pultr, A.: On classes of relations and graphs determined by subobjects and factorobjects. Discret. Math. 22, 287–300 (1978)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Huczynska, S., Ruškuc, N. Homomorphic Image Orders on Combinatorial Structures. Order 32, 205–226 (2015). https://doi.org/10.1007/s11083-014-9326-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-014-9326-8