English

The poset of copies for automorphism groups of countable relational structures

Combinatorics 2020-02-13 v1 Group Theory Logic

Abstract

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

Keywords

Cite

@article{arxiv.2002.04771,
  title  = {The poset of copies for automorphism groups of countable relational structures},
  author = {Claude Laflamme and Maurice Pouzet and Norbert Sauer and Robert Woodrow},
  journal= {arXiv preprint arXiv:2002.04771},
  year   = {2020}
}