Secondary cohomology and the Steenrod square.
The homotopy category of Moore spaces in degree 2 represents a nontrivial cohomology class in the cohomology of the category of abelian groups. We describe various properties of this class. We use James-Hopf invariants to obtain explicitly the image category under the functor chain complex of the loop space.
Square groups are gadgets classifying quadratic endofunctors of the category of groups. Applying such a functor to the Kan simplicial loop group of the 2-dimensional sphere, one obtains a one-connected three-type. We consider the problem of characterization of those three-types X which can be obtained in this way. We solve this problem in some cases, including the case when π(X) is a finitely generated abelian group. The corresponding stable problem is solved completely.
On décrit les foncteurs polynomiaux, des groupes abéliens libres vers les groupes abéliens, comme des diagrammes de groupes abéliens dont on explicite les relations.
Page 1