A 2-local identification of \(\mathrm P\Omega_8^+(3)\). (Q284957): Difference between revisions

Let \(G\) be a finite group, \(p\) a prime and \(S\in\mathrm{Syl}_p(G)\). If \(C_G(O_p(N_G(X)))\leq O_p(N_G(X))\) for all non-trivial subgroups \(X\) which are normal in \(S\), then \(G\) is said to have parabolic characteristic \(p\). In the given paper, the following theorem is proved: If \(G\) is a group of parabolic characteristic 2 and \(H\) is a subgroup of \(G\) of odd index such that \(F^*(H)\cong\Omega^+_8(2)\) and \(H=N_G(F^*(H))\), then \(F^*(G)\cong\Omega^+_8(2)\) or \(P\Omega^+_8(3)\). This theorem will be applied in the programme aimed at determining the almost simple groups which have parabolic characteristic 2 (see the book [The structure theorem for finite groups with a large \(p\)-subgroup. Mem. Am. Math. Soc. (to appear)] of \textit{U. Meierfrankenfeld, B. Stellmacher} and the second author). The proof involves a novel application of a uniqueness theorem of \textit{U. Meierfrankenfeld, R. M. Weiss} and the second author [Math. Proc. Camb. Philos. Soc. 154, No. 3, 527-547 (2013; Zbl 1281.51008)] which identifies Lie type groups by their residual structure.