Moufang's theorem

From Groupprops
Revision as of 15:49, 26 June 2012 by Vipul (talk | contribs) (Similar facts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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


Similar facts