Symmetric designs

A symmetric design is a design with t=2 and b=v where b denotes the number of lines. We have the following basic theorem about these designs.

Theorem. If is a symmetric, non-trivial design, then .

Again, the non trivial, symmetric designs with are exactly the, eventually degenerated, finite projective planes.

The symmetric, non trivial, designs with are called biplanes. In concrete terms, we arrive at the following definition.

Definition. An incidence structure is called a biplane if the following two axioms hold.

Currently, there are only finitely many finite biplanes known. It's an open problem whether there exist arbitrarily big finite biplanes.

Contributed by Hauke Klein
Version $Id: symdesign.html,v 1.1 2000/12/26 18:34:41 hauke Exp $