arXiv++ Combinatorics

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 $\mathcal{M}$ is MB-homogeneous if every monomorphism between finite substructures of $\mathcal{M}$ extends to a bimorphism of $\mathcal{M}$. The results in question include a characterisation of closed permutation monoids, a Fraïssé-like theorem for MB-homogeneous structures, and the construction of $2^{\aleph_0}$ 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.

We study the partial Brauer monoid and its planar submonoid, the Motzkin monoid. We conduct a thorough investigation of the structure of both monoids, providing information on normal forms, Green's relations, regularity, ideals, idempotent generation, minimal (idempotent) generating sets, and so on. We obtain necessary and sufficient conditions under which the ideals of these monoids are idempotent-generated. We find formulae for the rank (smallest size of a generating set) of each ideal, and for the idempotent rank (smallest size of an idempotent generating set) of the idempotent-generated subsemigroup of each ideal; in particular, when an ideal is idempotent-generated, the rank and idempotent rank are equal. Along the way, we obtain a number of results of independent interest, and we demonstrate the utility of the semigroup theoretic approach by applying our results to obtain new proofs of important representation theoretic results concerning the corresponding diagram algebras, the partial (or rook) Brauer algebra and Motzkin algebra.

We establish links between countable algebraically closed graphs and the endomorphisms of the countable universal graph $R$. As a consequence we show that, for any countable graph $Γ$, there are uncountably many maximal subgroups of the endomorphism monoid of $R$ isomorphic to the automorphism group of $Γ$. Further structural information about End $R$ is established including that Aut $Γ$ arises in uncountably many ways as a Schützenberger group. Similar results are proved for the countable universal directed graph and the countable universal bipartite graph.