An incidence structure consists of a set of points, a set of lines, and an incidence relation, or set of flags, ; a point is said to be incident with a line if . It is a (finite) partial geometry if there are integers such that:

A partial geometry with these parameters is denoted by .

Properties

[edit]

Special cases

[edit]

Generalisations

[edit]

A partial linear space of order is called a semipartial geometry if there are integers such that:

A semipartial geometry is a partial geometry if and only if .

It can be easily shown that the collinearity graph of such a geometry is strongly regular with parameters .

A nice example of such a geometry is obtained by taking the affine points of and only those lines that intersect the plane at infinity in a point of a fixed Baer subplane; it has parameters .

See also

[edit]

References

[edit]