The synchronization hierarchy of finite permutation groups consists of classes of groups lying between $2$-transitive groups and primitive groups. This includes the class of spreading groups, which are defined in terms of sets and multisets of permuted points, and which are known to be primitive of almost simple, affine or diagonal type. In this paper, we prove that in fact no spreading group of diagonal type exists. As part of our proof, we show that all non-abelian finite simple groups, other than six sporadic groups, have a transitive action in which a proper normal subgroup of a point stabilizer is supplemented by all corresponding two-point stabilizers.

The thesis pseudofinite structures and counting dimensions is about the model theory of pseudofinite structures with the focus on groups and fields. The aim is to deepen our understanding of how pseudofinite counting dimensions can interact with the algebraic properties of underlying structures and how we could classify certain classes of structures according to their counting dimensions. Our approach is by studying examples. We treat three classes of structures: The first one is the class of H-structures, which are generic expansions of existing structures. We give an explicit construction of pseudofinite H-structures as ultraproducts of finite structures. The second one is the class of finite difference fields. We study properties of coarse pseudofinite dimension in this class, show that it is definable and integer-valued and build a partial connection between this dimension and transformal transcendence degree. The third example is the class of pseudofinite primitive permutation groups. We generalise Hrushovski’s classical classification theorem for stable permutation groups acting on a strongly minimal set to the case where there exists an abstract notion of dimension, which includes both the classical model theoretic ranks and pseudofinite counting dimensions. In this thesis, we also generalise Schlichting’s theorem for groups to the case of approximate subgroups with a notion of commensurability.

Abstract prepared by Tingxiang Zou.

E-mail: tzou@uni-muenster.de

URL: https://tel.archives-ouvertes.fr/tel-02283810/document

Dedicated to the memory of Helmut Wielandt

In this paper a classification is obtained of all pairs G, H of finite primitive permutation groups such that G < H, the socles of G and H are different, and G and H share a common non-trivial orbital. An application is given to the study of automorphism groups of edge-transitive graphs.

2000 Mathematical Subject Classification: 20B15, 20B25.