A Cochain Level Proof of Adem Relations in the Mod 2 Steenrod Algebra

Understand

In 1947, N.E.

• Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles.
• He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p.
• Steenrod's student J.