Moufang's theorem
From Groupprops
Statement
Suppose is a Moufang loop (?). Suppose
are (not necessarily distinct) elements of
such that
. Then, the subloop of
generated by
is a group.
Suppose is a Moufang loop (?). Suppose
are (not necessarily distinct) elements of
such that
. Then, the subloop of
generated by
is a group.