In geometry, a Moufang plane, named for Ruth Moufang, is a type of projective plane, more specifically a special type of translation plane. A translation plane is a projective plane that has a translation line, that is, a line with the property that the group of automorphisms that fixes every point of the line acts transitively on the points of the plane not on the line. A translation plane is Moufang if every line of the plane is a translation line.
A Moufang plane can also be described as a projective plane in which the little Desargues theorem holds. This theorem states that a restricted form of Desargues' theorem holds for every line in the plane.
For example, every Desarguesian plane is a Moufang plane.
In algebraic terms, a projective plane over any alternative division ring is a Moufang plane, and this gives a 1:1 correspondence between isomorphism classes of alternative division rings and of Moufang planes.
As a consequence of the algebraic Artin–Zorn theorem, that every finite alternative division ring is a field, every finite Moufang plane is Desarguesian, but some infinite Moufang planes are non-Desarguesian planes. In particular, the Cayley plane, an infinite Moufang projective plane over the octonions, is one of these because the octonions do not form a division ring.
The following conditions on a projective plane P are equivalent:
P is a Moufang plane.
The group of automorphisms fixing all points of any given line acts transitively on the points not on the line.
Some ternary ring of the plane is an alternative division ring.
P is isomorphic to the projective plane over an alternative division ring.
Also, in a Moufang plane:
The group of automorphisms acts transitively on quadrangles.
Any two ternary rings of the plane are isomorphic.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, the Cayley plane (or octonionic projective plane) P2(O) is a projective plane over the octonions. The Cayley plane was discovered in 1933 by Ruth Moufang, and is named after Arthur Cayley for his 1845 paper describing the octonions. In the Cayley plane, lines and points may be defined in a natural way so that it becomes a 2-dimensional projective space, that is, a projective plane. It is a non-Desarguesian plane, where Desargues' theorem does not hold.