# Every finite Moufang loop satisfies the weak Lagrange property

Template:Loop property implication Template:Loop property implication

## Contents

## Statement

### In terms of the weak Lagrange property

Suppose is a finite Moufang loop, i.e., a Moufang loop whose underlying set is finite. Then, is an algebra loop satisfying the weak Lagrange property, i.e., every subloop of is a Lagrange-like subloop (?): its order divides the order of the loop.

### In terms of the strong Lagrange property

Suppose is a finite Moufang loop, i.e., a Moufang loop whose underlying set is finite. Then, is an algebra loop satisfying the strong Lagrange property, i.e., every subloop of satisfies the weak Lagrange property.

## Facts used

## Proof

### How the statement for the strong Lagrange property follows from the statement for the weak Lagrange property

If every finite Moufang loop satisfies the weak Lagrange property, then by fact (1), every subloop of a finite Moufang loop also satisfies the weak Lagrange property, and we thus obtain that every finite Moufang loop satisfies the strong Lagrange property.