Finite Moufang loop
Definition
A finite Moufang loop is a Moufang loop whose underlying set is a finite set.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Finite group |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Finite algebra loop | ||||
| Algebra loop satisfying Lagrange's property |