Given a principal ideal domain R of characteristic zero, containing 1/2, an
d a two-cone X of appropriate connectedness and dimension, we present suffi
cient algebraic conditions for the Hopf algebra FH(Omega X;R) to be isomorp
hic with the universal enveloping algebra of an R-free graded Lie algebra;
here, F stands for free part (that is, quotient by the R-torsion), H for ho
mology, and Omega for the Moore loop space functor.