Let (X,m) be a 1-connected
H-space whose loop space ΩX has no p torsion. We study the algebra structure of
H∗(ΩX;Zp) and its relation, via the Eilenberg-Moore spectral sequence, to that of
H∗(X;Zp). The module Q(H∗(X;Zp)) of indecomposables is a module over
A∗(p), the Steenrod algebra. Our main result is to show that, when X is
finite, lack of torsion in the loop space is reflected in the A∗(p) structure of
Q(H∗(X;Zp)).