Norbert Sauer

Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.

A relational structure $\mathrm{R}$ is {\em rainbow Ramsey} if for every finite induced substructure $\mathrm{C}$ of $\mathrm{R}$ and every colouring of the copies of $\mathrm{C}$ with countably many colours, such that each colour is used at most $k$ times for a fixed $k$, there exists a copy $\mathrm{R}^\ast$ of $\mathrm{R}$ so that the copies of $\mathrm{C}$ in $\mathrm{R^\ast}$ use each colour at most once. We show that certain ultrahomogenous binary relational structures, for example the Rado graph, are rainbow Ramsey. Via compactness this then implies that for all finite graphs $\mathrm{B}$ and $\mathrm{C}$ and $k \in \omega$, there exists a graph $\mathrm{A}$ so that for every colouring of the copies of $\mathrm{C}$ in $\mathrm{A}$ such that each colour is used at most $k$ times, there exists a copy $\mathrm{B}^\ast$ of $\mathrm{B}$ in $\mathrm{A}$ so that the copies of $\mathrm{C}$ in $\mathrm{B^\ast}$ use each colour at most once.

The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. In early work, Michael Albertson and Karen Collins computed the distinguishing number for various finite graphs, and more recently Wilfried Imrich, Sandi Klavžar and Vladimir Trofimov computed the distinguishing number of some infinite graphs, showing in particular that the Random Graph has distinguishing number 2. We compute the distinguishing number of various other finite and countable homogeneous structures, including undirected and directed graphs, and posets. We show that this number is in most cases two or infinite, and besides a few exceptions conjecture that this is so for all primitive homogeneous countable structures.