A Coclassifying Map for the Inclusion of the Wedge in the Product.
Let G be a finite group, the category of canonical orbits of G and b a contravariant functor to the category of abelian groups. We investigate the set of G-homotopy classes of comultiplications of a Moore G-space of type (A,n) where n ≥ 2 and prove that if such a Moore G-space X is a cogroup, then it has a unique comultiplication if dim X < 2n - 1. If dim X = 2n-1, then the set of comultiplications of X is in one-one correspondence with . Then the case leads to an example of infinitely...
A certain p-th order cup product is detected by a p-th order cohomology operation. The result is applied to finite H-spaces, to show that several properties of compact Lie groups do not hold for arbitrary torsion free finite H-spaces.