On the \(\tilde{P}!\)-theorem (Q2113928)

Let \(G\) be a finite group and \(p\) be a fixed prime. The normalizer of a nontrivial \(p\)-subgroup of \(G\) is called a \(p\)-local subgroup of G. A finite group \(X\) is of characteristic \(p\) if \(C_X(O_p(X))\leq O_p(X)\) and \(G\) is of local characteristic \(p\) if every \(p\)-local subgroup of \(G\) is of characteristic \(p\). The group \(G\) is of parabolic characteristic \(p\) if every \(p\)-local subgroup of \(p'\)-index in \(G\) is of characteristic \(p\). We denote the set of subgroups \(L\) of \(G\) containing a given subgroup \(X\) and satisfying \(C_G(O_p(L))\leq O_p(L)\) by \(\mathcal{L}_G(X)\) and the set of maximal \(p\)-local subgroups containing \(X\) by \(\mathcal{M}_G(X)\). For \(S\in\mathrm{Syl}_p(G)\), the set of subgroups \(P\in \mathcal{L}_G(S)\) such that \(O_p(P)\not= S\) and \(S\) is contained in a unique maximal subgroup of \(P\) is written as \(\mathcal{P}_G(S)\). For any \( L\in \mathcal{L}_G(1)\), \(Y_L\) is the largest elementary abelian normal \(p\)-subgroup of \(L\) satisfying \(O_p (L/C_L(Y_L)) = 1\). Such a subgroup always exists. Fix \(S\in\mathrm{Syl}_p(G)\), \(\tilde{C}\in\mathcal{M}_G(N_G(\Omega_1(Z(S))))\) and put \(Q = O_p(\tilde{C})\). Then \(\tilde{C} = N_G(Q)\). For \(X\in \mathcal{L}_G(Q)\), we set \(X^o=\langle Q^g \mid g\in G, Q^g\leq X\rangle\). The group \(G\) satisfies \(Q\)-uniqueness if and only if \(C_G(x)\leq\tilde{C}\) for every \(1\not=x\in C_G(Q)\). A consequence of \(Q\)-uniqueness when \(C_G(Q)\leq Q\) is that \(G\) is of parabolic characteristic \(p\). We say that \(G\) is a \(\mathcal{K}_p\)-group if the simple sections of all the \(p\)-local subgroups of \(G\) are known simple groups. \textit{M. Mainardis} et al. [J. Algebra 292, No. 2, 363--392 (2005; Zbl 1087.20014)] proved the following \(\tilde{P}!\)-theorem (the \(P\)-tilde uniqueness theorem): Suppose that \(G\) is a \(\mathcal{K}_p\)-group of local characteristic \(p\), \(G\) satisfies \(Q\)-uniqueness, there exists \(P\in\mathcal{P}_G(S)\) such that \(P\not\in\tilde C\) and \(Y_M\leq Q\) for every \(M\in\mathcal{M}_G(P)\). Then there exists at most one \(\tilde{P}\in\mathcal{P}_G(S)\) such that \(\tilde{P}\leq N_G(P^o)\) and \(\langle P,\tilde{P}\rangle\in\mathcal{L}_G(P)\), or some very special and precisely described situation holds. The purpose of this paper is to show that the exceptional possibilities in the \(\tilde{P}!\)-theorem do not occur. This then strengthens that theorem and contributes to a revision of the classifcation of finite simple groups.