Stable Homotopy Theory pp 4-21 | Cite as

# Primary operations

Chapter

## Abstract

It is good general philosophy that if you want to show that a geometrical construction is possible, you go ahead and perform it; but if you want to show that a proposed geometric construction is impossible, you have to find a topological invariant which shows the impossibility. Among topological invariants we meet first the homology and cohomology groups, with their additive and multiplicative structure. Afte that we meet cohomology operations, such as the celebrated Steenrod square. I recall that this is a homomorphism defined for each pair (X,Y) and for all non-negative integers i and n. (H

$$s{q^i}:{H^n}\left( {x,y;{z_2}} \right) \to {H^{n + 1}}\left( {x,y;{z_2}} \right)$$

^{n}is to be interpreted as singular cohomology.) The Steenrod square enjoys the following properties:## Preview

Unable to display preview. Download preview PDF.

## Copyright information

© Springer-Verlag Berlin Heidelberg 1964