Maps from \(K(\mathbb Z/p,2)\) and a conjecture of N. Kuhn (Q2391394)

In [Ann. Math. (2) 141, No. 2, 321--347 (1995; Zbl 0849.55022)], \textit{N. J. Kuhn} made a conjecture about unstable modules over the Steenrod algebra, namely that if such a module is finitely generated as a module over the Steenrod algebra, and occurs as the singular cohomology of a space, then it is in fact finite. This conjecture was proved by \textit{L. Schwartz} [Invent. Math. 134, No. 1, 211--227 (1998; Zbl 0919.55007); erratum ibid. 182, No. 2, 449--450 (2010)]. That proof contained a gap for the odd prime case, and the present paper fills that gap. A new proof is given, for all primes, based on theorems of Lannes and Bott-Samelson rather than the Eilenberg-Moore spectral sequence as used in the original proof.