Moufang loops of odd order p 1 p 2 ⋯ p n q 3 with non-trivial nucleus Andrew Rajah; Kam-Yoon Chong — 2008 Commentationes Mathematicae Universitatis Carolinae It has been proven by F. Leong and the first author (J. Algebra (1997), 474–486) that all Moufang loops of order p α q 1 β 1 q 2 β 2 · · · q n β n where p and q i are odd primes, are associative if p < q 1 < q 2 < · · · < q n , and (i) α ≤ 3 \alpha \le 3 ...