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. Any two distinct points lie on exactly one line. For any line ℓ and point P not on ℓ, there is exactly one line through P that doesn’t intersect ℓ. 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…

Commenting on Bubbles has been removed. Why? If you want to talk about this post, write to the author, use the comments on their blog if it has them, or reply with a "RE:" post on your own blog. Suggestions? feedback@bubbles.town