Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs
Date
07/2017Keywords
Metadata
Show full item recordAltmetrics Handle Statistics
Altmetrics DOI Statistics
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 Kn with n ò Nvertices, the Kn-free graphs, finite unions of the infinite complete graph K, and duals of such graphs. The groups Aut(λ) of automorphisms of such graphs λ have a natural topology, which is compatible with multiplication and inversion, i.e. The groupsAut(λ) are topological groups.We consider the problem of finding minimally generated dense subgroups of the groups Aut(λ) where λ is ultrahomogeneous.We show that if λ is ultrahomogeneous, then Aut(λ) has 2-generated dense subgroups, and that under certain conditions given f ò Aut(λ) there exists g ò Aut(λ) such that the subgroup generated by f and g is dense. We also show that, roughly speaking, g can be chosen with a high degree of freedom. For example, if λ is either an infinite disjoint union of Kn or a finite union of Kω, then g can be chosen to have any given finite set of orbit representatives.
Citation
Jonusas , J & Mitchell , J D 2017 , ' Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs ' , Forum Mathematicum , vol. 29 , no. 4 , pp. 905-939 . https://doi.org/10.1515/forum-2016-0056
Publication
Forum Mathematicum
Status
Peer reviewed
ISSN
0933-7741Type
Journal article
Rights
© 2017 Walter de Gruyter GmbH, Berlin/Boston.. This work has been made available online in accordance with the publisher’s policies. This is the final published version of the work, which was originally published at https://doi.org/10.1515/forum-2016-0056
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.