Moufang plane

A Moufang plane can also be described as a projective plane in which the little Desargues theorem holds.^[3] This theorem states that a restricted form of Desargues' theorem holds for every line in the plane.^[4] For example, every Desarguesian plane is a Moufang plane.^[5]

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]

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]
• Any two ternary rings of the plane are isomorphic.

• Moufang loop
• Moufang polygon