Normalizers of the Sylow 2-subgroups in finite simple groups. (Q2508695): Difference between revisions

The author gives a description of the normalizers of Sylow 2-subgroups in finite classical groups. As a corollary from this description and previous results in this direction [see \textit{R. Carter, P. Fong}, J. Algebra 1, 139-151 (1964; Zbl 0123.02901), \textit{M. Aschbacher}, J. Algebra 66, 400-424 (1980; Zbl 0445.20008), \textit{A. S. Kondrat'ev, V. D. Mazurov}, Algebra Logika 42, No. 5, 594-623 (2003); translation in Algebra Logic 42, No. 5, 333-348 (2003; Zbl 1067.20015)] he obtains, in particular, the following result. Let \(G\) be a finite simple group, and \(S\) a Sylow \(2\)-subgroup of \(G\). Then \(N_G(S)=S\) except in the following cases: (a) \(G\) is a group of Lie type of characteristic \(2\) and \(N_G(S)\) is a Borel subgroup of \(G\) with \(N_G(S)\not=S\); (b) \(G\cong L_2(q)\), \(3<q\equiv\pm 3\pmod 8\) and \(N_G(S)\cong A_4\); (c) \(G\cong L^\varepsilon_m(q)\), \(m\geq 3\), \(q\) is odd and \(S\not=N_G(S)=S\times C_1\times\cdots\times C_{t-1}\), where the number \(t\geq 2\) is the number of summands in the \(2\)-adic decomposition of \(m\): \(m=2^{s_1}+\cdots+2^{s_t}\), \(s_1>\cdots>s_t\geq 0\), and \(C_1,\dots,C_{t-2}\), \(C_{t-1}\) are cyclic groups of orders \((q-\varepsilon 1)_{2'}\), \dots, \((q-\varepsilon 1)_{2'}\), \((q-\varepsilon 1)_{2'}/(q-\varepsilon 1,m)_{2'}\); (d) \(G\cong\text{PSp}_{2m}(q)\), \(m\geq 2\), \(q\equiv\pm 3\pmod 8\), \(C_G(S)<S\) and the quotient group \(N_G(S)/S\) is isomorphic to the elementary Abelian \(3\)-group of order \(3^t\), where the number \(t\) is the number of summands in the \(2\)-adic decomposition of \(m\); (e) \(G\cong E^\varepsilon_6(q)\) and \(N_G(S)=S\times R\), where \(R\) is a cyclic group of order \((q-\varepsilon 1)_{2'}/(3,q-\varepsilon 1)\); (f) \(G\cong {^2G_2(q)}\) or \(J_1\), \(C_G(S)=S\) and \(N_G(S)\cong 2^3.7.3<\text{Hol}(2^3)\); (g) \(G\cong J_2\), \(J_3\), \(Suz\) or \(HN\), \(C_G(S)<S\) and \(|N_G(S):S|=3\). Here \(\epsilon=\pm\) and \(L_m^+(q)=L_m(q)\), \(L_m^-(q)=U_m(q)\), \(E_6^+(q)=E_6(q)\), \(E_6^-(q)=~^2E_6(q)\).