Evens' norm map and Serre's theorem on the cohomology algebra of a \(p\)-group (Q919103): Difference between revisions

The authors give a cohomological proof of Serre's theorem [\textit{J.-P. Serre}, Topology 3, 413-420 (1965; Zbl 0136.27402) and C. R. Acad. Sci., Paris, Sér. I 304, 587-590 (1987; Zbl 0626.20041)]. Theorem: Let \(G\) be a finite \(p\)-group, which is not elementary abelian. If \(\{\eta_ 1,\eta_ 2,...,\eta_ n\}\) is a set of generators of the one dimensional subspaces of \(H^ 1(G,F_ p)\), then \(\prod^{n}_{i=1}(\eta_ i)\beta =0\) in \(H^*(G,F_ p)\). (\(H^*(G,F_ p)\) is the cohomology algebra of \(G\) with coefficients in the field of \(p\) elements, and \(\beta:H^ 1(G,F_ p)\to H^ 2(G,F_ p)\) is the Bockstein homomorphism). Serre proved his theorem by using Steenrod operations and \textit{O. Kroll} [Aarhus Univ. Preprint Series 1985/86, 33 (1986)] obtained a similar result by using Chern classes. Here the authors use Evens' norm map [\textit{L. Evens}, Trans. Am. Math. Soc. 108, 54-65 (1963; Zbl 0122.028)].