Editing Finite geometry (section)

==Finite planes==
[[File:Hesse configuration.svg|thumb|200px|right|Finite affine plane of order 3, containing 9 points and 12 lines.]]

The following remarks apply only to finite ''planes''.
There are two main kinds of finite plane geometry: [[affine geometry|affine]] and [[projective geometry|projective]].
In an [[affine plane (incidence geometry)|affine plane]], the normal sense of [[Parallel (geometry)|parallel]] lines applies.
In a [[projective plane]], by contrast, any two lines intersect at a unique point, so parallel lines do not exist.  Both finite affine plane geometry and finite projective plane geometry may be described by fairly simple [[axiom]]s.

=== Finite affine planes ===

An affine plane geometry is a nonempty set ''X'' (whose elements are called "points"), along with a nonempty collection ''L'' of subsets of ''X'' (whose elements are called "lines"), such that:
# For every two distinct points, there is exactly one line that contains both points.
# [[Playfair's axiom]]: Given a line <math>\ell</math> and a point <math>p</math> not on <math>\ell</math>, there exists exactly one line <math>\ell'</math> containing <math>p</math> such that <math>\ell \cap \ell' = \varnothing.</math>
# There exists a set of four points, no three of which belong to the same line.
The last axiom ensures that the geometry is not ''trivial'' (either [[empty set|empty]] or too simple to be of interest, such as a single line with an arbitrary number of points on it), while the first two specify the nature of the geometry.

The simplest affine plane contains only four points; it is called the ''affine plane of order'' 2. (The order of an affine plane is the number of points on any line, see below.) Since no three are collinear, any pair of points determines a unique line, and so this plane contains six lines. It corresponds to a tetrahedron where non-intersecting edges are considered "parallel", or a square where not only opposite sides, but also diagonals are considered "parallel".

The affine plane of order 3 is known as the [[Hesse configuration]].

More generally, a finite affine plane of order ''n'' has ''n''<sup>2</sup> points and {{nowrap|''n''<sup>2</sup> + ''n''}} lines; each line contains ''n'' points, and each point is on {{nowrap|''n'' + 1}} lines.

=== Finite projective planes ===

A projective plane geometry is a nonempty set ''X'' (whose elements are called "points"), along with a nonempty collection ''L'' of subsets of ''X'' (whose elements are called "lines"), such that:
# For every two distinct points, there is exactly one line that contains both points.
# The intersection of any two distinct lines contains exactly one point.
# There exists a set of four points, no three of which belong to the same line.
[[File:Fano plane Hasse diagram.svg|thumb|200px|left|Duality in the [[Fano plane]]: Each point corresponds to a line and vice versa.]]
An examination of the first two axioms shows that they are nearly identical, except that the roles of points and lines have been interchanged.
This suggests the principle of [[Duality (mathematics)#Dimension-reversing dualities|duality]] for projective plane geometries, meaning that any true statement valid in all these geometries remains true if we exchange points for lines and lines for points.
The smallest geometry satisfying all three axioms contains seven points. In this simplest of the projective planes, there are also seven lines; each point is on three lines, and each line contains three points.
[[Image:Fano plane.svg|thumb|right|The [[Fano plane]] ]]

This particular projective plane is sometimes called the '''[[Fano plane]]'''.
If any of the lines is removed from the plane, along with the points on that line, the resulting geometry is the affine plane of order 2.
The Fano plane is called '''the''' ''projective plane of order'' 2 because it is unique (up to isomorphism).
In general, the projective plane of order ''n'' has ''n''<sup>2</sup>&nbsp;+&nbsp;''n''&nbsp;+&nbsp;1 points and the same number of lines; each line contains ''n''&nbsp;+&nbsp;1 points, and each point is on ''n''&nbsp;+&nbsp;1 lines.

A permutation of the Fano plane's seven points that carries [[incidence (geometry)|collinear]] points (points on the same line) to collinear points is called a [[collineation]] of the plane. The full [[collineation group]] is of order 168 and is isomorphic to the group  [[PSL(2,7)]] ≈ PSL(3,2), which in this special case is also isomorphic to the [[general linear group]] {{nowrap|GL(3,2) ≈ PGL(3,2)}}.

=== Order of planes ===
A finite plane of '''order''' ''n'' is one such that each line has ''n'' points (for an affine plane), or such that each line has ''n'' + 1 points (for a projective plane). One major open question in finite geometry is:
:''Is the order of a finite plane always a prime power?''
This is conjectured to be true.

Affine and projective planes of order ''n'' exist whenever ''n'' is a [[prime power]] (a [[prime number]] raised to a [[Positive number|positive]] [[integer]] [[exponent]]), by using affine and projective planes over the finite field with {{nowrap|1=''n'' = ''p''<sup>''k''</sup>}} elements. Planes not derived from finite fields also exist (e.g. for <math>n=9</math>), but all known examples have order a prime power.<ref>{{Cite book|url=https://books.google.com/books?id=VwqN86g68sIC&pg=PA146|title=Discrete Mathematics Using Latin Squares|last1=Laywine|first1=Charles F.|last2=Mullen|first2=Gary L.|date=1998-09-17|publisher=John Wiley & Sons|isbn=9780471240648|language=en}}</ref>

The best general result to date is the [[Bruck–Ryser theorem]] of 1949, which states:
:If ''n'' is a [[positive integer]] of the form {{nowrap|4''k'' + 1}} or {{nowrap|4''k'' + 2}} and ''n'' is not equal to the sum of two integer [[Square (algebra)|square]]s, then ''n'' does not occur as the order of a finite plane.

The smallest integer that is not a prime power and not covered by the Bruck–Ryser theorem is 10; 10 is of the form {{nowrap|4''k'' + 2}}, but it is equal to the sum of squares {{nowrap|1<sup>2</sup> + 3<sup>2</sup>}}. The non-existence of a finite plane of order 10 was proven in a [[computer-assisted proof]] that finished in 1989 – see {{Harv|Lam|1991}} for details.

The next smallest number to consider is 12, for which neither a positive nor a negative result has been proved.

===History===
Individual examples can be found in the work of [[Thomas Penyngton Kirkman]] (1847) and the systematic development of finite projective geometry given by [[Karl Georg Christian von Staudt|von Staudt]] (1856).

The first axiomatic treatment of finite projective geometry was developed by the [[Italians|Italian]] mathematician [[Gino Fano]]. In his work<ref>{{citation|first=G.|last=Fano|title=Sui postulati fondamentali della geometria proiettiva|year=1892|journal=Giornale di Matematiche|volume= 30|pages=106–132}}</ref> on proving the independence of the set of axioms for [[Projective space|projective ''n''-space]] that he developed,<ref>{{harvnb|Collino|Conte|Verra|2013|loc=p. 6}}</ref> he considered a finite three dimensional space with 15 points, 35 lines and 15 planes (see diagram), in which each line had only three points on it.<ref>{{harvnb|Malkevitch}} Finite Geometries? an AMS Featured Column</ref>

In 1906 [[Oswald Veblen]] and W. H. Bussey described [[projective geometry]] using [[homogeneous coordinates]] with entries from the [[Galois field]] GF(''q''). When ''n'' + 1 coordinates are used, the ''n''-dimensional finite geometry is denoted PG(''n, q'').<ref>[[Oswald Veblen]] (1906) [https://www.ams.org/journals/tran/1906-007-02/S0002-9947-1906-1500747-6/S0002-9947-1906-1500747-6.pdf Finite Projective Geometries], [[Transactions of the American Mathematical Society]] 7: 241–59</ref> It arises in [[synthetic geometry]] and has an associated transformation [[group (mathematics)|group]].