Abstract:Let $G$ be a transitive permutation group on $\Omega$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $\Omega$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties. A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions. We have included background and historical material on these concepts.

Block-transitive 2-designs with a chain of imprimitive point-partitions

Chain-imprimitive, flag-transitive 2-designs

Higher-dimensional grid-imprimitive block-transitive designs

Implications of Line-Transitivity for Designs

A finiteness theorem of block-transitive point-imprimitive 3-designs

On point and block primitive designs invariant under permutation groups

Pairwise transitive 2-designs

Direct constructions of some group divisible designs with block size $4$ and up to $50$ points

Block-Transitive 3-Designs with Block Size At Most 6

A new relationship between block designs

Flag-transitive 2-designs with prime-square or prime-cube block length

The flag-transitive symmetric designs with 45 points, blocks of size 12, and 3 blocks on every point pair

Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type

Block-transitive 3-(v, k, 1) designs on exceptional groups of Lie type

Infinite families of 3‐designs from APN functions

Small transitive homogeneous $3$-$(v,\{4,6\},1)$ designs

Constructing flag-transitive, point-imprimitive designs

Locally primitive block designs

A Categorical Model for Classical and Quantum Block Designs

Permutation groups, partition lattices and block structures