On the cohomology of highly connected covers of finite Hopf spaces (Q2381962)

This paper forms part of a programme to address the question, posed by \textit{C. A. McGibbon} and \textit{J. M. Møller} [Fundam. Math. 152, No. 3, 211--230 (1997; Zbl 0896.55014)], of establishing what finiteness conditions (if any) are satisfied by the mod \(p\) cohomology of the \(n\)-connected cover of a finite complex. The key topological result presented here weakens the finiteness hypothesis but only concerns \(H\)-spaces. It states that if the base and fibre of an \(H\)-fibration have finitely generated mod \(p\) cohomology, as algebras over the Steenrod algebra, then the same is true of the total space. One tool in the proof of this is the algebraic statement that any unstable Hopf subalgebra of an unstable Hopf algebra which is finitely generated as an algebra over the Steenrod algebra inherits this finite generation property.