# Difference between revisions of "Moufang loop"

From Groupprops

(→In terms of Bol loops) |
(→Weaker properties) |
||

Line 32: | Line 32: | ||

! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | ||

|- | |- | ||

− | | [[Stronger than:: | + | | [[Stronger than::diassociative loop]] || loop in which the subloop generated by any subset of size at most two is a group || [[Moufang implies diassociative]] || [[diassociative not implies Moufang]] || {{intermediate notions short|diassociative loop|Moufang loop}} |

+ | |- | ||

+ | | [[Stronger than::alternative loop]] || loop satisfying the left-alternative and right-alternative identities || [[Moufang implies alternative]] || [[alternative not implies Moufang]] || {{intermediate notions short|alternative loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::left alternative loop]] || loop satisfying the left alternative identity <math>x * (x * y) = (x * x) * y</math>|| || || {{intermediate notions short|left alternative loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::right alternative loop]] || loop satisfying the right alternative identity <math>x * (y * y) = (x * y) * y</math> || || || {{intermediate notions short|right alternative loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::flexible loop]] || loop satisfying the flexible law <math>x * (y * x) = (x * y) * x</math> || || || {{intermediate notions short|flexible loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::power-associative loop]] || loop in which the subloop generated by any element is a subgroup || || || {{intermediate notions short|power-associative loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::left Bol loop]] || satisfies the left Bol identity || || || {{intermediate notions short|left Bol loop|Moufang loop}} | ||

+ | |- | ||

+ | | [[Stronger than::right Bol loop]] || satisfies the right Bol identity || || || {{intermediate notions short|right Bol loop|Moufang loop}} | ||

|} | |} |

## Revision as of 01:42, 18 February 2011

This article defines a property that can be evaluated for a loop.

View other properties of loops

## Contents

## Definition

### In terms of Moufang's identities

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

### 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 |
---|---|---|---|---|

diassociative loop | loop in which the subloop generated by any subset of size at most two is a group | Moufang implies diassociative | diassociative not implies Moufang | |FULL LIST, MORE INFO |

alternative loop | loop satisfying the left-alternative and right-alternative identities | Moufang implies alternative | alternative not implies Moufang | Diassociative loop|FULL LIST, MORE INFO |

left alternative loop | loop satisfying the left alternative identity | Alternative loop, Diassociative loop|FULL LIST, MORE INFO | ||

right alternative loop | loop satisfying the right alternative identity | Diassociative loop|FULL LIST, MORE INFO | ||

flexible loop | loop satisfying the flexible law | Diassociative loop|FULL LIST, MORE INFO | ||

power-associative loop | loop in which the subloop generated by any element is a subgroup | Diassociative loop|FULL LIST, MORE INFO | ||

left Bol loop | satisfies the left Bol identity | |FULL LIST, MORE INFO | ||

right Bol loop | satisfies the right Bol identity | |FULL LIST, MORE INFO |