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.

Principe

Un ensemble d'équations cubiques équilibrées qui imposent une associativité contrôlée : elles autorisent la réassocation en introduisant un facteur extérieur similaire à une conjugaison (par exemple transformer (ab)(ca) en a(bc)a).

Démonstration

Exemple concret : les octonions non nuls munis de la multiplication forment une boucle de Moufang — ils sont non associatifs mais satisfont les identités de Moufang ; ainsi des égalités comme (x y)(z x) = x(y z)x valent pour tous les octonions non nuls x,y,z, permettant des manipulations de produits malgré l'absence d'associativité totale.

Mauvaise application

Confondre une identité de Moufang avec l'associativité complète, ou appliquer l'identité dans une structure qui ne la satisfait pas (par exemple une quasigroupe arbitraire) — un tel usage conduit à des égalités invalides et à de fausses conclusions de simplification.

Conséquence

Lorsqu'une boucle satisfait une identité de Moufang, on obtient des propriétés structurelles fortes : les inverses à gauche et à droite se comportent de façon cohérente, émergent des conséquences flexibles et alternatives, et de nombreux théorèmes d'allure groupique (règles de conjugaison, contrôle des associateurs) deviennent démontrables malgré la non associativité.

Inversion

La négation est une boucle où aucune identité de Moufang n'est globalement vérifiée ; une telle boucle n'a pas les propriétés de réassocation contrôlée et ne permet pas les mêmes simplifications d'inversion ou de conjugaison.

Limite

S'applique aux opérations binaires sur des boucles (quasigroupes avec identité) et à des systèmes multiplicatifs comme les octonions non nuls ; elle n'affirme pas l'associativité et ne s'applique pas automatiquement aux quasigroupes arbitraires, aux semi-groupes ou aux opérations d'arité supérieure.

Tension sémantique

Concepts proches : les lois alternatives et la loi flexible ; les lois alternatives sont plus faibles et n'entraînent pas toutes les conséquences de Moufang, tandis que les groupes (associativité totale) satisfont trivialement les identités de Moufang mais représentent une hypothèse beaucoup plus forte.

Synthèse

L'identité de Moufang est un schéma équationnel imposé à une boucle qui restaure de nombreuses manipulations de type associatif — une position médiane entre l'associativité complète et la non associativité totale, qui permet d'utiliser inversion et conjugaison sans exiger une structure de groupe.