Identidad de Moufang

Una identidad algebraica satisfecha en ciertas lúcuras (estructuras no asociativas con parecido a grupos), habitualmente expresada en formas como (ab)(ca)=a(bc)a para todos los elementos a,b,c; cuando una estructura satisface alguna de las identidades de Moufang se le llama bucle de Moufang, lo que recupera muchas consecuencias de asociatividad sin exigir asociatividad total.