Serre's Theorem on the Cohomology Algebra of a p-Group

The purpose of this note is to give a proof of a theorem ofSerre, which states that if G is a p-group which is not elementaryabelian, then there exist an integer m and non-zero elementsx₁, ..., x_m H¹ (G, Z/p) such that with ß the Bockstein homomorphism. Denote by m_G thesmallest integer m satisfying the above property. The theoremwas originally proved by Serre [5], without any bound on m_G.Later, in [2], Kroll showed that m_G p^k – 1, with k =dim_Z/pH¹ (G, Z/p). Serre, in [6], also showed that m_G (p^k –1)/(p – 1). In [3], using the Evens norm map, Okuyamaand Sasaki gave a proof with a slight improvement on Serre'sbound; it follows from their proof (see, for example, [1, Theorem4.7.3]) that m_G (p + 1)p^k–2. However, m_G can be sharpenedfurther, as we see below. For convenience, write H^*(G, Z/p) = H^*(G). For every x_i H¹(G),set 1991 Mathematics SubjectClassification 20J06.