Permutation monoids and MB-homogeneous structures
File(s)1802.04166v2.pdf (366.65 KB)
Accepted version
Author(s)
Coleman, Thomas DH
Evans, David M
Gray, Robert D
Type
Journal Article
Abstract
In this paper we investigate the connection between infinite permutation monoids and bimorphism monoids of first-order structures. Taking our lead from the study of automorphism groups of structures as infinite permutation groups and the more recent developments in the field of homomorphism-homogeneous structures, we establish a series of results that underline this connection. Of particular interest is the idea of MB-homogeneity; a relational structure is MB-homogeneous if every monomorphism between finite substructures of extends to a bimorphism of . The results in question include a characterisation of closed permutation monoids, a Fraïssé-like theorem for MB-homogeneous structures, and the construction of pairwise non-isomorphic countable MB-homogeneous graphs. We prove that any finite group arises as the automorphism group of some MB-homogeneous graph and use this to construct oligomorphic permutation monoids with any given finite group of units. We also consider MB-homogeneity for various well-known examples of homogeneous structures and in particular give a complete classification of countable homogeneous undirected graphs that are also MB-homogeneous.
Date Issued
2019-05
Date Acceptance
2019-02-09
Citation
European Journal of Combinatorics, 2019, 78, pp.163-189
ISSN
0195-6698
Publisher
Elsevier
Start Page
163
End Page
189
Journal / Book Title
European Journal of Combinatorics
Volume
78
Copyright Statement
© 2019 Elsevier Ltd. All rights reserved. This manuscript is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Licence http://creativecommons.org/licenses/by-nc-nd/4.0/
Identifier
http://arxiv.org/abs/1802.04166v1
Subjects
math.GR
math.GR
math.CO
20M99, 03C15, 05C63
Publication Status
Published
Date Publish Online
2019-03-05