Open main menu

Groupprops β

Finite Moufang loop

Contents

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