Abstract

Suppose X is a simply connected mod p H-space such that the mod p cohomology H^*(ΩX) is a finitely generated algebra. We show that the loop space ΩX is homotopy equivalent to a finite product of Eilenberg-MacLane spaces K(Z,1), K(Z,2) and K(Z ∕ pⁱ,1) for i ≥ 1. This is a generalization of the result due to Lin, in which the same result was proved under the assumption that X is an A_p-space.

Authors