Pushing up (Q1073176)

For M a finite group, p a prime and S a Sylow p-subgroup of M, consider the following two properties: (P) no non-trivial characteristic subgroup of S is normal in M; (A) \(\bar M/\Phi(\bar M)\cong L_ 2(p^ n)\) for \(\bar M=M/O_ p(M)\) and some positive integer n. This paper uses the theory of amalgams to obtain the following three important pushing up type results: Theorem 1. Suppose that M fulfills (P) and (A) and set \(V=[O_ p(M),O^ p(M)]\). Then either S is elementary abelian or there exists \(x\in Aut(S)\) such that \(L/(V_ 0O_{p'}(L))\cong SL_ 2(p^ n)\) for \(L=V^ xO^ p(M)\) and \(V_ 0=V(L\cap Z(M))\) and one of the following holds: (a) \(V\leq Z(O_ p(M))\) and V is a natural \(SL_ 2(p^ n)\)-module for \(L/(V_ 0O_{p'}(L))\). (b) \(V\leq Z(O_ p(M))\), \(p=2\), \(n>1\) and V/(V\(\cap Z(M))\) is a natural \(SL_ 2(p^ n)\)-module for \(L/(V_ 0O_{p'}(L))\). (c) \(Z(V)\leq Z(O_ p(M))\), \(p\neq 2\), \(\Phi(V)=V\cap Z(M)\), \(| \Phi(V)| =p^ n\) and \(V/Z(V)\) and \(Z(V)/\Phi(V)\) are natural \(SL_ 2(p^ n)\)-modules for \(L/(V_ 0O_{p'}(L))\). In addition, in cases (a) and (b), \(S/\Omega_ 1(Z(S))\) is elementary abelian and, in case (c), \(\Phi(\Phi(S))= S'''=1\), \(cl(S)=3\) and S does not operate quadratically on \(V/\Phi(V)\). With the notation of Theorem 1, set \(Q=O_ p(M)\) and \(D=C_ Q(L)\). Theorem 2. Under the hypotheses of Theorem 1, \(Q=DV\) and \(D\leq Z(M)\) if and only if [V,S] char S. Theorem 3. Under the hypotheses of Theorem 1 assume that case (b) or (c) holds. Let U be a subgroup of Aut(S) with \(| U/N_ U(Q)| \equiv 1(2)\). Then \(<V^ u|\) \(u\in U>\) is a U-invariant normal subgroup of M.