Smith, Simon
(2017)
A product for permutation groups and topological groups.
Duke Mathematical Journal, 166
(15).
pp. 29652999.
ISSN 00127094
Full content URL: https://doi.org/10.1215/0012709420170022
A product for permutation groups and topological groups  Accepted Manuscript   [Download] 

Preview 

PDF
AnewproductDukeUoLRepositoryVersion.pdf
 Whole Document
568kB 
Item Type:  Article 

Item Status:  Live Archive 

Abstract
We introduce a new product for permutation groups. It takes as input two permutation groups, M and N, and produces an infinite group M [X] N which carries many of the permutational properties of M. Under mild conditions on M and N the group M [X] N is simple. As a permutational product, its most significant property is the following: M [X] N is primitive if and only if M is primitive but not regular, and N is transitive. Despite this remarkable similarity with the wreath product in product action, M [X] N and M Wr N are thoroughly dissimilar. The product provides a general way to build exotic examples of nondiscrete, simple, totally disconnected, locally compact, compactly generated topological groups from discrete groups. We use this to solve a wellknown open problem from topological group theory, by obtaining the first construction of uncountably many pairwise nonisomorphic simple topological groups that are totally disconnected, locally compact, compactly generated and nondiscrete. The groups we construct all contain the same compact open subgroup. To build the product, we describe a group U(M,N) that acts on an edgetransitive biregular tree T. This group has a natural universal property and is analogous to the iconic universal group construction of M. Burger and S. Mozes for locally finite regular trees.
Repository Staff Only: item control page