Moufang's theorem

From Groupprops
Revision as of 01:05, 18 February 2011 by Vipul (talk | contribs) (Created page with "==Statement== Suppose <math>L</math> is a fact about::Moufang loop. Suppose <math>x,y,z</math> are (not necessarily distinct) elements of <math>L</math> such that <math>\! x...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

Suppose L is a Moufang loop (?). Suppose x,y,z are (not necessarily distinct) elements of L such that \! x * (y * z) = (x * y) * z. Then, the subloop of L generated by x,y,z is a group.

Related facts

Appplications