Biaffine planes and divisible semiplanes (Q1065357): Difference between revisions

Let D be a biaffine plane of finite order q, i.e. an affine plane of order q with one parallel class of lines removed. A BAP system in D is a collection C of \(q^ 2\) ovals in D such that the points of D and the ovals in C are again a biaffine plane. Theorem 3 gives a construction of a (divisible) semibiplane [cf. \textit{D. R.Hughes} and \textit{F. C. Piper}, ''Design theory'' (1985; Zbl 0561.05009)] from an ''orthogonal'' pair of BAP systems in D and its dual. Then BAP systems of conics in desarguesian planes are described in coordinates, and ''orthogonality'' is expressed algebraically (Theorem 11). Finally, Theorem 12 shows the existence of (divisible) semibiplanes on \(2q^ 2\) points with 2q points per block for all prime powers q.