We show how to lift the even intersection equivalence relation from the hyperovals of PG(2, 4) to an equivalence relation amongst sets of hyperconics in "PG(2, F ). Here, F is any "nite or in"nite "eld of characteristic two that contains a sub"eld of order 4, but does not contain a sub"eld of order
Hyperovals in the known projective planes of order 16
β Scribed by Tim Penttila; Gordon F. Royle; Michael K. Simpson
- Publisher
- John Wiley and Sons
- Year
- 1996
- Tongue
- English
- Weight
- 382 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1063-8539
No coin nor oath required. For personal study only.
β¦ Synopsis
We construct by computer all of the hyperovals in the 22 known projective planes of order 16. Our most interesting result is that four of the planes contain no hyperovals, thus providing counterexamples to the old conjecture that every finite projective plane contains an oval.
π SIMILAR VOLUMES
Let be a projective plane of odd order n containing an oval β. We give a classification of collineation groups of which fix β and act transitively on the set I I of all internal points of β.
In this paper it is shown that given a non-degenerate elliptic quadric in the projective space PG(2n -1, q), q odd, then there does not exist a spread of PG(2n -1, q) such that each element of the spread meets the quadric in a maximal totally singular subspace. An immediate consequence is that the c
## Abstract In this article, we prove that there does not exist a symmetric transversal design ${\rm STD}\_2[12;6]$ which admits an automorphism group of order 4 acting semiregularly on the point set and the block set. We use an orbit theorem for symmetric transversal designs to prove our result. A
A set S of k points in a projective plane of order q is of type (m, n) if each line meets S in either m or n points. The parameters are standard if q=a 2 for a=n&m. In this note we give a method for determining all admissible nonstandard parameters for a given m and q a prime power.
## Abstract The functions __a(n)__ and __p(n)__ are defined to be the smallest integer Ξ» for which Ξ»βfold quasimultiples affine and projective planes of order __n__ exist. It was shown by Jungnickel [J. Combin. Designs 3 (1995), 427β432] that __a(n),p(n)__β<β__n__^10^ for sufficiently large __n__.