Partial geometry
An incidence structure consists of points
, lines
, and flags
where a point
is said to be incident with a line
if
. It is a (finite) partial geometry if there are integers
such that:
- For any pair of distinct points
and
, there is at most one line incident with both of them.
- Each line is incident with
points.
- Each point is incident with
lines.
- If a point
and a line
are not incident, there are exactly
pairs
, such that
is incident with
and
is incident with
.
A partial geometry with these parameters is denoted by .
Properties
- The number of points is given by
and the number of lines by
.
- The point graph of a
is a strongly regular graph :
.
- Partial geometries are dual structures : the dual of a
is simply a
.
Special case
- The generalized quadrangles are exactly those partial geometries
with
.
- The Steiner systems are precisely those partial geometries
with
.
See also
References
- Brouwer, A.E.; van Lint, J.H. (1984), "Strongly regular graphs and partial geometries", in Jackson, D.M.; Vanstone, S.A., Enumeration and Design, Toronto: Academic Press, pp. 85–122
- De Clerck, F.; Van Maldeghem, H. (1995), "Some classes of rank 2 geometries", Handbook of Incidence Geometry, Amsterdam: North-Holland, pp. 433–475
- Thas, J.A. (2007), "Partial Geometries", in Colbourn, Charles J.; Dinitz, Jeffrey H., Handbook of Combinatorial Designs (2nd ed.), Boca Raton: Chapman & Hall/ CRC, pp. 557–561, ISBN 1-58488-506-8