Finite Moufang loop

From Groupprops
Jump to: navigation, search

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