The non-existence of an oval-extendable (56,11,2) design (Q1071259)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The non-existence of an oval-extendable (56,11,2) design
scientific article

    Statements

    The non-existence of an oval-extendable (56,11,2) design (English)
    0 references
    1985
    0 references
    It seems an unfortunate fact of life that the neat plane-biplane connection fails for the projective (56,11,2) design, called a biplane. For the author proves its non-existence even though it possesses a collection of 924 ovals that ''extend'' it in the sense that every 3-subset of points not contained in a block is contained in a unique oval of the collection. What, in fact, is proved, through 3 lemmas, is that if such a biplane exists it would entail the existence of a 3-(112,12,1) design, i.e., an extension of a projective plane of order 10. Thus the computer result [see \textit{C. W. H. Lam}, \textit{L. Thiel}, \textit{S. Swiercz}, and \textit{J. McKay}, Discrete Math. 45, 319-321 (1983; Zbl 0574.05008)] that a plane of order 10 cannot have an oval, let alone 925 ovals forming an extension and a 3-(112,12,1) design, yields the non-existence.
    0 references
    non-existence of a projective (56,11,2) design
    0 references
    biplane
    0 references
    block
    0 references
    oval
    0 references
    extension of a projective plane
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references