On the second Loewy term of projectives of a group algebra (Q1825953): Difference between revisions

For a prime p and a finite group H let \(\Phi_ p(H)\) be defined by \(\Phi_ p(H)/O_{p'}(H)=\Phi (H/O_{p'}(H))\) where \(\Phi\) ( ) denotes the Frattini subgroup of the underlying group. In the paper under review the author proves the following theorem: Let G be a finite group and let K be a field of prime characteristic p. Let J(KG) denote the Jacobson radical of the group algebra KG. Now, if A is an irreducible KG-module with projective cover \(P_ G(A)\), then \[ \Phi_ p(C_ G(A))\leq C_ G(P_ G(A)/P_ G(A)J(KG)^ 2)\leq C_ G(A)\cap \Phi_ p(G). \] The methods used in that paper are of cohomological nature. Note, that an analogous result holds for the second socle of \(P_ G(A)\). Furthermore, the special case where A belongs to the principal p-block has been proved by \textit{U. Stammbach} [J. Pure Appl. Algebra 30, 69-84 (1983; Zbl 0532.20004)].