Classifying spaces with injective mod p cohomology (Q1826160)

Let G be a compact Lie group and let BG denote the classifying space. Let \({\mathcal U}_ p\) be the category of unstable modules over the Steenrod algebra mod p, where p is a prime. Then the author shows that the mod p cohomology \(H^*(BG;Z/p)\) is injective in \({\mathcal U}_ p\) if and only if \(pH^ n(BG;Z_{(p)})=0\) for sufficiently large n and, in turn, if and only if G is finite and its p Sylow subgroup is elementary abelian. The proof is based on \textit{G. Lewis}' computation [Trans. Am. Math. Soc. 132, 501-529 (1968; Zbl 0217.349)] of the cohomology ring for the semi-direct product of Z/p\(\oplus Z/p\) and Z/p.