Desarguesian plane
Builds on Projective planeDesargues's theoremCollinear points
Definition
A projective plane is Desarguesian if the conclusion of Desargues's theorem holds in it. That is, let and be triangles with , , and distinct corresponding sides. If , , pass through a common point, then , , are collinear.
Remarks
A projective plane is Desarguesian exactly when it is isomorphic to for some division ring , and then is determined up to isomorphism.
Example: is Desarguesian. Check: it is for the field , where Desargues's theorem holds.
Non-example: the projective completion of the Moulton plane is not Desarguesian, since it contains two triangles in perspective from a point whose corresponding sides meet in three non-collinear points.
By Wedderburn's little theorem every finite division ring is a field, so the finite Desarguesian planes are the planes , of order a prime power. Every Desarguesian plane is a Moufang plane.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Collinear points concept
- Projective plane concept
- Projective space concept
- Desargues's theorem statement
- Desarguesian plane definition
Further reading
About this page
| Tag | NCZP5MPR9Z |
|---|---|
| URI | m2://NCZP5MPR9Z |
| Kind | definition |
| Writing | W0 stub |
| MSC | 51A30, 51A05 |
| Defines | Desarguesian plane |
| Uses | Projective plane, Desargues's theorem, Collinear points |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.