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(ℤ,1), K(ℤ,2)
and K(ℤ∕pi,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
Ap-space.
|