The development of Sylow \(p\)-subloops in finite Moufang loops. (Q734786)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The development of Sylow \(p\)-subloops in finite Moufang loops. |
scientific article |
Statements
The development of Sylow \(p\)-subloops in finite Moufang loops. (English)
0 references
13 October 2009
0 references
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.
0 references
finite Moufang loops
0 references
Paige loops
0 references
Sylow theorems
0 references
Sylow \(p\)-subloops
0 references
Sylow primes
0 references
groups with triality
0 references