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