At first, if a group G is an infinite loop space (all are based), then \pi_0(G) must be Abelian. Therefore, if G is discret, then it must be Abelian. In fact, any Abelian group does be infinite loop space, by the EM space construction. But we have non-Abelian examples, the infinite groups U and O are infinite loop spaces, by Bott periodicity. (Does this contradict with the statement that the coefficient of a cohomology must be an Abelian group?) Are there any other examples?