Minimal parabolic systems with diagram \(\circ\diagrbar\circ\diagrbar\circ\overset{}\diagrBar\circ\) (Q1175722)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal parabolic systems with diagram \(\circ\diagrbar\circ\diagrbar\circ\overset{}\diagrBar\circ\) |
scientific article |
Statements
Minimal parabolic systems with diagram \(\circ\diagrbar\circ\diagrbar\circ\overset{}\diagrBar\circ\) (English)
0 references
25 June 1992
0 references
The author considers the following situation: Let \(G\) be a group generated by finite subgroups \(P_ 1,\dots,P_ 4\), \(P_ i/O_ 2(P_ i)\cong S_ 3\), and all \(P_ i\) have a common Sylow 2-subgroup \(S\), \(i=1,\dots,4\). For \(i,j\in\{1,2,3,4\}\), \(i\neq j\) set \(\overline P_{ij}=\langle P_ i,P_ j\rangle/O_ 2(\langle P_ i,P_ j\rangle)\). Assume \(\overline P_{12}\cong \overline P_{23}\cong L_ 3(2)\), \(\overline P_{34}\cong 3.S_ 6\) and \(\overline P_{ij}\cong S_ 3\times S_ 3\) for all other choices of \(i,j\). Suppose finally that \(\hbox{Core}_ G(S)=1\). Then he proves that in case \(| S/\hbox{Core}_{\langle P_ 2,P_ 3,P_ 4\rangle}(S)| = 2^{10}\) there are two possibilities: (i) \(| S|=2^{21}\) or (ii) \(| S|=2^{25}\). In both cases the composition factors of \(\overline P_{34}\) in \(O_ 2(\langle P_ 3,P_ 4\rangle)\) are determined. Using the classification of groups \(\langle P_ 2,P_ 3,P_ 4\rangle/\hbox{Core}_{\langle P_ 2,P_ 3,P_ 4\rangle}(S)\) due to \textit{S. Heiss} [J. Algebra 142, 188-200 (1991; Zbl 0735.20007)] one can see that the second possibility does not occur. Furthermore by a result of the author [J. Lond. Math. Soc., II. Ser. 40, 40-56 (1989; Zbl 0687.20012)] we have \(| S/\hbox{Core}_{\langle P_ 2,P_ 3,P_ 4\rangle}(S)|=2^{10}\) or \(2^ 9\). In the second case using partly unpublished results of A. Ivanov, S. Shpektorov and the reviewer one gets that \(G\cong 3^{35}.\hbox{Sp}(8,2)\). In a different approach to the problem handled in the paper under review A. Ivanov has shown that \(G\) in fact is isomorphic to \(\hbox{Co}_ 1\).
0 references
Sylow 2-subgroup
0 references
composition factors
0 references
\(\hbox{Co}_ 1\)
0 references