A finiteness theorem in homological algebra

Author(s):  
J. F. Adams

In (1), (2), (3) and (4) it is shown that homological algebra (5) can be applied to stable homotopy-theory. In this application, we deal with A-modules, where A is the mod p Steenrod algebra. In the present paper, we shall prove a finiteness theorem for the cohomology of the Steenrod algebra. This theorem is stated as Corollary 2 below. It is purely algebraic, but it is not claimed that it has any algebraic interest; it is inspired solely by the application mentioned above. Here it has the following uses.

Author(s):  
J. F. Adams

Introduction. In (1–3,6) it is shown that homological algebra can be applied to stable homotopy-theory. In this application, we deal with A -modules, where A is the mod p Steenrod algebra. To obtain a concrete geometrical result by this method usually involves work of two distinct sorts. To illustrate this, we consider the spectral sequence of (1,2):Here each group Extss, t which occurs in the E2 term can be effectively computed; the process is purely algebraic. However, no such effective method is given for computing the differentials dr in the spectral sequence, or for determining the group extensions by which is built up from the E∞ term; these are topological problems.


1981 ◽  
Vol 103 (4) ◽  
pp. 615 ◽  
Author(s):  
Donald M. Davis ◽  
Mark Mahowald

1987 ◽  
Vol 101 (2) ◽  
pp. 249-257 ◽  
Author(s):  
Alan Robinson

We introduce a new construction in stable homotopy theory. If F and G are module spectra over a ring spectrum E, there is no well-known spectrum of E-module homomorphisms from F to G. Such a construction would not be homotopy invariant, and therefore would not serve much purpose. We show that, provided the rings and modules have A∞ structures, there is a spectrum RHomE(F, G) of derived module homomorphisms which has very pleasant properties. It is homotopy invariant, exact in each variable, and its homotopy groups form the abutment of a hypercohomology-type spectral sequence.


Sign in / Sign up

Export Citation Format

Share Document