Brauer indecomposability of Scott modules (Q335622)

Let \(k\) be an algebraically closed field of prime characteristic \(p\), let \(G\) be a finite group and \(P\) a \(p\)-subgroup of \(G\). The fusion system of \(G\) over \(P\), denoted by \({\mathcal F}_P(G)\), in this paper is the finite category whose objects are the subgroups of \(P\) and the morphisms are the set of all group homomorphims which are induced by conjugation by some element of \(G\). The authors give new relations between the fusion system \({\mathcal F}_P(G)\) and the Brauer indecomposability of the Scott \(kG\)-module, denoted by \(S(G,P)\), in the case in which \(P\) is not necessarily abelian. Recall that for a subgroup \(H\) of \(G\) such that \(P\) is a Sylow \(p\)-subgroup of \(H\), the Scott module is the unique indecomposable \(k\)G-module with vertex \(P\), the trivial \(kP\)-module as a source and the trivial \(kG\)-module as a quotient (so \(S(G,H)=S(G,P))\). The relation between Brauer indecomposability of Scott \(kG\)-modules and fusion systems was already studied in [\textit{R. Kessar} et al., J. Algebra 340, No. 1, 90--103 (2011; Zbl 1261.20010)], where the abelian case was addressed, as well as in [\textit{İ. Tuvay}, J. Group Theory 17, No. 6, 1071--1079 (2014; Zbl 1308.20009)], where Brauer indecomposability was studied for some families of groups.NEWLINENEWLINEAs a main consequence of this work, the authors provide an equivalent condition for the Scott \(kG\)-module with vertex \(P\) to be Brauer indecomposable. It is proved that, under the assumption that \({\mathcal F}_P(G)\) is saturated, if for every fully normalized subgroup \(Q\) of \(P\) there is a subgroup \(H_Q\) of \(N_G(Q)\) which satisfies that \(N_P(Q)\) is a Sylow \(p\)-subgroup of \(H_Q\) and \(|N_G(Q):H_Q|= p^a\) with \(a\geq 0\), then \(S(G, P)\) is Brauer indecomposable.