Finite geometry

A finite geometry is any geometric system that has only a finite number of points. Unlike the familiar Euclidean geometry, which has infinitely many points on a line, a finite geometry has a limited, countable set of points. For example, the graphics on a computer screen can be thought of as a finite geometry, where each pixel represents a point.

There are many types of finite geometries, but the most studied ones are finite projective and affine spaces. These are chosen for their regularity and simplicity. Other important types include finite Möbius or inversive planes, Laguerre planes, and their higher-dimensional versions known as Benz planes and higher finite inversive geometries.

Finite geometries can be built using linear algebra starting from vector spaces over a finite field. These constructions often produce what are called Galois geometries. While most finite geometries are Galois geometries, there are special cases, like certain two-dimensional planes, that do not follow this pattern and are known as non-Desarguesian planes.

Finite planes

There are two main kinds of finite plane geometry: affine and projective. In an affine plane, parallel lines behave as they do in regular geometry. In a projective plane, any two lines meet at one point, so there are no parallel lines. Both types of finite plane geometry follow simple rules, or axioms.

An affine plane has points and lines where each pair of points lies on exactly one line, and for any line and a point not on that line, there is exactly one line through the point that does not meet the first line. The simplest affine plane has four points and six lines. A projective plane also has points and lines, but any two lines meet at exactly one point, and each pair of points lies on exactly one line. The smallest projective plane, called the Fano plane, has seven points and seven lines.

Finite spaces of 3 or more dimensions

The study of finite spaces with three or more dimensions is important for advanced mathematics. In these spaces, points and lines follow specific rules. For example, any two distinct points lie on exactly one line, and each line contains at least three points.

One way to build these spaces is by using math structures called finite fields. The smallest example is PG(3,2), which has 15 points, 35 lines, and 15 planes. This space helps solve problems like arranging groups of schoolgirls so each pair walks together only once over a week.