 ##  [Moufang Identity](/moufang-identity) 

  ##  [Moufang Identity](https://puremath.quantumdictionary.io/moufang-identity-0) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.