11.45 (1990)

Open

A $t$-$(v, k, \lambda)$ design $\mathscr{D} = (X, \mathscr{B})$ contains a set $X$ of $v$ points and a set $\mathscr{B}$ of $k$-element subsets of $X$ called blocks such that each $t$-element subset of $X$ is contained in $\lambda$ blocks. Prove that there are no nontrivial block-transitive 6-designs. (We have shown that there are no nontrivial block-transitive 8-designs and there are certainly some block-transitive, even flag-transitive, 5-designs.)

Progress

Comment of 2009: In (Finite Geometry and Combinatorics (Deinze 1992), Cambridge Univ. Press, 1993, 103–119) we showed that a block-transitive group $G$ on a nontrivial 6-design is either an affine group $AGL(d, 2)$ or is between $PSL(2, q)$ and $P\Gamma L(2, q)$; in (M. Huber, J. Combin. Theory Ser. A, 117, no. 2 (2010), 196–203) it is shown that for the case $\lambda = 1$ the group $G$ may only be $P\Gamma L(2, p^e)$, where $p$ is 2 or 3 and $e$ is an odd prime power. Comment of 2013: In the case $\lambda = 1$ there are no block-transitive 7-designs (M. Huber, Discrete Math. Theor. Comput. Sci., 12, no. 1 (2010), 123–132). Comment of 2021: There are no nontrivial 6-designs with $k \leqslant 10^4$ in the case where the automorphism group is almost simple (Q. Tan, W. Liu, J. Chen, Algebra Colloq., 21, no. 2 (2014), 231–234).

Comments

All comments are the responsibility of the user. Comments appearing on this page are not verified for correctness. Please keep posts mathematical and on topic. If you want to submit a proof (or a partial proof), please use the dedicated proof submission form rather than posting it in the comments.
Order by newest first or oldest first.

No comments yet. Be the first to comment.

Proof claims

Proof claims are the responsibility of the submitter. Appearance here does not mean the claim has been checked for mathematical correctness. Moderators only screen for spam, abuse, and obviously low-effort submissions.

No proof claims yet.