A group-theoretic consequence of the Donald-Flanigan conjecture (Q1330056)

The Donald-Flanigan conjecture asserts that, for any finite group \(G\) and any prime \(p\) dividing its order, the group algebra \(\overline{\mathbb{F}}_ p G\) can be deformed into a semisimple algebra. The authors show that this implies that the Hochschild cohomology group \(H^ 1(\overline{\mathbb{F}}_ p G,\overline{\mathbb{F}}_ p G)\) is non-trivial. This is equivalent to the fact that the centralizer of some element in \(G\) contains a normal subgroup of index \(p\). No elementary proof for this consequence of the conjecture seems to be known, but \textit{P. Fleischmann, I. Janiszczak} and \textit{W. Lempken} [Manuscr. Math. 80, 213-224 (1993)] have recently verified it using the classification of finite simple groups.