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.[1] A translation plane is Moufang if every line of the plane is a translation line.[2]
In algebraic terms, a projective plane over any alternative division ring is a Moufang plane,[6] 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.[7]
Properties
The following conditions on a projective plane P are equivalent:[8]
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.[9][10]
^This restricted version states that if two triangles are perspective from a point on a given line, and two pairs of corresponding sides also meet on this line, then the third pair of corresponding sides meet on the line as well.