The Steenrod algebra has to do with the cohomology operations in singular cohomology with integer mod 2 coefficients. For every
and
there are natural transformations of functors
 |
(1)
|
satisfying:
1.
for
.
2.
for all
and all pairs
.
3.
.
4. The
maps commute with the coboundary maps in the long exact sequence of a pair. In other words,
 |
(2)
|
is a degree
transformation of cohomology theories.
5. (Cartan relation)
 |
(3)
|
6. (Adem relations) For
,
 |
(4)
|
7.
where
is the cohomology suspension isomorphism.
The existence of these cohomology operations endows the cohomology ring with the structure of a module over the Steenrod algebra
, defined to be
, where
is the free module functor that takes any set and sends it to the free
module over that set. We think of
as being a graded
module, where the
th gradation is given by
. This makes the tensor algebra
into a graded algebra over
.
is the ideal generated by the elements
and
for
. This makes
into a graded
algebra.
By the definition of the Steenrod algebra, for any space
,
is a module over the Steenrod algebra
, with multiplication induced by
. With the above definitions, cohomology with coefficients in the ring
,
is a functor from the category of pairs of topological spaces to graded modules over
.