1: \begin{abstract}

2: We introduce a new product for permutation groups. It takes as input two permutation groups, $\gpa$ and $\gpb$, and produces an infinite group $\Boxproduct{\gpa}{\gpb}{}$ which carries many of the permutational

3: properties of $\gpa$. Under mild conditions on $\gpa$ and $\gpb$ the group $\Boxproduct{\gpa}{\gpb}{}$ is simple.

4: 

5: As a permutational product, its most significant property is the following: $\Boxproduct{\gpa}{\gpb}{}$ is primitive if and only if $\gpa$ is primitive but not regular, and $\gpb$ is transitive.

6: Despite this remarkable similarity with the wreath product in product action, $\Boxproduct{\gpa}{\gpb}{}$ and $\gpa \Wr \gpb$ are thoroughly dissimilar.

7: 

8: The product provides a general way to build exotic examples of non-discrete, simple, totally disconnected, locally compact, compactly generated topological groups from discrete groups.

9: 

10: We use this to solve a well-known open problem from topological group theory, by

11: obtaining the first construction of uncountably many pairwise non-isomorphic simple topological groups that are totally disconnected, locally compact, compactly generated and non-discrete. The groups we construct all contain the same compact open subgroup.

12: 

13:  

14: To build the product, we describe a group $\Universal{\gpa}{\gpb}{}$ that acts on an edge-transitive 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.

15: \end{abstract}

16: