The loop group and the cobar construction

Abstract

We prove that for any 1-reduced simplicial set X, Adams' cobar construction, \Omega CX, on the normalised chain complex of X is naturally a strong deformation retract of the normalised chains CGX on the Kan loop group GX, opening up the possibility of applying the tools of homological algebra to transfering perturbations of algebraic structure from the latter to the former. In order to prove our theorem, we extend the definition of the cobar construction and actually obtain the existence of such a strong deformation retract for all 0-reduced simplicial sets.