Open main menu

Groupprops β

Moufang's theorem

Contents

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