Centers and radicals of group algebras and blocks (Q2182683): Difference between revisions

Let \(B\) be a block of positive defect in the group algebra \(FG\) of a finite group \(G\) over an algebraically closed field \(F\) of prime characteristic \(p\). Let \(Z(B)\) (resp. \(J(B)\)) denote the center (resp. the Jacobson radical) of \(B\). The author considers the following three related conditions: (\(\mathrm{P}_1\)) \(J(B)\subseteq Z(B)\); (\(\mathrm{P}_2\)) \(J(B)\) is commutative; and (\(\mathrm{P}_3\)) \(J(Z(B))\) is an ideal of \(B\). Let \(\overline{G}\) denote the quotient group \(G/O_{p'} (G)\). The author shows that \(B\) satisfies (\(\mathrm{P}_3\)) if and only if \(B\) has a one-dimensional module and one of the following conditions holds: (i) \(\overline{G}\) is an abelian \(p\)-group; or (ii) \(p=2\), \(\overline{G}\) is a \(2\)-group and \(|Z(\overline{G})|=|\overline{G}'|=2\); or (iii) \(\overline{G} \cong \mathrm{AGL}(1,p^n)\) for some \(n\in\mathbb{N}\). The author also shows that if the defect groups of \(B\) have order bigger than 2, then \(B\) satisfies (\(\mathrm{P}_2\)) if and only if \(B\) has a one-dimensional module and \(\overline{G}\) is an abelian \(p\)-group. Finally, he shows that \(B\) satisfies (\(\mathrm{P}_1\)) if and only if \(B\) has a one-dimensional module and \(\overline{G}\) is an abelian \(p\)-group.