Moufang loops of small order. I

Abstract

The main result of this paper is the determination of all nonassociative Moufang loops of orders ≤ 31 \leq 31 . Combinatorial type methods are used to consider a number of cases which lead to the discovery of 13 loops of the type in question and prove that there can be no others. All of the loops found are isomorphic to all of their loop isotopes, are solvable, and satisfy both Lagrange’s theorem and Sylow’s main theorem. In addition to finding the loops referred to above, we prove that Moufang loops of orders p, p 2 {p^2} , p 3 {p^3} or pq (for p and q prime) must be groups. Finally, a method is found for constructing nonassociative Moufang loops as extensions of nonabelian groups by the cyclic group of order 2.