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
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references