Exponents and the cohomology of finite groups (Q4955776)

In [Lect. Notes Math. 1370, 15-23 (1989; Zbl 0673.57032)] it was conjectured by \textit{A. Adem} that if \(G\) is a finite group and \(H^i(G,\mathbb{Z})\) contains elements of order \(p^n\) for some \(i\), then it does so for infinitely many \(i\). The conjecture is true in certain cases when \(G\) is a finite \(p\)-group and follows essentially from the following theorem of \textit{A. Adem} [J. Pure Appl. Algebra 58, No. 1, 1-5 (1989; Zbl 0677.20037)]: If \(P\) is a finite \(p\)-group, then \(\exp(\bigoplus^\infty_{i=1}H^i(P,\mathbb{Z}))=p\) if and only if \(P\) is a non-trivial elementary Abelian \(p\)-group. In this nice paper an example is constructed of a \(p\)-group \(G\) (\(p\) is an odd prime), which has elements of order \(p^3\) in some of its integral cohomology groups but which also has the property that \(p^2\) annihilates \(H^i(G,\mathbb{Z})\) for all sufficiently high \(i\). This provides a counterexample to the above conjecture.