Identité de Moufang

Une identité algébrique satisfaite dans certains boucles (structures non associatives proches des groupes), énoncée par exemple sous la forme (ab)(ca)=a(bc)a pour tous les éléments a,b,c ; si une boucle satisfait l'une quelconque des identités de Moufang équivalentes on dit qu'elle est une boucle de Moufang, ce qui restaure plusieurs conséquences d'associativité sans exiger l'associativité totale.