# On Brown representability theorem

The classical Brown representability theorem is for set valued functors. Is there a version for abelian group valued functors, and ring valued functors?

In other words say we have an abelian group valued functor F on the category of CW top. spaces, satisfying the necessery condition that F maps colimits to limits. What extra conditions on F do we need to ensure that the classifying object is an H-space. Actually Brown doesn't state this, but at a brief glance his paper seems to prove that F just needs to satisfy excision that is we have exact sequences $$0 \to F (V \cap W) \to F(V) \oplus F (W) \to F (V \cup W) \to 0,$$ for V,W open sets in X. Is this right? What about the case of ring valued functors, when are they representable by (E_\infty? whatever that is)-ring space.

-
Compose with the forgetful functor to Set, which preserves limits in both cases as it has left adjoints. Brown representability gives you a representing object, and by the Yoneda lemma it acquires a group (resp. ring) structure in the homotopy category. I don't know anything about how these structures lift to actual spaces, though. –  Qiaochu Yuan Aug 1 '11 at 18:17
I am pretty sure you can not get $E_\infty$ structures this way. A lot of work was done to rigidify spectra produced by Brown Representability in order to get $E_\infty$ structures by Goerss-Hopkins. –  Sean Tilson Aug 3 '11 at 1:34

I think the rough idea is as follows. Suppose your functor $F$ on pointed CW complexes is representable as $F(-)=[-,Y\;]$, and takes values in the category of groups. You wish to show that $Y$ is a group-up-to-homotopy. To get a multiplication on $Y$ use the naturality part of Brown's theorem (Theorem 9.13 in Switzer). The functor $F\times F$ is represented by $Y\times Y$, and the group multiplication is a natural transformation $F\times F\to F$, which is therefore represented by a map $m\colon\thinspace Y\times Y\to Y$, unique up to homotopy.
Now check that the group axioms for $F(-)$ yield the desired properties of $m$ (associative, unital, with inverses up to homotopy).