Projective indecomposable permutation modules (Q6073858): Difference between revisions

Let \(G\) be a finite group, \(p\) a prime and \(k\) an algebraically closed field of characteristic \(p\). If the projective cover \(\Phi_{1_{G}}\) of the trivial \(kG\)-module \(k\) is the permutation module on a subgroup \(H\) of \(G\), then \(G\) has property \((I_{p})\) with respect to the subgroup \(H\). In this case, \(H\) is necessarily of \(p'\)-order. Thus, \(G\) has property \((I_{p})\) if there is a \(p'\)-subgroup \(H\) of \(G\) such that the endomorphism ring of the permutation module on \(H\) is a local ring. In the paper under review, the authors investigate finite non-abelian simple groups \(G\) enjoying property \((I_{p})\) for some prime \(p \in \pi(G)\). They classify all cases unless \(G\) is of Lie type in defining characteristic.