The Harmonious Song of a Moufang Quartet

The variety of Moufang loops is axiomatized by any one of four well known (equivalent) identities. We prove that this axiomatic harmony holds in a broader setting by obtaining two alternate, generalized versions of the (traditional) definition of a Moufang loop using four “local” identities, each derived from one of the four “global” Moufang identities, one for loops, the other for magmas with the right or left inverse property.