Abstract:This paper is about the structure of infinite primitive permutation groups and totally disconnected locally compact groups ("tdlc groups'"). The permutation groups we investigate are subdegree-finite (i.e. all orbits of point stabilisers are finite). Automorphism groups of connected, locally finite graphs are examples of subdegree-finite permutation groups. The tdlc groups we investigate all have a maximal subgroup that is compact and open. Tdlc groups with few open subgroups (recently studied by Pierre-Emmanuel Caprace and Timothée Marquis) are examples of such groups. We prove a classification result, and use it to show that every closed, subdegree-finite primitive group is a primitive subgroup of a product H Wr F_1 [X] F_2 Wr ... [X] F_{m-1} Wr F_m, where H is a closed, subdegree-finite and primitive group that is either finite or one-ended and almost topologically simple. The groups F_i are transitive and finite and m is finite. The product [X] here denotes the recently discovered box product, and all wreath products here act via their product action. We apply this permutational result to tdlc groups. If G is a tdlc group then it contains a compact open subgroup V. The permutation group induced by the action of G on the coset space G/V is called the Schlichting completion of the pair (G,V), and is denoted G//V. Knowledge of this action of G on G/V underpins many recent influential results in tdlc theory. We show that if V is a maximal subgroup of G, and G is non-compact, then G//V is subject to a topological interpretation of our result for primitive groups. We use this to show that in this case, if G//V is nondiscrete, preserves no nontrivial homogenous cartesian decomposition on G/V, and does not split nontrivially over a compact open subgroup, then the monolith of G//V is a nondiscrete, one-ended, topologically simple, compactly generated tdlc group.

Finite Simple Groups in the Primitive Positive Constructability Poset

Submaximal clones over a three-element set up to minor-equivalence

Automorphism groups of finite posets II

Primitive Permutation Groups with a Solvable 2-Transitive Subconstituent

On the lattice of $\unicode[stix]{x1d6f1}_\mathfrak{i}$ -subnormal subgroups of a finite group

The structure of primitive permutation groups with finite suborbits and t.d.l.c. groups admitting a compact open subgroup that is maximal

Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

Lattices of Subgroup and Subsystem Functors

Profinite isomorphisms and fixed-point properties

Inductive and divisional posets

The fundamental group of the $p$-subgroup complex

Finite simple permutation groups acting with fixity 4

Permutation clones that preserve relations

Constructing Compacta from Posets

Finitely generated maximal partial clones and their intersections

Examples of Nonpronormal Relatively Maximal Subgroups of Finite Simple Groups

Lattices Generated by Partial Injective Maps of Finite Sets.

Quotients of Special Classes of Positroids

Finite Covers of Groups by Cosets or Subgroups

Finite simple groups with two maximal subgroups of coprime orders