The poset of copies for automorphism groups of countable relational structures
Preprint
Abstract
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}$.
Keywords
All Related Versions
This publication has 6 references indexed in Scilit:
- Antichains of copies of ultrahomogeneous structuresArchive for Mathematical Logic, 2022
- Siblings of an ℵ0-categorical relational structureContributions to Discrete Mathematics, 2021
- The poset of all copies of the random graph has the 2-localization propertyAnnals of Pure and Applied Logic, 2016
- Posets of copies of countable scattered linear ordersAnnals of Pure and Applied Logic, 2014
- Metric and Topological Aspects of the Symmetric Group of Countable DegreeEuropean Journal of Combinatorics, 1996
- Sur l'extension aux relations de quelques propriétés des ordresAnnales Scientifiques de lʼÉcole Normale Supérieure, 1954