A refinement of Wielandt’s k-closed hierarchy of permutation groups with applications to algebraic graph theory

2022-11-28
15:00 — 16:00
FAMNIT-MP1
Ted Dobson (UP FAMNIT, Slovenia)
A refinement of Wielandt’s k-closed hierarchy of permutation groups with applications to algebraic graph theory

Let $k\ge 1$ be an integer.  In the 1960’s, Helmut Wielandt introduced the notion of $k$-closed groups, which give a hierarchy of all transitive permutation groups.  Intuitively, a $k$-closed group is the automorphism of a colored $k$-ary relational structure.  For $k = 2$, where almost all of the work using Wielandt’s hierarchy is done, it is simply the automorphism group of a colored vertex-transitive digraph (here an automorphism not only preserves arcs but also preserves colors).  Over the course of my career, I have noticed that many results on symmetries in graphs, especially concerning the Cayley isomorphism problem, determining automorphism groups of vertex-transitive graphs, and also determining minimal transitive subgroups of the automorphism groups of vertex-transitive graphs (essentially classifying them), do not need too much information about the graph being considered.  That is, a certain group theoretic property that the automorphism group of a vertex-transitive graph has is all that is needed to prove many results. To capture this idea, we introduce a new class of transitive permutation groups which has this property, and contains all transitive $2$-closed permutation groups.  There are $3$-closed groups which do not have this property, so in a way this class is “between” $2$-closed and $3$-closed (the combinatorial object whose automorphism groups are $3$-closed are 3-uniform hypergraphs with each hyperedge “directed” and “colored”).  So we call this class $5/2$-closed.  It turns out that not only are $2$-closed groups contained in this new class, but also the automorphism groups of configurations, and in more generality, combinatorial objects whose “edge” set is a $1$-intersecting set system (that is, any two “edges” intersect in exactly one vertex).  We will then discuss the advantages of working in this new family of groups, and some results which have been obtained.

 

Everyone is welcome and encouraged to attend!