Difference between revisions of "Moufang loop"

From Groupprops
Jump to: navigation, search
(In terms of Bol loops)
Line 13: Line 13:
 
===In terms of Bol loops===
 
===In terms of Bol loops===
  
A '''Moufang loop''' is an [[algebra loop]] that is both a [[defining ingredient::left Bol loop]] and a [[defining ingredient::right Bol loop]].
+
A '''Moufang loop''' is a [[loop]] that is both a [[defining ingredient::left Bol loop]] and a [[defining ingredient::right Bol loop]].
 +
 
 
==Relation with other properties==
 
==Relation with other properties==
  

Revision as of 16:09, 9 March 2010

This article defines a property that can be evaluated for a loop.
View other properties of loops

Definition

In terms of Moufang's identities

A Moufang loop is a loop L with multiplication * satisfying the following three identities:

  1. \! z * (x * (z * y)) = ((z * x) * z) * y \ \forall \ x,y,z \in L
  2. \! x * (z * (y * z)) = ((x * z) * y) * z \ \forall \ x,y,z \in L
  3. \! (z * x) * (y * z) = (z * (x * y)) * z \ \forall \ x,y,z \in L

In terms of Bol loops

A Moufang loop is a loop that is both a left Bol loop and a right Bol loop.

Relation with other properties

Stronger properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Group an associative loop (see nonempty associative quasigroup equals group)
Finite Moufang loop

Weaker properties

Property Meaning Proof of implication Proof of strictness (reverse implication failure) Intermediate notions
Alternative loop algebra loop satisfying the left-alternative and right-alternative identities Moufang implies alternative alternative not implies Moufang Diassociative loop|FULL LIST, MORE INFO