Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs
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 with vertices; the -free graphs; finite unions of the infinite complete graph ; and duals of such graphs. The groups of automorphisms of such graphs have a natural topology, which is compatible with multiplication and inversion, i.e.\ the groups are topological groups. We consider the problem of finding minimally generated dense subgroups of the groups where is ultrahomogeneous. We show that if is ultrahomogeneous, then has 2-generated dense subgroups, and that under certain conditions given there exists such that the subgroup generated by and is dense. We also show that, roughly speaking, can be chosen with a high degree of freedom. For example, if is either an infinite disjoint unions of or a finite union of , then 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