Desarguesian plane

Desarguesian plane

In projective geometry a Desarguesian plane, named after Gérard Desargues, is a plane in which Desargues' theorem holds. The ordinary real projective plane is a Desarguesian plane. More generally any projective plane over a division ring is Desarguesian, and conversely Hilbert showed that any Desarguesan projective plane is the projective plane over some division ring. The division ring is commutative if and only if the projective plane satisfies Pappus's hexagon theorem. In particular all finite Desarguesian planes satisfy Pappus's theorem, but there are some infinite ones that do not. There are many examples of non-Desarguesian planes where Desargues's theorem does not hold, such as the Moulton plane.