Finite Affine Planes

The previous post was on finite projective planes. This post will look at finite affine planes and the next will look at finite hyperbolic planes.

Affine geometry is essentially what remains of Euclidean geometry if you keep the incidence properties, e.g. wanting to know whether things intersect, and forget about metric properties such as segment lengths and angle measurements. As with projective planes, affine planes can be finite.

The axioms of an affine plane are as follows.

1. Any two distinct points lie on exactly one line.
2. For any line and point P not on , there is exactly one line through P that doesn't intersect .
3. There exist three points that are not collinear.

The second axiom says that affine geometry is Euclidean, or maybe Euclidean-lite. It lacks features of Euclidean geometry, but it doesn't contradict Euclidean geometry.

To construct an example of a finite affine plane, let p be an odd prime and construct a p * p grid with x- and y-coordinates 0, 1, 2, ..., p - 1. The affine lines are essentially the Euclidean lines that pass through the grid points, if lines can wrap around the sides, i.e. you're working on a discrete torus. Algebraically, lines are the solutions tox =c andy =mx +b modp.

A finite affine plane always hasn^2 points and n^2 + n lines. The numbern can be an odd prime, or any prime power greater than 2. It is unknown whether there are examples in whichn is not a prime power. There are no affine planes of order 6 or 10, and the case ofn = 12 is open.

The post Finite Affine Planes first appeared on John D. Cook.