Steinberg triality groups acting on 2 ? ( v, k , 1) designs

Weijun Liu
DOI: https://doi.org/10.1360/02ys0180
2003-01-01
Abstract:A 2 - (υ, k , 1) design D = (ℙ,ℙ, ℬ) is a system consisting of a finite set ℙ of υ points and a collection ℬ of ℙ-subsets of ℙ, called blocks, such that each 2-subset of ℙ is contained in precisely one block. Let G be an automorphism group of a 2-(υ, k , 1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ⩽ G ⩽ Aut( T ), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to 3 D 4 ( q ). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.
What problem does this paper attempt to address?