Moufang Identity

An algebraic identity satisfied in certain loops (nonassociative group-like structures), typically written in forms such as (ab)(ca)=a(bc)a for all elements a,b,c; when a loop satisfies any one of the equivalent Moufang identities it is called a Moufang loop, which recovers many group-like associativity consequences without full associativity.