Eine algebraische Identität, die in bestimmten Schleifen (nichtassoziativen, gruppenähnlichen Strukturen) gilt, meist in Formen wie (ab)(ca)=a(bc)a für alle Elemente a,b,c; erfüllt eine Schleife eine der äquivalenten Moufang-Identitäten, so heißt sie Moufang-Schleife und erhält viele assoziativitätsähnliche Folgerungen ohne volle Assoziativität.

Prinzip

Eine endliche Menge kubisch-ausgeglichener Gleichungen, die eine kontrollierte Assoziativität erzwingen: Umparenthesierungen werden durch konjugationsartige Umstellungen ersetzt, wobei außen ein zusätzlicher Faktor eingefügt werden kann (z. B. (ab)(ca) ↦ a(bc)a).

Demonstration

Konkretes Beispiel: Die nichtnullen Oktaven unter der Multiplikation bilden eine Moufang-Schleife — sie sind nicht assoziativ, erfüllen jedoch die Moufang-Identitäten, sodass Identitäten wie (x y)(z x) = x(y z)x für alle nichtnullen Oktaven x,y,z gelten und Produktmanipulationen erlauben.

Fehlanwendung

Das Behandeln einer Moufang-Identität als gleichbedeutend mit voller Assoziativität oder die Anwendung der Identität in einer Struktur, die sie nicht erfüllt (etwa einer beliebigen Quasigruppe) — solche Fehlanwendungen führen zu ungültigen Gleichheiten und falschen Kürzungsschlüssen.

Konsequenz

Erfüllt eine Schleife eine Moufang-Identität, so erhält man starke strukturelle Eigenschaften: zweiseitige Inverse verhalten sich kohärent, Folgerungen wie Flexibilität und Alternativität treten auf, und viele gruppenartige Sätze (Konjugationsregeln, Kontrolle des Assoziators) sind trotz Nichtassoziativität beweisbar.

Umkehrung

Die Umkehrung ist eine Schleife, in der keine Moufang-Identität global gilt; eine solche Schleife besitzt nicht die kontrollierten Umschreibeeigenschaften und erlaubt nicht dieselben Vereinfachungen bei Inversion oder Konjugation.

Abgrenzung

Gilt für binäre Operationen auf Schleifen (Quasigruppen mit Identität) und für multiplikative Systeme wie nichtnullen Oktaven; sie behauptet keine Assoziativität und gilt nicht automatisch für beliebige Quasigruppen, Halbringe oder Operationen höherer Stelligkeit.

Semantische Spannung

Nahe Begriffe sind die alternativen Gesetze und das flexible Gesetz: Alternative Gesetze sind schwächer und implizieren nicht alle Moufang-Folgen, während Gruppen (volle Assoziativität) Moufang-Identitäten trivial erfüllen, aber strengere Voraussetzungen stellen.

Synthese

Die Moufang-Identität ist ein spezifisches Gleichungsschema für Schleifen, das viele assoziativitätsähnliche Manipulationen wiederherstellt — ein Mittelding zwischen voller Assoziativität und kompletter Nichtassoziativität, das Inversion und Konjugation ohne Gruppenstruktur ermöglicht.