Sylow's theorem for Moufang loops. (Q1021434)

An obvious obstruction to the precise analog of the first Sylow theorem about existence of a \(p\)-Sylow subloop has been known for a long time. After a solution, by the authors, to the Lagrange problem for finite Moufang loops was given proving an analog of Sylow's theorems has become an important problem in the theory of finite Moufang loops [the authors, Math. Proc. Camb. Philos. Soc. 139, No. 1, 41-57 (2005; Zbl 1091.20039)]. The authors assert in this paper that this obstruction to the existence of a \(p\)-Sylow is in fact the only one. Namely, if a composition series of a Moufang loop \(M\) contains no simple factors \(M(q)\) such that \(p\mid\tfrac 1d(q^2+1)\), then \(M\) has a \(p\)-Sylow subloop.