We reprove the quasi-regularity theorem of [10] and the mod 3 decomposition
of F., [ll] along with a new mod 5 decomposition of ER.
The classification problem divides into two parts. The first part is to
classify the possible rational cohomology rings and our methods say nothing
about this.
The second part is to construct (classify) for each prime p the mod p
finite homotopy types which are H-spaces. In particular given a p-local H-
space Y with mod p cohomology that of a finite complex, one can construct
a finite H-space X such that Y is a factor of X, v, the p-localization of
X. The methods of this paper interpret the result that a space is an H-space
if and only if its k-invariants are primitive by providing a systematic frame-
work in which to construct the p-local H-spaces, under certain assumptions on
the mod p cohomology rings.
The bulk of the paper is devoted to one such construction which we now de-
scribe. Let T be the algebra over the mod p Steenrod algebra given by
A (
) 9 Z / p Z [
1 / ( x
U '
where subscripts denote dimension and the Steenrod operations are specified by
plX3 = X2p+1 6X2p+l = X2p+2 *
THEOREM B. For each odd prime p there exists a simply connected finite CW
complex K(p) whose localization at p is an H- space and whose mod p coho-
mology is isomorphic to T as algebras over the Steenrod algebra.
The proof of Theorem B is given in Chapter 3 after material of a general
nature is developed in Chapter 2. We describe this now.
For spaces Y with cohomology of a certain form, Massey and Peterson con-
struct in [20] an unstable version of an Adams resolution of Y, [l]. The
assumption on the mod p cohomology algebra of Y is that there exists M, an
unstable module over the Steenrod algebra such that H*(X) = U(M), the free
unstable algebra over the Steenrod algebra generated by M. The resolution of
Y consists of a sequence of principal fibrations {E }
Y - E
E K = g.e.m.
s-i s
converging to Y in a suitable sense. The sequence of fibrations is constructed
from a projective resolution of M. An important feature of these fibrations is
a short exact sequence, called the fundamental sequence in [20],which gives a
Previous Page Next Page