Galois geometry (so named after the 19th century French Mathematician Évariste Galois) is the branch of finite geometry that is concerned with algebraic and analytic geometry over a finite field (or Galois field). More narrowly, a Galois geometry may be defined as a projective space over a finite field.
Objects of study include vector spaces, affine and projective spaces over finite fields and various structures that are contained in them. In particular, arcs, ovals, hyperovals, unitals, blocking sets, ovoids, caps, spreads and all finite analogues of structures found in non-finite geometries.
The first significant result in Galois geometry is the celebrated Segre's theorem of 1955. This states that in a Galois geometry of odd order (a projective plane defined over a finite field of odd characteristic) every oval is a conic. At the 1958 International Mathematical Congress Beniamino Segre presented a survey of results in Galois geometry known up to then.
- Hirschfeld, J. W. P. (1979), Projective Geometries Over Finite Fields, Oxford University Press, ISBN 978-0-19-850295-1, emphasizing dimensions one and two.
- Hirschfeld, J. W. P. (1985), Finite Projective Spaces of Three Dimensions, Oxford University Press, ISBN 0-19-853536-8, dimension 3.
- Hirschfeld, J. W. P.; Thas, J. A. (1992), General Galois Geometries, Oxford University Press, ISBN 978-0-19-853537-9, treating general dimension.
- De Beule, Jan; Storme, Leo (2011), Current Research Topics in Galois Geometry, Nova Science Publishers, ISBN 978-1-61209-523-3
- Galois geometry at Encyclopaedia of Mathematics, SpringerLink