In mathematics, a non-Desarguesian plane, named after Girard Desargues, is a projective plane that does not satisfy Desargues' theorem, or in other words a plane that is not a Desarguesian plane. The theorem of Desargues is valid in all projective spaces of dimension not 2, that is, all the classical projective geometries over a field (or division ring), but Hilbert found that some projective planes do not satisfy it. Understanding of these examples is not complete, in the current state of knowledge.
Several examples are also finite. For a finite projective plane, the order is one less than the number of points on a line (a constant for every line). Some of the known examples of non-Desarguesian planes include:
- The Moulton plane.
- Every projective plane of order at most 8 is Desarguesian, but there are three non-Desarguesian examples of order 9, each with 91 points and 91 lines.
- Hughes planes.
- Moufang planes over alternative division rings that are not associative, such as the projective plane over the octonions.
- Hall planes.
- André planes.
According to Weibel (2007, pg. 1296), H. Lenz gave a classification scheme for projective planes in 1954 and this was refined by A. Barlotti in 1957. This classification scheme is based on the types of point–line transtitivity permitted by the collineation group of the plane and is known as the Lenz–Barlotti classification of projective planes. The list of 53 types is given in Dembowski (1968, pp.124–5) and a table of the then known existence results (for both collineation groups and planes having such a collineation group) in both the finite and infinite cases appears on page 126. According to Weibel "36 of them exist as finite groups. Between 7 and 12 exist as finite projective planes, and either 14 or 15 exist as infinite projective planes."
Other classification schemes exist. One of the simplest is based on the type of planar ternary ring (PTR) which can be used to coordinatize the projective plane. The types are fields, skewfields, alternative division rings, semifields, nearfields, right nearfields, quasifields and right quasifields.
- Desargues' theorem is vacuously true in dimension 1, it is only problematic in dimension 2
- see Room & Kirkpatrick 1971 for descriptions of all four planes of order 9.
- Lenz, H. (1954). "Kleiner desarguesscher Satz und Dualitat in projektiven Ebenen". Jahresbericht der Deutschen Mathematiker-Vereinigung 57: 20–31.
- Barlotti, A. (1957). "Le possibili configurazioni del sistema delle coppie punto-retta (A,a) per cui un piano grafico risulta (A,a)-transitivo". Boll. Un. Mat. Ital. 12: 212–226.
- Colbourn & Dinitz 2007, pg. 723 article on Finite Geometry by Leo Storme.
- Albert, A. Adrian; Sandler, Reuben (1968), An Introduction to Finite Projective Planes, New York: Holt, Rinehart and Winston
- Colbourn, Charles J.; Dinitz, Jeffrey H. (2007), Handbook of Combinatorial Designs (2nd Edition ed.), Boca Raton: Chapman & Hall/ CRC, ISBN 1-58488-506-8
- Dembowski, Peter (1968), Finite Geometries, Berlin: Springer Verlag
- Hall, Marshall (1943), "Projective planes", Transactions of the American Mathematical Society (American Mathematical Society) 54 (2): 229–277, ISSN 0002-9947, JSTOR 1990331, MR 0008892
- Hughes, Daniel R.; Piper, Fred C. (1973), Projective Planes, New York: Springer Verlag, ISBN 0-387-90044-6
- Kárteszi, F. (1976), Introduction to Finite Geometries, Amsterdam: North-Holland, ISBN 0-7204-2832-7
- Lüneburg, Heinz (1980), Translation Planes, Berlin: Springer Verlag, ISBN 0-387-09614-0
- Room, T. G.; Kirkpatrick, P. B. (1971), Miniquaternion Geometry, Cambridge: Cambridge University Press, ISBN 0-521-07926-8
- Sidorov, L.A. (2001), "Non-Desargesian geometry", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Stevenson, Frederick W. (1972), Projective Planes, San Francisco: W.H. Freeman and Company, ISBN 0-7167-0443-9
- Weibel, Charles (2007), "Survey of Non-Desarguesian Planes", Notices of the AMS 54 (10): 1294–1303