English

Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs

Group Theory 2017-01-30 v3

Abstract

A countable graph is ultrahomogeneous if every isomorphism between finite induced subgraphs can be extended to an automorphism. Woodrow and Lachlan showed that there are essentially four types of such countably infinite graphs: the random graph; infinite disjoint unions of complete graphs KnK_n with nNn\in \mathbb{N} vertices; the KnK_n-free graphs; finite unions of the infinite complete graph KωK_{\omega}; and duals of such graphs. The groups Aut(Γ)\operatorname{Aut}(\Gamma) of automorphisms of such graphs Γ\Gamma have a natural topology, which is compatible with multiplication and inversion, i.e.\ the groups Aut(Γ)\operatorname{Aut}(\Gamma) are topological groups. We consider the problem of finding minimally generated dense subgroups of the groups Aut(Γ)\operatorname{Aut}(\Gamma) where Γ\Gamma is ultrahomogeneous. We show that if Γ\Gamma is ultrahomogeneous, then Aut(Γ)\operatorname{Aut}(\Gamma) has 2-generated dense subgroups, and that under certain conditions given fAut(Γ)f \in \operatorname{Aut}(\Gamma) there exists gAut(Γ)g\in \operatorname{Aut}(\Gamma) such that the subgroup generated by ff and gg is dense. We also show that, roughly speaking, gg can be chosen with a high degree of freedom. For example, if Γ\Gamma is either an infinite disjoint unions of KnK_n or a finite union of KωK_{\omega}, then gg can be chosen to have any given finite set of orbit representatives.

Keywords

Cite

@article{arxiv.1602.05766,
  title  = {Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs},
  author = {J. Jonušas and J. D. Mitchell},
  journal= {arXiv preprint arXiv:1602.05766},
  year   = {2017}
}

Comments

Fixed some typos and a couple inaccuracies