How Associative Can a Non-Associative Moufang Loop Be?

Abstract

We prove a non-associative analog to the well-known $\frac{5}{8}$ Theorem. Namely, for a finite Moufang loop with nuclear commutators, we show that if the probability that three randomly chosen elements associate is greater than $\frac{43}{64}$, then the loop must be a group. The bound is tight as demonstrated by the 16-element Octonion loop.