The development of Sylow \(p\)-subloops in finite Moufang loops. (Q734786)

Let \(L\) be a finite Moufang loop, and let \(p\) be a prime. A \(p\)-subloop of \(L\) whose order is the highest power of \(p\) dividing the order of \(L\) is called a Sylow \(p\)-subloop of \(L\). Assume the subloops \(L_i\), \(1\leq i\leq n\), are the composition factors of \(L\). Then a prime \(p\) is called a Sylow prime for \(L\) if \(p\) does not divide \(\frac{q^2+1}{\gcd(q+1,2)}\) for all \(q\) for which a composition factor of \(L\) is isomorphic to the Paige loop \(P(q)\). If \(p\) is a Sylow prime for the composition factor \(L_i\), let \(P_i\) be a Sylow \(p\)-subloop of \(L_i\), otherwise put \(P_i=1\). A subloop of \(L\) is a quasi-Sylow \(p\)-subloop of \(L\) if it has an order of \(\prod_{i=1}^n|p_i|\). In this paper it is restated that there exists a Sylow \(p\)-subloop for any Sylow prime \(p\) for \(L\), and that any \(p\)-subloop is contained in a Sylow \(p\)-subloop of \(L\). Moreover, for finite Moufang loops without Sylow \(p\)-subloops any \(p\)-subloop can be embedded in some quasi-Sylow \(p\)-subloop.