Blocks with defect group \(\mathbb{Z}_{2^n} \times \mathbb{Z}_{2^n} \times \mathbb{Z}_{2^m}\) (Q724288): Difference between revisions

Let \(p\) be a prime number and \(\mathcal O\) a complete discrete valuation ring with an algebraically closed field \(k\) of characteristic \(p\). Denote by \(\mathcal K\) a fraction field of \(\mathcal O\). Let \(G\) be a finite group and assume that \(\mathcal K\) contains a \(|G|\)-th primitive root of unity if \(\mathcal O\) has characteristic 0. Let \(b\) a block of \(G\) over \(\mathcal O\) with defect group \(P\), and \(c\) the Brauer correspondent of \(b\) in the normalizer \(N_G(P)\). Assume that \(P\) is abelian. Broué's abelian defect group conjecture says that the block algebras \({\mathcal O}Gb\) and \({\mathcal O}N_G(P)c\) are derived equivalent. The main result of the paper is a proof of this conjecture for \(P={\mathbb Z}_{2^n}\times {\mathbb Z}_{2^n}\times {\mathbb Z}_{2^m}\), where \(n\geq 2\) and \(m\) is arbitrary. This continues work of the authors and other researchers on proving the conjecture for similar defect groups. The paper also includes a consequence on Donovan's conjecture.