Lagrange's theorem for Moufang loops

Abstract

We prove that the order of any subloop of a finite Moufang loop is a factor of the order of the loop, thus obtaining an analog of Lagrange's theorem for finite Moufang loops.